| Zuzana Haniková @ Institute of Computer Science, Academy of Sciences of the Czech Republic. | |
|
I am a researcher at the Department of Theoretical Computer Science.
I work in substructural and fuzzy logics; currently, computational problems within the propositional fragments,
and first-order theories over these logics. Broadly, I am interested in combinatorics, complexity theory, and set theory.
Projects I am involved in:
Postal address: Institute of Computer Science, 182 07 Prague, Czech Republic
|
News
A Gathering of Prague-Based
Logicians.
See you at Bike to Work 2013!
Papers etc.
A full
list of publications
as maintained by our library. Listed below are some of my works, including preprint (or, copyright agreements allowing, final) versions of the MS's where possible.
Bookchapters:
Conference proceedings:
Theses defended:
Edited volume:
Talks and presentations:
See also:
Finite Embeddability Property for Residuated Groupoids (with Rostislav Horčík). Submitted.
Varieties
generated by standard BL-algebras, accepted to Order, 2011.
Expanding
Basic Fuzzy Logic with truth constants for component delimiters,
Fuzzy Sets and Systems 197, pp. 95-107, 2011. Published version.
Interpreting
Lattice-Valued Set Theory in Fuzzy Set Theory (with Petr Hájek),
available online from Logic Journal of the IGPL, 2011.
Published version.
Distinguishing standard SBL-algebras with involutive negations by
propositional formulas (with Petr Savický), Math. Logic Quarterly 54(6), pp. 578-596, 2008.
Published version.
Complexity Issues in Basic Logic (with Stefano Aguzzoli
and Brunella Gerla).
Soft Computing 9, pp. 919-934, 2005. Published version.
A note on the
complexity of tautologies of individual t-algebras, Neural Network
World, vol. 12, n. 5 (Special Issue on SOFSEM 2002).
Standard
algebras for fuzzy propositional calculi, Fuzzy Sets and Systems, vol.
124, n.3 (2001). Published version.
Axiomatizations
of standard algebras for fuzzy propositional calculi by use of truth constants.
Journal of Electrical Engineering, vol. 51 (2000).
Set theory and arithmetic in fuzzy logic (with Libor Běhounek). Submitted.
Petr Hájek: a scientific biography. Submitted.
Computational complexity
of propositional fuzzy logics, Chapter X of Handbook of Mathematical Fuzzy Logic,
College Publications, pp. 793--851, 2011.
A Development
of set theory in fuzzy logic (with Petr
Hájek). Beyond Two: Theory and Applications of Multiple-Valued Logic
(Ed.: Fitting M., Orlowska E.) -- Heidelberg, Physica-Verlag 2003, pp.
273-285.
On the
complexity of propositional logics with an involutive negation,
Third Conference of the EUSFLAT, Zittau, September 2003.
A set theory
within fuzzy logic (with Petr
Hájek). Multiple-Valued Logic. Proceedings. -- Los Alamitos, IEEE Computer
Society 2001, pp. 319-323.
Mathematical and
Metamathematical Properties of Fuzzy Logic, PhD Thesis, Charles
University in Prague, 2004.
Some contributions
to axiomatizations of fuzzy propositional calculi, master thesis, Charles
University in Prague, 1999.
Witnessed Years. Essays in Honour of Petr Hájek. (with Petr Cintula
and Vítězslav Švejdar). College Publications, London, 2010.
Complexity in basic logic.
Workshop on non-classical logics, Vienna, Austria, 2011.
On varieties generated by standard BL-algebras.
Topology, Algebra, and Categories in Logic, Marseille, France, 2011.
On logics with truth constants for delimiting idempotents.
Logic, Algebra and Truth Degrees, Prague, Czech Republic, 2010.
Set theory in fuzzy logic,
Czech-Japan Joint Fuzzy Logic Workshop, Hakusan, Japan, 2009.
A ZF-like theory in fuzzy logic,
Non-classical mathematics, Hejnice, Czech Republic, 2009.
On standard SBL-algebras with added involutive negations,
Logic Colloquium 2008, Bern, Switzerland.
Standard product algebra with involutive negations. Ordered Structures in Many-Valued Logic, Massa Lubrense, Sorrento, Italy, 2006.
Common complexity features of many-valued propositional logics. Colloquium talk at IIIA CSIC, Barcelona, 2005.
A set theory in fuzzy logic, Beauty of Logic, Prague, Czech Republic, 2005.
Complexity of propositional fuzzy logics with an involutive negation. EUSFLAT 2003, Zittau, Germany, 2003.
Computational complexity of some many-valued propositional calculi. Logic Colloquium 2003, Helsinki, Finland, 2003.
On the complexity of propositional tautologies of individual t-algebras.
Workshop on Soft Computing (SOFSEM 2002), Milovy, Czech Republic, 2002.
Developing a set theory in fuzzy logic, Logic of Soft Computing, Gargnano, Italy, 2001.
A contribution on set theory in fuzzy logic. Logic Colloquium 2001, Vienna, Austria, 2001.
A contribution on t-norm based logic. Logic Colloquium 2000, Paris, France, 2000.
Axiomatizing standard algebras for fuzzy propositional calculus by use of truth constants, SCAM, Bratislava, Slovakia, 2000.
Algebras for fuzzy propositional calculi. Colloquium talk at Department of Computer Science, University of Milan, Italy, 2000.
Standard algebras for fuzzy propositional calculus, FSTA 2000, Liptovský Ján, Slovakia, 2000.
N.B. Nothing (let alone browsing through someone's slides leisuredly) can compensate for not having been there ...
Events organized:
Beauty of Logic 2010.
Alcop 2012.
Membership in associations:
Association CiE
MathFuzzLog
Awards:
Otto Wichterle Award for young researchers (Academy of Sciences of the Czech Republic, 2009)
Linkedin profile
Picture gallery
Tweets