Publikace
- Interpreting lattice-valued set theory in fuzzy set theory (2013)
- Some Remarks on Cantor-Lukasiewicz Fuzzy Set Theory (2013)
- What is graded fuzzy logic? (2012)
- Comments on Interpretability and Decidability in Fuzzy Logic (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)
- Towards Metamathematics of Weak Arithmetics over Fuzzy Logic (2011)
- On Fuzzy Modal Logics S5(C) (2010)
- Logic, Algebra and Truth Degrees 2010 (2010)
- LoMoReVI 2009. Logical Models of Reasoning with Vague Information (2009)
- On Arithmetical Complexity of Fragments of Prominent Fuzzy Predicate Logics (2008)
- Formal Systems of Fuzzy Logic and their Fragments (2007)
- On Witnessed Models in Fuzzy Logic II (2007)
- Complexity of Fuzzy Probability Logics II (2007)
- On Witnessed Models in Fuzzy Logic (2007)
- Computational Complexity of t-norm based Propositional Fuzzy Logics with Rational Truth Constants (2006)
- On Theories and Models in Fuzzy Predicate Logics (2006)
- What is Mathematical Fuzzy Logic (2006)
- Fuzzy logika v kontextu matematické logiky (2006)
- One More Variety in Fuzzy Logic: Quasihoops (2005)
- Fuzzy Logics and Related Structures (2005)
- A Non-Arithmetical Gödel Logic (2005)
- Terminological Difficulties in Fuzzy Set Theory - The Case of "Intuitionistic Fuzzy Sets" (2005)
- Arithmetical Complexity of Fuzzy Predicate Logics - A Survey (2005)
- On Arithmetic in the Cantor-Lukasiewicz Fuzzy Set Theory (2005)
- Metoda GUHA v minulém století a dnes (2004)
- Recenze (2004)
- A Note on Dempster Rule (2003)
- Basic Fuzzy Logic and BL-Algebras II (2003)
- A Fuzzy Modal Logic for Belief Functions (2003)
- Fleas and Fuzzy Logic - A Survey (2003)
- The GUHA method, data preprocessing and mining. (Position paper.) (2002)
- Metoda GUHA - současný stav (2002)
- Mechanizing Hypothesis Formation. Mathematical Foundations for a General Theory. Originally published by Springer-Verlag Berlin Heidelberg New York in 1978, ISBN 3-540-08738-9 (2002)
- Fuzzy Logic and Lindström's Theorem (2002)
- Observations on the Monoidal t-norm Logic (2002)
- Mathematical Fuzzy Logic - State of Art 2001 (2001)
- Some Hedges for Continuous t-norm Logics (2001)
- A New Small Emendation of Gödel's Ontological Proof (2001)
- Recenze (2000)
- Rational Pavelka Predicate Logic is a Conservative Extension of Lukasiewicz Predicate Logic (2000)
- Logic Colloquium' 98. Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic (2000)
- Residuated Fuzzy Logics with an Involutive Negation (2000)
- Soft Computing. Nové informatické paradigma, nebo módní slogan? (2000)
- Ten Questions and One Problem on Fuzzy Logic (1999)
- Metamathematics of Fuzzy Logic (1998)
- Trakhtenbrot Theorem and Fuzzy Logic (1997)
- Basic Fuzzy Logic and BL-Algebras (1997)
- Knowledge-Driven Versus Data-Driven Logics (1997)
- Do We Use Stereotypes in Our Relationship to the Others? (1997)
- Deductive Systems of Fuzzy Logic (A Tutorial) (1997)
- Managing Uncertainty in Medicine Final Report (1997)
- CADIAG-2 and MYCIN-like Systems (1997)
- A Remark on Bandler-Kohout Products of Relations (1996)
- A Complete Many-Valued Logic with Product-Conjunction (1996)
- Metamathematics of Fuzzy Logic. Part I (1996)
- Getting Belief Functions from Kripke Models (1996)
- Gödel'96. Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy (1996)
- GUHA for Personal Computers (1995)
- A Qualitative Fuzzy Possibilistic Logic (1995)
- Fuzzy Logic and Arithmetical Hierarchy (1995)
- Mathematical Foundations of Computer Science 1995 (1995)
- O Gödelově důkazu (1995)
- Möbius Transform for CADIAG-2 (1995)
- Possibilistic Logic as Interpretability Logic (1995)
- Review (1994)
- Matematická logika. Studijní materiál (1994)
- Zpráva o výsledcích výzkumu pro Centrum klastrové medicíny za rok 1993 (1994)
- Medical Fuzzy Expert Systems and Reasoning about Beliefs (1994)
- Managing Uncertainty in Medicine - State of Art Report (1994)
- Systems of Conditional Beliefs in Dempster-Shafer Theory and Expert Systems (1993)
- An Exercise in Dempster-Shafer Theory (1992)
- The Logic of Pi-1 Conservativity Continued (1992)
- A Generalized Algebraic Approach to Uncertainty Processing in Rule-based Expert Systems (Dempsteroids) (1991)
- Algebraic Foundations of Uncertainty Processing in Rule-based Expert Systems (group-theoretic approach) (1990)
- On Recursion Theory in $I\sum_1$ (1989)
- Matematika aritmetiky prvního řádu (1988)
- Algebraic Foundations of Uncertainty Processing in Rule-Based Expert Systems (1987)
- El metodo GUHA de formacion automatizada de hipotesis y sus aplicaciones en geofisica y geoquimica (1984)
- Avtomatičeskoje obrazovanije gipotez (1984)
- New Enhancements in GUHA Software (1984)
- Metoda GUHA - automatická tvorba hypotéz (1983)
- Mechanizing Hypothesis Formation - Mathematical Foundations for a General Theory (1978)
- Metoda GUHA (General Unary Hypothesis Automaton). Skriptum vydané ke stejnojmennému kursu (1977)
- Seminář aplikací matematické logiky (1974)
- The Theory of Semisets (1972)
- Recense (1969)
- Základy matematické logiky. Učební text pro výzkumné pracovníky. Část I. a II (1967)
- Modely teorie množin s individuy (1964)
Projekty
- Matematická fuzzy logika v informatice (2010–2014)
- Fuzzy teorie množin jakožto základ fuzzy matematiky (2009–2010)
- Logické modely usuzovaní s vagními informacemi (2008–2011)
- Matematické základy inference a rozhodování za nejistoty (2005–2009)
- Institut teoretické informatiky - Centrum mladé vědy (2002–2004)
- Relační struktury v těžení dat a v teorii objevování (2001–2005)
- Matematické základy inference s vágností a nejistotou (2000–2004)