Zuzana Hanikov\'a

Identifiers

• name variant Zuzana Hanikov\'a 0.60 · backfill

Papers (4)

1. Satisfiability in {\L}ukasiewicz logic and its unbounded relative math.LO · 2025 · author #1
2. Blind proxy voting cs.CR · 2018 · author #1
3. Implicit definability of truth constants in {\L}ukasiewicz logic cs.LO · 2018 · author #1
4. Term satisfiability in FL$_\mathrm{ew}$-algebras cs.LO · 2015 · author #1

Mentions

• 2601.00817 #1 · arxiv_oai · confidence 0.70 Zuzana Hanikov\'a

Frequent Coauthors

• Filip Jankovec 1 shared papers
• Petr Savick\'y 1 shared papers