5 citations · 5 across the 5 of their papers we have counts for
Showing 2026Show all
2 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…
math.LO2026
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…