Boolean representations of fuzzy quantum spaces. - Mirko Navara (Fuzzy Sets Syst., 1997)

Considering uncertainty and dependence in Boolean, quantum and fuzzy logics. - Mirko Navara; Pavel Pták (Kybernetika, 1998)

Which triangular norms are convenient for fuzzy controllers?. - Bernhard Moser 001; Mirko Navara (EUSFLAT-ESTYLF Joint Conf., 1999)

A survey on different triangular norm-based fuzzy logics. - Erich-Peter Klement; Mirko Navara (Fuzzy Sets Syst., 1999)

Diagonals of continuous triangular norms. - Radko Mesiar; Mirko Navara (Fuzzy Sets Syst., 1999)

Residuated fuzzy logics with an involutive negation. - Francesc Esteva; Lluís Godo; Petr Hájek 001; Mirko Navara (Arch. Math. Log., 2000)

Embeddings into Orthomodular Lattices with Given Centers, State Spaces and Automorphism Groups. - John Harding; Mirko Navara (Order, 2000)

Strict triangular norms and characterization of T-measures. - Giuseppina Barbieri; Mirko Navara; Hans Weber 002 (EUSFLAT Conf., 2001)

Enhancement of Mamdani fuzzy controller. - Mirko Navara; Jakub Stastný (EUSFLAT Conf., 2001)

How to make constrained fuzzy arithmetic efficient. - Mirko Navara; Zdenek Zabokrtský (Soft Comput., 2001)

Program for generating fuzzy logical operations and its use in mathematical proofs. - Tomás Bartusek; Mirko Navara (Kybernetika, 2002)

Validation sets in fuzzy logics. - Rostislav Horcík; Mirko Navara (Kybernetika, 2002)

Fuzzy controllers with conditionally firing rules. - Bernhard Moser 001; Mirko Navara (IEEE Trans. Fuzzy Syst., 2002)

Mathematical Aspects of Fuzzy Control. - Paolo Amato; Antonio Di Nola; Mirko Navara (WILF, 2003)

Selection of Optimal Stopping Time for Nonlinear Diffusion Filtering. - Pavel Mrázek; Mirko Navara (Int. J. Comput. Vis., 2003)

Two Approaches to Fuzzy Propositional Logics. - Josef Hekrdla; Erich-Peter Klement; Mirko Navara (J. Multiple Valued Log. Soft Comput., 2003)

Characterization of T-measures. - Giuseppina Barbieri; Mirko Navara; Hans Weber 002 (Soft Comput., 2003)

Compactness of fuzzy logics. - Petr Cintula; Mirko Navara (Fuzzy Sets Syst., 2004)

Sequential Coordinate-Wise Algorithm for the Non-negative Least Squares Problem. - Vojtech Franc; Václav Hlavác; Mirko Navara (CAIP, 2005)

Probability theory of fuzzy events. - Mirko Navara (EUSFLAT Conf., 2005)

Sufficient triangular norms in many-valued logics with standard negation. - Dan Butnariu; Erich-Peter Klement; Radko Mesiar; Mirko Navara (Arch. Math. Log., 2005)

Convexity conditions on t-norms and their additive generators. - Roberto Ghiselli Ricci; Mirko Navara (Fuzzy Sets Syst., 2005)

Cantor-Bernstein Property for MV-Algebras. - Antonio Di Nola; Mirko Navara (Algebraic and Proof-theoretic Aspects of Non-classical Logics, 2006)

Defuzzification using Steiner points. - Thomas Vetterlein; Mirko Navara (Fuzzy Sets Syst., 2006)

Residuated logics based on strict triangular norms with an involutive negation. - Petr Cintula; Erich-Peter Klement; Radko Mesiar; Mirko Navara (Math. Log. Q., 2006)

Kleene-Isomorphic s -Complete MV-Algebras with Product are Isomorphic. - Roberto Cignoli; Daniele Mundici; Mirko Navara (J. Multiple Valued Log. Soft Comput., 2006)

How to Use Controller with Conditionally Firing Rules. - Mirko Navara; Milan Petrík (EUSFLAT Conf. (2), 2007)

MV-Algebras with the Cantor-Bernstein Property. - Antonio Di Nola; Mirko Navara (IFSA (2), 2007)

Triangular norms and conorms. - Mirko Navara (Scholarpedia, 2007)

Different Representations of Fuzzy Vectors. - Jiuzhen Liang; Mirko Navara; Thomas Vetterlein (ECSQARU, 2009)

Valuations on the Algebra of Intervals. - Mirko Navara (IFSA/EUSFLAT Conf., 2009)

Existence of states on quantum structures. - Mirko Navara (Inf. Sci., 2009)

Reconstruction of Additive Generators from Partial Derivatives of Continuous Archimedean t-Norms. - Mirko Navara; Milan Petrík; Peter Sarkoci (ISMVL, 2010)

Fuzzy logics with an additional involutive negation. - Petr Cintula; Erich-Peter Klement; Radko Mesiar; Mirko Navara (Fuzzy Sets Syst., 2010)

Computation with fuzzy quantities. - Mirko Navara (EUSFLAT Conf., 2011)

Subalgebras of Orthomodular Lattices. - John Harding; Mirko Navara (Order, 2011)

An algebraic generalization of the notion of tribe. - Mirko Navara (Fuzzy Sets Syst., 2012)

Continuous T-norms and T-conorms Satisfying the Principle of Inclusion and Exclusion. - Mária Kuková; Mirko Navara (AGOP, 2013)

Fuzzy implications satisfying convexity relations. - Mirko Navara (EUSFLAT Conf., 2013)

Alternative Proof of Mulholland's Theorem and New Solutions to Mulholland Inequality. - Milan Petrík; Mirko Navara; Peter Sarkoci (ISMVL, 2013)

Principles of inclusion and exclusion for fuzzy sets. - Mária Kuková; Mirko Navara (Fuzzy Sets Syst., 2013)

Computer proof of monotonicity of operations on orthomodular lattices. - Jeannine J. M. Gabriëls; Mirko Navara (Inf. Sci., 2013)

Measures on Interval-Valued Fuzzy Sets and If-Sets and Principle of Inclusion and Exclusion. - Mária Kuková; Mirko Navara (AGOP, 2015)

Infinitesimals and Pavelka logic. - Esko Turunen; Mirko Navara (IFSA-EUSFLAT, 2015)

Convex combinations of fuzzy logical operations. - Mirko Navara (Fuzzy Sets Syst., 2015)

Perfect Pavelka Logic. - Esko Turunen; Mirko Navara (Fuzzy Sets Syst., 2016)

The Role of Information in the Two Envelope Problem. - Mirko Navara; Jirí Sindelár (ITAT, 2017)

Principles of inclusion and exclusion for interval-valued fuzzy sets and IF-sets. - Mirko Navara; Mária Navarová (Fuzzy Sets Syst., 2017)

Formulas for generators of R-implications. - Mirko Navara (Fuzzy Sets Syst., 2019)

Imperfect information as a source of non-symmetry in the two envelope problem. - Mirko Navara; Jirí Sindelár (Int. J. Approx. Reason., 2019)

Boolean Subalgebras of Orthoalgebras. - John Harding; Chris Heunen; Bert Lindenhovius; Mirko Navara (Order, 2019)

On Frink Ideals in Orthomodular Posets. - Mirko Navara; Pavel Pták (Order, 2021)

The Fibonacci sequence in the description of maximal discrete Archimedean t-norms. - Carlos Bejines; Mirko Navara (Fuzzy Sets Syst., 2022)