Sledovat
Zuzana Haniková
Zuzana Haniková
researcher, Institute of Computer Science, Academy of Sciences of the Czech Republic
E-mailová adresa ověřena na: cs.cas.cz - Domovská stránka
Název
Citace
Citace
Rok
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
552003
Complexity issues in basic logic
S Aguzzoli, B Gerla, Z Haniková
Soft Computing 9, 919-934, 2005
412005
A note on the complexity of propositional tautologies of individual t-algebras
Z Haniková
Neural Network World 12 (5), 453-460, 2002
322002
A set theory within fuzzy logic
P Hájek, Z Haniková
Proceedings 31st IEEE International Symposium on Multiple-Valued Logic, 319-323, 2001
272001
Computational complexity of propositional fuzzy logics
Z Haniková
Handbook of Mathematical Fuzzy Logic 2, 793-851, 2011
222011
Mathematical and metamathematical properties of fuzzy logic
Z Haniková
Ph. D. Thesis, Charles University Prague, 2003
162003
The finite embeddability property for residuated groupoids
Z Haniková, R Horčík
Algebra universalis 72 (1), 1-13, 2014
152014
Standard algebras for fuzzy propositional calculi
Z Haniková
Fuzzy Sets and Systems 124 (3), 309-320, 2001
122001
Set theory and arithmetic in fuzzy logic
L Běhounek, Z Haniková
Petr Hájek on Mathematical Fuzzy Logic, 63-89, 2015
92015
On the complexity of propositional logics with an involutive negation.
Z Haniková
EUSFLAT Conf., 636-639, 2003
82003
Varieties generated by standard BL-algebras
Z Haniková
Order 31 (1), 15-33, 2014
72014
Term satisfiability in FLew-algebras
Z Haniková, P Savicky
arXiv preprint arXiv:1501.02250, 2015
62015
Distinguishing standard SBL‐algebras with involutive negations by propositional formulas
Z Haniková, P Savický
Mathematical Logic Quarterly 54 (6), 579-596, 2008
62008
On the complexity of validity degrees in Łukasiewicz logic
Z Haniková
Conference on Computability in Europe, 175-188, 2020
52020
A note on propositional tautologies of individual continuous t-norms
Z Haniková
Neural Network World 12 (5), 453-460, 2002
52002
Implicit definability of truth constants in Łukasiewicz logic
Z Haniková
Soft Computing 23 (7), 2279-2287, 2019
42019
Interpreting lattice-valued set theory in fuzzy set theory
P Hájek, Z Haniková
Logic Journal of the IGPL 21 (1), 77-90, 2013
42013
Petr Hájek: a scientific biography
Z Haniková
Petr Hájek on Mathematical Fuzzy Logic, 21-38, 2014
32014
Witnessed Years: Essays in Honour of Petr Hájek
P Cintula, Z Haniková, V Švejdar
College Publications, 2009
32009
Complexity of some language fragments of fuzzy logics
Z Haniková
Soft Computing 21, 69-77, 2017
22017
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–20