5 citations · 5 across the 5 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2026
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…
cs.LO2018
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…
cs.LO2015★ 5 cited
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…