Zuzana Haniková

Publication Activity (10 Years)

Years Active: 2001-2023
Publications (10 Years): 10

Top Topics

Classical Logic

Automated Reasoning

Top Venues

Fuzzy Sets Syst.

Publications

Zuzana Haniková
Rational Pavelka logic: The best among three worlds? Fuzzy Sets Syst. 456 (2023)
Zuzana Haniková, Felip Manyà, Amanda Vidal
The MaxSAT Problem in the Real-Valued MV-Algebra. TABLEAUX (2023)
Zuzana Haniková
Rational Pavelka logic: the best among three worlds? CoRR (2021)
Zuzana Haniková
On the Complexity of Validity Degrees in Łukasiewicz Logic. CiE (2020)
Zuzana Haniková
Implicit definability of truth constants in Łukasiewicz logic. Soft Comput. 23 (7) (2019)
Zuzana Haniková
Blind proxy voting. CoRR (2018)
Zuzana Haniková
Implicit definability of truth constants in Łukasiewicz logic. CoRR (2018)
Zuzana Haniková, Lluís Godo
Petr Hájek, Obituary. Fuzzy Sets Syst. 327 (2017)
Zuzana Haniková
Complexity of some language fragments of fuzzy logics. Soft Comput. 21 (1) (2017)
Zuzana Haniková, Petr Savický
-algebras. Theor. Comput. Sci. 631 (2016)
Zuzana Haniková, Petr Savický
Term satisfiability in FL$_\mathrm{ew}$-algebras. CoRR (2015)
Zuzana Haniková
Varieties Generated by Standard BL-Algebras. Order 31 (1) (2014)
Petr Hájek, Zuzana Haniková
Interpreting lattice-valued set theory in fuzzy set theory. Log. J. IGPL 21 (1) (2013)
Zuzana Haniková
Expanding Basic Fuzzy Logic with truth constants for component delimiters. Fuzzy Sets Syst. 197 (2012)
Zuzana Haniková, Petr Savický
Distinguishing standard SBL-algebras with involutive negations by propositional formulas. Math. Log. Q. 54 (6) (2008)
Stefano Aguzzoli, Brunella Gerla, Zuzana Haniková
Complexity issues in basic logic. Soft Comput. 9 (12) (2005)
Zuzana Haniková
On the complexity of propositional logics with an involutive negation. EUSFLAT Conf. (2003)
Zuzana Haniková
Standard algebras for fuzzy propositional calculi. Fuzzy Sets Syst. 124 (3) (2001)
Petr Hájek, Zuzana Haniková
A Set Theory within Fuzzy Logic. ISMVL (2001)