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 | 52 | 2003 |

Complexity issues in basic logic S Aguzzoli, B Gerla, Z Haniková Soft Computing 9 (12), 919-934, 2005 | 39 | 2005 |

A note on the complexity of propositional tautologies of individual t-algebras Z Haniková Neural Network World 12 (5), 453-460, 2002 | 31 | 2002 |

A set theory within fuzzy logic P Hájek, Z Haniková Proceedings 31st IEEE International Symposium on Multiple-Valued Logic, 319-323, 2001 | 25 | 2001 |

Mathematical and metamathematical properties of fuzzy logic Z Haniková Ph. D. Thesis, Charles University Prague, 2003 | 17 | 2003 |

The finite embeddability property for residuated groupoids Z Haniková, R Horčík Algebra universalis 72 (1), 1-13, 2014 | 14 | 2014 |

Computational complexity of propositional fuzzy logics Z Haniková Handbook of Mathematical Fuzzy Logic 2, 793-851, 2011 | 13 | 2011 |

Standard algebras for fuzzy propositional calculi Z Haniková Fuzzy Sets and Systems 124 (3), 309-320, 2001 | 11 | 2001 |

On the complexity of propositional logics with an involutive negation. Z Haniková EUSFLAT Conf., 636-639, 2003 | 8 | 2003 |

Set theory and arithmetic in fuzzy logic L Běhounek, Z Haniková Petr Hájek on Mathematical Fuzzy Logic, 63-89, 2015 | 7 | 2015 |

Varieties generated by standard BL-algebras Z Haniková Order 31 (1), 15-33, 2014 | 6 | 2014 |

Distinguishing standard SBL‐algebras with involutive negations by propositional formulas Z Haniková, P Savický Mathematical Logic Quarterly 54 (6), 579-596, 2008 | 6 | 2008 |

Term satisfiability in FLew-algebras Z Haniková, P Savický Theoretical Computer Science 631, 1-15, 2016 | 5 | 2016 |

Term satisfiability in FLew-algebras Z Haniková, P Savicky arXiv preprint arXiv:1501.02250, 2015 | 5 | 2015 |

Witnessed Years: Essays in Honour of Petr Hájek P Cintula, Z Haniková, V Švejdar College Publications, 2009 | 4 | 2009 |

Petr Hájek: a scientific biography Z Haniková Petr Hájek on Mathematical Fuzzy Logic, 21-38, 2015 | 3 | 2015 |

Interpreting lattice-valued set theory in fuzzy set theory P Hájek, Z Haniková Logic Journal of the IGPL 21 (1), 77-90, 2013 | 3 | 2013 |

Implicit definability of truth constants in Łukasiewicz logic Z Haniková Soft Computing 23 (7), 2279-2287, 2019 | 2 | 2019 |

Expanding Basic Fuzzy Logic with truth constants for component delimiters Z Haniková Fuzzy Sets and Systems 197, 95-107, 2012 | 2 | 2012 |

On the Complexity of Validity Degrees in Łukasiewicz Logic Z Haniková Conference on Computability in Europe, 175-188, 2020 | 1 | 2020 |