Mirko Navara

Publication Activity (10 Years)

Years Active: 1997-2022
Publications (10 Years): 8

Top Topics

Imperfect Information

Fuzzy Relations

Top Venues

Fuzzy Sets Syst.

Int. J. Approx. Reason.

Publications

Carlos Bejines, Mirko Navara
The Fibonacci sequence in the description of maximal discrete Archimedean t-norms. Fuzzy Sets Syst. 451 (2022)
Mirko Navara, Pavel Pták
On Frink Ideals in Orthomodular Posets. Order 38 (2) (2021)
John Harding, Chris Heunen, Bert Lindenhovius, Mirko Navara
Boolean Subalgebras of Orthoalgebras. Order 36 (3) (2019)
Mirko Navara, Jirí Sindelár
Imperfect information as a source of non-symmetry in the two envelope problem. Int. J. Approx. Reason. 112 (2019)
Mirko Navara
Formulas for generators of R-implications. Fuzzy Sets Syst. 359 (2019)
Mirko Navara, Mária Navarová
Principles of inclusion and exclusion for interval-valued fuzzy sets and IF-sets. Fuzzy Sets Syst. 324 (2017)
Mirko Navara, Jirí Sindelár
The Role of Information in the Two Envelope Problem. ITAT (2017)
Esko Turunen, Mirko Navara
Perfect Pavelka Logic. Fuzzy Sets Syst. 292 (2016)
Esko Turunen, Mirko Navara
Infinitesimals and Pavelka logic. IFSA-EUSFLAT (2015)
Mária Kuková, Mirko Navara
Measures on Interval-Valued Fuzzy Sets and If-Sets and Principle of Inclusion and Exclusion. AGOP (2015)
Mirko Navara
Convex combinations of fuzzy logical operations. Fuzzy Sets Syst. 264 (2015)
Milan Petrík, Mirko Navara, Peter Sarkoci
Alternative Proof of Mulholland's Theorem and New Solutions to Mulholland Inequality. ISMVL (2013)
Mária Kuková, Mirko Navara
Continuous T-norms and T-conorms Satisfying the Principle of Inclusion and Exclusion. AGOP (2013)
Mirko Navara
Fuzzy implications satisfying convexity relations. EUSFLAT Conf. (2013)
Jeannine J. M. Gabriëls, Mirko Navara
Computer proof of monotonicity of operations on orthomodular lattices. Inf. Sci. 236 (2013)
Mária Kuková, Mirko Navara
Principles of inclusion and exclusion for fuzzy sets. Fuzzy Sets Syst. 232 (2013)
Mirko Navara
An algebraic generalization of the notion of tribe. Fuzzy Sets Syst. 192 (2012)
Mirko Navara
Computation with fuzzy quantities. EUSFLAT Conf. (2011)
John Harding, Mirko Navara
Subalgebras of Orthomodular Lattices. Order 28 (3) (2011)
Mirko Navara, Milan Petrík, Peter Sarkoci
Reconstruction of Additive Generators from Partial Derivatives of Continuous Archimedean t-Norms. ISMVL (2010)
Petr Cintula, Erich-Peter Klement, Radko Mesiar, Mirko Navara
Fuzzy logics with an additional involutive negation. Fuzzy Sets Syst. 161 (3) (2010)
Mirko Navara
Existence of states on quantum structures. Inf. Sci. 179 (5) (2009)
Jiuzhen Liang, Mirko Navara, Thomas Vetterlein
Different Representations of Fuzzy Vectors. ECSQARU (2009)
Mirko Navara
Valuations on the Algebra of Intervals. IFSA/EUSFLAT Conf. (2009)
Mirko Navara
Triangular norms and conorms. Scholarpedia 2 (3) (2007)
Antonio Di Nola, Mirko Navara
MV-Algebras with the Cantor-Bernstein Property. IFSA (2) (2007)
Mirko Navara, Milan Petrík
How to Use Controller with Conditionally Firing Rules. EUSFLAT Conf. (2) (2007)
Petr Cintula, Erich-Peter Klement, Radko Mesiar, Mirko Navara
Residuated logics based on strict triangular norms with an involutive negation. Math. Log. Q. 52 (3) (2006)
Thomas Vetterlein, Mirko Navara
Defuzzification using Steiner points. Fuzzy Sets Syst. 157 (11) (2006)
Roberto Cignoli, Daniele Mundici, Mirko Navara
Kleene-Isomorphic s -Complete MV-Algebras with Product are Isomorphic. J. Multiple Valued Log. Soft Comput. 12 (1-2) (2006)
Antonio Di Nola, Mirko Navara
Cantor-Bernstein Property for MV-Algebras. Algebraic and Proof-theoretic Aspects of Non-classical Logics (2006)
Mirko Navara
Probability theory of fuzzy events. EUSFLAT Conf. (2005)
Dan Butnariu, Erich-Peter Klement, Radko Mesiar, Mirko Navara
Sufficient triangular norms in many-valued logics with standard negation. Arch. Math. Log. 44 (7) (2005)
Roberto Ghiselli Ricci, Mirko Navara
Convexity conditions on t-norms and their additive generators. Fuzzy Sets Syst. 151 (2) (2005)
Vojtech Franc, Václav Hlavác, Mirko Navara
Sequential Coordinate-Wise Algorithm for the Non-negative Least Squares Problem. CAIP (2005)
Petr Cintula, Mirko Navara
Compactness of fuzzy logics. Fuzzy Sets Syst. 143 (1) (2004)
Pavel Mrázek, Mirko Navara
Selection of Optimal Stopping Time for Nonlinear Diffusion Filtering. Int. J. Comput. Vis. 52 (2-3) (2003)
Josef Hekrdla, Erich-Peter Klement, Mirko Navara
Two Approaches to Fuzzy Propositional Logics. J. Multiple Valued Log. Soft Comput. 9 (4) (2003)
Paolo Amato, Antonio Di Nola, Mirko Navara
Mathematical Aspects of Fuzzy Control. WILF (2003)
Giuseppina Barbieri, Mirko Navara, Hans Weber
Characterization of T-measures. Soft Comput. 8 (1) (2003)
Rostislav Horcík, Mirko Navara
Validation sets in fuzzy logics. Kybernetika 38 (3) (2002)
Tomás Bartusek, Mirko Navara
Program for generating fuzzy logical operations and its use in mathematical proofs. Kybernetika 38 (3) (2002)
Bernhard Moser, Mirko Navara
Fuzzy controllers with conditionally firing rules. IEEE Trans. Fuzzy Syst. 10 (3) (2002)
Giuseppina Barbieri, Mirko Navara, Hans Weber
Strict triangular norms and characterization of T-measures. EUSFLAT Conf. (2001)
Mirko Navara, Zdenek Zabokrtský
How to make constrained fuzzy arithmetic efficient. Soft Comput. 5 (6) (2001)
Mirko Navara, Jakub Stastný
Enhancement of Mamdani fuzzy controller. EUSFLAT Conf. (2001)
Francesc Esteva, Lluís Godo, Petr Hájek, Mirko Navara
Residuated fuzzy logics with an involutive negation. Arch. Math. Log. 39 (2) (2000)
John Harding, Mirko Navara
Embeddings into Orthomodular Lattices with Given Centers, State Spaces and Automorphism Groups. Order 17 (3) (2000)
Bernhard Moser, Mirko Navara
Which triangular norms are convenient for fuzzy controllers?. EUSFLAT-ESTYLF Joint Conf. (1999)
Radko Mesiar, Mirko Navara
Diagonals of continuous triangular norms. Fuzzy Sets Syst. 104 (1) (1999)
Erich-Peter Klement, Mirko Navara
A survey on different triangular norm-based fuzzy logics. Fuzzy Sets Syst. 101 (2) (1999)
Mirko Navara, Pavel Pták
Considering uncertainty and dependence in Boolean, quantum and fuzzy logics. Kybernetika 34 (1) (1998)
Mirko Navara
Boolean representations of fuzzy quantum spaces. Fuzzy Sets Syst. 87 (2) (1997)