Zuzana Haniková

21 papers B 2C 1Journal 16Unranked 2
YearRankTypeTitle / Venue / Authors
2026 B conf
Satisfiability in Łukasiewicz Logic and Its Unbounded Relative.
CSL
Zuzana Haniková, Filip Jankovec
2026 J jnl
Satisfiability in Łukasiewicz logic and its unbounded relative.
CoRR
Zuzana Haniková, Filip Jankovec
2023 J jnl
Rational Pavelka logic: The best among three worlds?
Fuzzy Sets Syst.
Zuzana Haniková
2023 B conf
The MaxSAT Problem in the Real-Valued MV-Algebra.
TABLEAUX
Zuzana Haniková, Felip Manyà, Amanda Vidal
2021 J jnl
Rational Pavelka logic: the best among three worlds?
CoRR
Zuzana Haniková
2020 C conf
On the Complexity of Validity Degrees in Łukasiewicz Logic.
CiE
Zuzana Haniková
2019 J jnl
Implicit definability of truth constants in Łukasiewicz logic.
Soft Comput.
Zuzana Haniková
2018 J jnl
Blind proxy voting.
CoRR
Zuzana Haniková
2018 J jnl
Implicit definability of truth constants in Łukasiewicz logic.
CoRR
Zuzana Haniková
2017 J jnl
Complexity of some language fragments of fuzzy logics.
Soft Comput.
Zuzana Haniková
2017 J jnl
Petr Hájek, Obituary.
Fuzzy Sets Syst.
Zuzana Haniková, Lluís Godo
2016 J jnl
Term satisfiability in FL
Theor. Comput. Sci.
Zuzana Haniková, Petr Savický
2015 J jnl
Term satisfiability in FL$_\mathrm{ew}$-algebras.
CoRR
Zuzana Haniková, Petr Savický
2014 J jnl
Varieties Generated by Standard BL-Algebras.
Order
Zuzana Haniková
2013 J jnl
Interpreting lattice-valued set theory in fuzzy set theory.
Log. J. IGPL
Petr Hájek, Zuzana Haniková
2012 J jnl
Expanding Basic Fuzzy Logic with truth constants for component delimiters.
Fuzzy Sets Syst.
Zuzana Haniková
2008 J jnl
Distinguishing standard SBL-algebras with involutive negations by propositional formulas.
Math. Log. Q.
Zuzana Haniková, Petr Savický
2005 J jnl
Complexity issues in basic logic.
Soft Comput.
Stefano Aguzzoli, Brunella Gerla, Zuzana Haniková
2003 — conf
On the complexity of propositional logics with an involutive negation.
EUSFLAT Conf.
Zuzana Haniková
2001 — conf
A Set Theory within Fuzzy Logic.
ISMVL
Petr Hájek, Zuzana Haniková
2001 J jnl
Standard algebras for fuzzy propositional calculi.
Fuzzy Sets Syst.
Zuzana Haniková