| 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 | 54 | 2003 |
| Complexity issues in basic logic S Aguzzoli, B Gerla, Z Haniková Soft Computing 9, 919-934, 2005 | 41 | 2005 |
| A note on the complexity of propositional tautologies of individual t-algebras Z Haniková Neural Network World 12 (5), 453-460, 2002 | 32 | 2002 |
| A set theory within fuzzy logic P Hájek, Z Haniková Proceedings 31st IEEE International Symposium on Multiple-Valued Logic, 319-323, 2001 | 27 | 2001 |
| Computational complexity of propositional fuzzy logics Z Haniková Handbook of Mathematical Fuzzy Logic 2, 793-851, 2011 | 21 | 2011 |
| Mathematical and metamathematical properties of fuzzy logic Z Haniková Ph. D. Thesis, Charles University Prague, 2003 | 16 | 2003 |
| The finite embeddability property for residuated groupoids Z Haniková, R Horčík Algebra universalis 72 (1), 1-13, 2014 | 15 | 2014 |
| Standard algebras for fuzzy propositional calculi Z Haniková Fuzzy Sets and Systems 124 (3), 309-320, 2001 | 12 | 2001 |
| Set theory and arithmetic in fuzzy logic L Běhounek, Z Haniková Petr Hájek on Mathematical Fuzzy Logic, 63-89, 2015 | 9 | 2015 |
| On the complexity of propositional logics with an involutive negation. Z Haniková EUSFLAT Conf., 636-639, 2003 | 8 | 2003 |
| Varieties generated by standard BL-algebras Z Haniková Order 31 (1), 15-33, 2014 | 7 | 2014 |
| Term satisfiability in FLew-algebras Z Haniková, P Savický Theoretical Computer Science 631, 1-15, 2016 | 6 | 2016 |
| Term satisfiability in FLew-algebras Z Haniková, P Savicky arXiv preprint arXiv:1501.02250, 2015 | 6 | 2015 |
| Distinguishing standard SBL‐algebras with involutive negations by propositional formulas Z Haniková, P Savický Mathematical Logic Quarterly 54 (6), 579-596, 2008 | 6 | 2008 |
| On the complexity of validity degrees in Łukasiewicz logic Z Haniková Conference on Computability in Europe, 175-188, 2020 | 5 | 2020 |
| A note on propositional tautologies of individual continuous t-norms Z Haniková Neural Network World 12 (5), 453-460, 2002 | 5 | 2002 |
| Implicit definability of truth constants in Łukasiewicz logic Z Haniková Soft Computing 23 (7), 2279-2287, 2019 | 4 | 2019 |
| Interpreting lattice-valued set theory in fuzzy set theory P Hájek, Z Haniková Logic Journal of the IGPL 21 (1), 77-90, 2013 | 4 | 2013 |
| Petr Hájek: a scientific biography Z Haniková Petr Hájek on Mathematical Fuzzy Logic, 21-38, 2014 | 3 | 2014 |
| Witnessed Years: Essays in Honour of Petr Hájek P Cintula, Z Haniková, V Švejdar College Publications, 2009 | 3 | 2009 |
Rostislav HorčíkDepartment of Computer Science, FEE, Czech Technical University in PragueVerified email at fel.cvut.cz
