Zuzana Haniková

According to our database, Zuzana Haniková authored at least 18 papers between 2001 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

Satisfiability in Łukasiewicz Logic and Its Unbounded Relative.

Zuzana Haniková, Filip Jankovec

Proceedings of the 34th EACSL Annual Conference on Computer Science Logic, 2026

2023

Rational Pavelka logic: The best among three worlds?

Zuzana Haniková

Fuzzy Sets Syst., March, 2023

The MaxSAT Problem in the Real-Valued MV-Algebra.

Zuzana Haniková, Felip Manyà, Amanda Vidal

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

2020

On the Complexity of Validity Degrees in Łukasiewicz Logic.

Zuzana Haniková

Proceedings of the Beyond the Horizon of Computability, 2020

2019

Implicit definability of truth constants in Łukasiewicz logic.

Zuzana Haniková

Soft Comput., 2019

2018

Blind proxy voting.

Zuzana Haniková

CoRR, 2018

2017

Complexity of some language fragments of fuzzy logics.

Zuzana Haniková

Soft Comput., 2017

Petr Hájek, Obituary.

Zuzana Haniková, Lluís Godo

Fuzzy Sets Syst., 2017

2016

Term satisfiability in FL_ew-algebras.

Zuzana Haniková, Petr Savický

Theor. Comput. Sci., 2016

2015

Term satisfiability in FL$_\mathrm{ew}$-algebras.

Zuzana Haniková, Petr Savický

CoRR, 2015

2014

Varieties Generated by Standard BL-Algebras.

Zuzana Haniková

Order, 2014

2013

Interpreting lattice-valued set theory in fuzzy set theory.

Petr Hájek, Zuzana Haniková

Log. J. IGPL, 2013

2012

Expanding Basic Fuzzy Logic with truth constants for component delimiters.

Zuzana Haniková

Fuzzy Sets Syst., 2012

2008

Distinguishing standard SBL-algebras with involutive negations by propositional formulas.

Zuzana Haniková, Petr Savický

Math. Log. Q., 2008

2005

Complexity issues in basic logic.

Stefano Aguzzoli, Brunella Gerla, Zuzana Haniková

Soft Comput., 2005

2003

On the complexity of propositional logics with an involutive negation.

Zuzana Haniková

Proceedings of the 3rd Conference of the European Society for Fuzzy Logic and Technology, 2003

2001

Standard algebras for fuzzy propositional calculi.

Zuzana Haniková

Fuzzy Sets Syst., 2001

A Set Theory within Fuzzy Logic.

Petr Hájek, Zuzana Haniková

Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logic, 2001