Zuzana Haniková

Available identifiers

zbMath Open hanikova.zuzanaMaRDI QIDQ278737

List of research outcomes

Publication	Date of Publication	Type
The MaxSAT problem in the real-valued MV-algebra	2024-05-17	Paper
Rational Pavelka logic: the best among three worlds?	2023-10-31	Paper
On the complexity of validity degrees in Łukasiewicz logic	2022-12-16	Paper
Vop\v{e}nka's Alternative Set Theory in the Mathematical Canon of the 20th Century: Author's Translation from Czech	2022-11-20	Paper
Structural completeness in many-valued logics with rational constants	2022-10-10	Paper
Structural completeness in many-valued logics with rational constants	2021-08-06	Paper
Implicit definability of truth constants in Łukasiewicz logic	2019-08-12	Paper
Complexity of some language fragments of fuzzy logics	2018-02-23	Paper
Obituary: Petr Hájek (1940--2016)	2018-02-20	Paper
Term satisfiability in \(\mathrm{FL}_{\mathrm{ew}}\)-algebras	2016-05-02	Paper
Set theory and arithmetic in fuzzy logic	2015-10-06	Paper
Petr Hájek: A Scientific Biography	2015-10-06	Paper
The finite embeddability property for residuated groupoids.	2014-08-01	Paper
Varieties generated by standard BL-algebras	2014-06-12	Paper
https://portal.mardi4nfdi.de/entity/Q5406041	2014-04-01	Paper
Interpreting lattice-valued set theory in fuzzy set theory	2013-06-11	Paper
Expanding basic fuzzy logic with truth constants for component delimiters	2012-11-21	Paper
Distinguishing standard SBL-algebras with involutive negations by propositional formulas	2008-12-10	Paper
Complexity issues in Basic Logic	2006-03-02	Paper
https://portal.mardi4nfdi.de/entity/Q4450450	2004-02-15	Paper
Standard algebras for fuzzy propositional calculi	2002-05-21	Paper

Research outcomes over time

This page was built for person: Zuzana Haniková