5 citations · 5 across the 5 of their papers we have counts for
6 papers
Formalization of Fragments of the Theory of Hereditarily Finite Sets
Zuzana Haniková, Štěpán Holub
The axiomatization of the theory of hereditarily finite sets in first-order classical logic is systematically explored and formalized in Isabelle/HOL. The formalization uses a hier…
Satisfiability in Łukasiewicz logic and its unbounded relative
Zuzana Haniková, Filip Jankovec
Unbounded Łukasiewicz logic is a substructural logic that combines features of infinite-valued Łukasiewicz logic with those of abelian logic. The logic is finitely strongly complet…
Structural completeness in many-valued logics with rational constants
J. Gispert, Z. Haniková, T. Moraschini +1
The logics RL, RP, and RG have been obtained by expanding Lukasiewicz logic L, product logic P, and Gödel--Dummett logic G with rational constants. We study the lattices of extensi…
Blind proxy voting
Zuzana Haniková
A secret ballot mechanism that enables voting in absence is proposed. It amends standard vote collection methods that use ballot box as anonymizer, adding the option for absent vot…
Implicit definability of truth constants in Łukasiewicz logic
Zuzana Haniková
In the framework of propositional Łukasiewicz logic, a suitable notion of implicit definability, tailored to the intended real-valued semantics and referring to the elements of its…
Term satisfiability in FL-algebras
Zuzana Haniková, Petr Savický
FL-algebras form the algebraic semantics of the full Lambek calculus with exchange and weakening. We investigate two relations, called satisfiability and positive sat…