Publikace
- Czech Gathering of Logicians 2026 & Beauty of Logic (2026)
- Czech Gathering of Logicians 2022 (2022)
- Logic Colloquium 2019 (2019)
- Special issues of Logic Journal of the IGPL ”Non-Classical Modal and Predicate Logics” (2019)
- TACL 2017: Topology, Algebra and Categories in Logic (2017)
- Mathematical Fuzzy Logic: From Theory to Application (2014)
- Special issues of Logic Journal of the IGPL ”Non-Classical Modal and Predicate Logics” (2014)
- Prague Seminar on Substructural Logics (2014)
- A General Framework for Mathematical Fuzzy Logic (2014)
- International Workshop on Algebraic Logic in Computer Science (2013)
- 2nd Prague Symposium on Semilinear Logics (2013)
- Non-Classical Mathematics. Workshop at UNILOG 2013 (2013)
- Many-Valued Logics. Workshop at UNILOG 2013 (2013)
- Note on Deduction Theorems in contraction-free logics (2012)
- Universal Methods in Mathematical Fuzzy Logic (2012)
- Special issue of Fuzzy Sets and Systems ”Linz Seminar 2010” (2012)
- NCMPL 2011 Abstracts (2011)
- Graded dominance and related graded properties of fuzzy connectives (2011)
- NCMPL 2011. Non-Classical Modal and Predicate Logics (2011)
- Understanding Vagueness. Logical, Philosophical and Linguistic Perspectives (2011)
- Handbook of Mathematical Fuzzy Logic - Vol. 2 (2011)
- Handbook of Mathematical Fuzzy Logic - Vol. 1 (2011)
- Lattice-Valued Logic and its Applications - Abstracts (2010)
- Admissible Rules in the Implication–Negation Fragment of Intuitionistic Logic (2010)
- Logic, Algebra and Truth Degrees 2010 (2010)
- Logic, Algebra and Truth Degrees 2010 (2010)
- LoMoReVI 2009. Logical Models of Reasoning with Vague Information (2009)
- Non-Classical Mathematics 2009 (2009)
- Special issues of Fuzzy Sets and Systems "Formal Methods for Fuzzy Mathematics, Approximation and Reasoning" - Part II (2009)
- Witnessed Years: Essays in Honour of Petr Hajek (2009)
- Special issues of Fuzzy Sets and Systems "Formal Methods for Fuzzy Mathematics, Approximation and Reasoning" - Part I (2008)
- Graded Properties of Binary Fuzzy Connectives (2008)
- Formal Systems of Fuzzy Logic and their Fragments (2007)
- Fuzzy Class Theory: A Primer v1.0 (2006)
- On Theories and Models in Fuzzy Predicate Logics (2006)
- Residuated Logics based on Strict Triangular Norms with an Involutive Negation (2006)
- Fuzzy Logics as the Logics of Chains (2006)
- From Fuzzy Logic to Fuzzy Mathematics: A Methodological Manifesto (2006)
- From Fuzzy logic to Fuzzy Mathematics (2004)
- Product Lukasiewicz Logic (2004)
- Semi-Normal Forms and Functional Representation of Product Fuzzy Logic (2004)
- Compactness of Fuzzy Logics (2004)
- Functional Representation for Product Logic (2004)
- Weakly Implicative (Fuzzy) Logics (2004)
- Product Lukasiewicz Logic - An Overwiev (2003)
- Compactness of Various Fuzzy Logics (2002)
- The LPi and LPi/2 Propositional and Predicate Logics (2001)
- On Axiomatic Systems of the Various Fuzzy Logics (2001)
Projekty
- Metamatematika substrukturálních modálních logik (2022–2024)
- Usuzování se stupňovanými vlastnostmi (2018–2020)
- Predikátové škálované logiky a jejich aplikace v informatice (2017–2019)
- Modelování vágních kvantifikátorů v matematické fuzzy logice (2015–2017)
- Neklasické výrokové a predikátové logiky: přístup založený na uspořádání (2013–2016)
- Vícehodnotový přístup k optimům a ekvilibriím v ekonomii (2012–2014)
- Centrum excelence - Institut teoretické informatiky (CE-ITI) (2012–2018)
- Logické základy sémantiky (2009–2012)
- Formální základy modelování fuzzy preferencí (2008)
- Dynamické formální systémy (2007–2010)
- Formální teorie matematických struktur s vágností (2005–2007)