Pozice: Vědecký pracovník
Oddělení: Oddělení teoretické informatiky
E-mail: zuzana@cs.cas.cz
Pracovna: 421
Publikace
- Czech Gathering of Logicians 2026 & Beauty of Logic (2026)
- Why mathematicians want to destroy infinity – and may succeed (2025)
- Czech Gathering of Logicians 2022. Book of Abstracts (2022)
- Czech Gathering of Logicians 2022 (2022)
- Kurt Gödel Day 2021 with Czech Gathering of Logicians 2021 (2021)
- TACL 2017: Topology, Algebra and Categories in Logic (2017)
- Blind proxy voting (2017)
- Term satisfiability in FLew-algebras (2015)
- Pražské setkání logiků (2014)
- Druhé setkání pražských logiků (2014)
- Interpreting lattice-valued set theory in fuzzy set theory (2013)
- Logics with Truth Constants for Delimiting Idempotents (2009)
- Witnessed Years: Essays in Honour of Petr Hajek (2009)
- My life with Petr, Petr's life with me (2009)
- Prague Set Theory Seminar (2009)
- Mathematical and Metamathematical Properties of Fuzzy Logic. PhD Thesis (2004)
- Complexity of Logics with Involutive Negation (2003)
- Complexity of the Propositional Tautology Problem for t-norm Logics (2002)
- An Interpretation of ZF in a Fuzzy Set Theory (2001)
- Standard Algebras for Fuzzy Propositional Calculi (2001)
- Teorie množin ve vícehodnotové logice (2000)
Projekty
- Moderní česká logika ve filozofii matematiky (2025–2027)