Zuzana Haniková
Zuzana Haniková
researcher, Institute of Computer Science, Academy of Sciences of the Czech Republic
Verified email at cs.cas.cz - Homepage
Title
Cited by
Cited by
Year
A development of set theory in fuzzy logic
P Hájek, Z Haniková
Beyond two: Theory and applications of multiple-valued logic, 273-285, 2003
522003
Complexity issues in basic logic
S Aguzzoli, B Gerla, Z Haniková
Soft Computing 9 (12), 919-934, 2005
392005
A note on the complexity of propositional tautologies of individual t-algebras
Z Haniková
Neural Network World 12 (5), 453-460, 2002
312002
A set theory within fuzzy logic
P Hájek, Z Haniková
Proceedings 31st IEEE International Symposium on Multiple-Valued Logic, 319-323, 2001
252001
Mathematical and metamathematical properties of fuzzy logic
Z Haniková
Ph. D. Thesis, Charles University Prague, 2003
172003
The finite embeddability property for residuated groupoids
Z Haniková, R Horčík
Algebra universalis 72 (1), 1-13, 2014
142014
Computational complexity of propositional fuzzy logics
Z Haniková
Handbook of Mathematical Fuzzy Logic 2, 793-851, 2011
132011
Standard algebras for fuzzy propositional calculi
Z Haniková
Fuzzy Sets and Systems 124 (3), 309-320, 2001
112001
On the complexity of propositional logics with an involutive negation.
Z Haniková
EUSFLAT Conf., 636-639, 2003
82003
Set theory and arithmetic in fuzzy logic
L Běhounek, Z Haniková
Petr Hájek on Mathematical Fuzzy Logic, 63-89, 2015
62015
Varieties generated by standard BL-algebras
Z Haniková
Order 31 (1), 15-33, 2014
62014
Distinguishing standard SBL‐algebras with involutive negations by propositional formulas
Z Haniková, P Savický
Mathematical Logic Quarterly 54 (6), 579-596, 2008
62008
Term satisfiability in FLew-algebras
Z Haniková, P Savický
Theoretical Computer Science 631, 1-15, 2016
52016
Term satisfiability in FLew-algebras
Z Haniková, P Savicky
arXiv preprint arXiv:1501.02250, 2015
52015
Witnessed Years: Essays in Honour of Petr Hájek
P Cintula, Z Haniková, V Švejdar
College Publications, 2009
42009
Petr Hájek: a scientific biography
Z Haniková
Petr Hájek on Mathematical Fuzzy Logic, 21-38, 2015
32015
Interpreting lattice-valued set theory in fuzzy set theory
P Hájek, Z Haniková
Logic Journal of the IGPL 21 (1), 77-90, 2013
32013
Implicit definability of truth constants in Łukasiewicz logic
Z Haniková
Soft Computing 23 (7), 2279-2287, 2019
22019
Expanding Basic Fuzzy Logic with truth constants for component delimiters
Z Haniková
Fuzzy Sets and Systems 197, 95-107, 2012
22012
On the Complexity of Validity Degrees in Łukasiewicz Logic
Z Haniková
Conference on Computability in Europe, 175-188, 2020
12020
The system can't perform the operation now. Try again later.
Articles 1–20