Mirko Navara

According to our database, Mirko Navara authored at least 53 papers between 1997 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

The Fibonacci sequence in the description of maximal discrete Archimedean t-norms.

Carlos Bejines, Mirko Navara

Fuzzy Sets Syst., 2022

2021

On Frink Ideals in Orthomodular Posets.

Mirko Navara, Pavel Pták

Order, 2021

2019

Boolean Subalgebras of Orthoalgebras.

John Harding, Chris Heunen, Bert Lindenhovius, Mirko Navara

Order, 2019

Imperfect information as a source of non-symmetry in the two envelope problem.

Mirko Navara, Jirí Sindelár

Int. J. Approx. Reason., 2019

Formulas for generators of R-implications.

Mirko Navara

Fuzzy Sets Syst., 2019

2017

Principles of inclusion and exclusion for interval-valued fuzzy sets and IF-sets.

Mirko Navara, Mária Navarová

Fuzzy Sets Syst., 2017

The Role of Information in the Two Envelope Problem.

Mirko Navara, Jirí Sindelár

Proceedings of the 17th Conference on Information Technologies, 2017

2016

Perfect Pavelka Logic.

Esko Turunen, Mirko Navara

Fuzzy Sets Syst., 2016

2015

Convex combinations of fuzzy logical operations.

Mirko Navara

Fuzzy Sets Syst., 2015

Infinitesimals and Pavelka logic.

Esko Turunen, Mirko Navara

Proceedings of the 2015 Conference of the International Fuzzy Systems Association and the European Society for Fuzzy Logic and Technology (IFSA-EUSFLAT-15), 2015

Measures on Interval-Valued Fuzzy Sets and If-Sets and Principle of Inclusion and Exclusion.

Mária Kuková, Mirko Navara

Proceedings of the 8th International Summer School on Aggregation Operators (AGOP 2015), 2015

2013

Computer proof of monotonicity of operations on orthomodular lattices.

Jeannine J. M. Gabriëls, Mirko Navara

Inf. Sci., 2013

Principles of inclusion and exclusion for fuzzy sets.

Mária Kuková, Mirko Navara

Fuzzy Sets Syst., 2013

Alternative Proof of Mulholland's Theorem and New Solutions to Mulholland Inequality.

Milan Petrík, Mirko Navara, Peter Sarkoci

Proceedings of the 43rd IEEE International Symposium on Multiple-Valued Logic, 2013

Fuzzy implications satisfying convexity relations.

Mirko Navara

Proceedings of the 8th conference of the European Society for Fuzzy Logic and Technology, 2013

Continuous T-norms and T-conorms Satisfying the Principle of Inclusion and Exclusion.

Mária Kuková, Mirko Navara

Proceedings of the Aggregation Functions in Theory and in Practise, 2013

2012

An algebraic generalization of the notion of tribe.

Mirko Navara

Fuzzy Sets Syst., 2012

2011

Subalgebras of Orthomodular Lattices.

John Harding, Mirko Navara

Order, 2011

Computation with fuzzy quantities.

Mirko Navara

Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology, 2011

2010

Fuzzy logics with an additional involutive negation.

Petr Cintula, Erich-Peter Klement, Radko Mesiar, Mirko Navara

Fuzzy Sets Syst., 2010

Reconstruction of Additive Generators from Partial Derivatives of Continuous Archimedean t-Norms.

Mirko Navara, Milan Petrík, Peter Sarkoci

Proceedings of the 40th IEEE International Symposium on Multiple-Valued Logic, 2010

2009

Existence of states on quantum structures.

Mirko Navara

Inf. Sci., 2009

Valuations on the Algebra of Intervals.

Mirko Navara

Proceedings of the Joint 2009 International Fuzzy Systems Association World Congress and 2009 European Society of Fuzzy Logic and Technology Conference, 2009

Different Representations of Fuzzy Vectors.

Jiuzhen Liang, Mirko Navara, Thomas Vetterlein

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2009

2007

Triangular norms and conorms.

Mirko Navara

Scholarpedia, 2007

MV-Algebras with the Cantor-Bernstein Property.

Antonio Di Nola, Mirko Navara

Proceedings of the Theoretical Advances and Applications of Fuzzy Logic and Soft Computing, 2007

How to Use Controller with Conditionally Firing Rules.

Mirko Navara, Milan Petrík

Proceedings of the New Dimensions in Fuzzy Logic and Related Technologies. Proceedings of the 5th EUSFLAT Conference, 2007

2006

Kleene-Isomorphic s -Complete MV-Algebras with Product are Isomorphic.

Roberto Cignoli, Daniele Mundici, Mirko Navara

J. Multiple Valued Log. Soft Comput., 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

Defuzzification using Steiner points.

Thomas Vetterlein, Mirko Navara

Fuzzy Sets Syst., 2006

Cantor-Bernstein Property for MV-Algebras.

Antonio Di Nola, Mirko Navara

Proceedings of the Algebraic and Proof-theoretic Aspects of Non-classical Logics, 2006

2005

Convexity conditions on t-norms and their additive generators.

Roberto Ghiselli Ricci, Mirko Navara

Fuzzy Sets Syst., 2005

Sufficient triangular norms in many-valued logics with standard negation.

Dan Butnariu, Erich-Peter Klement, Radko Mesiar, Mirko Navara

Arch. Math. Log., 2005

Probability theory of fuzzy events.

Mirko Navara

Proceedings of the Joint 4th Conference of the European Society for Fuzzy Logic and Technology and the 11th Rencontres Francophones sur la Logique Floue et ses Applications, 2005

Sequential Coordinate-Wise Algorithm for the Non-negative Least Squares Problem.

Vojtech Franc, Václav Hlavác, Mirko Navara

Proceedings of the Computer Analysis of Images and Patterns, 11th International Conference, 2005

2004

Compactness of fuzzy logics.

Petr Cintula, Mirko Navara

Fuzzy Sets Syst., 2004

2003

Characterization of T-measures.

Giuseppina Barbieri, Mirko Navara, Hans Weber

Soft Comput., 2003

Two Approaches to Fuzzy Propositional Logics.

Josef Hekrdla, Erich-Peter Klement, Mirko Navara

J. Multiple Valued Log. Soft Comput., 2003

Selection of Optimal Stopping Time for Nonlinear Diffusion Filtering.

Pavel Mrázek, Mirko Navara

Int. J. Comput. Vis., 2003

Mathematical Aspects of Fuzzy Control.

Paolo Amato, Antonio Di Nola, Mirko Navara

Proceedings of the Fuzzy Logic and Applications, 5th International Workshop, 2003

2002

Fuzzy controllers with conditionally firing rules.

Bernhard Moser, Mirko Navara

IEEE Trans. Fuzzy Syst., 2002

Validation sets in fuzzy logics.

Rostislav Horcík, Mirko Navara

Kybernetika, 2002

Program for generating fuzzy logical operations and its use in mathematical proofs.

Tomás Bartusek, Mirko Navara

Kybernetika, 2002

2001

How to make constrained fuzzy arithmetic efficient.

Mirko Navara, Zdenek Zabokrtský

Soft Comput., 2001

Enhancement of Mamdani fuzzy controller.

Mirko Navara, Jakub Stastný

Proceedings of the 2nd International Conference in Fuzzy Logic and Technology, 2001

Strict triangular norms and characterization of T-measures.

Giuseppina Barbieri, Mirko Navara, Hans Weber

Proceedings of the 2nd International Conference in Fuzzy Logic and Technology, 2001

2000

Embeddings into Orthomodular Lattices with Given Centers, State Spaces and Automorphism Groups.

John Harding, Mirko Navara

Order, 2000

Residuated fuzzy logics with an involutive negation.

Francesc Esteva, Lluís Godo, Petr Hájek, Mirko Navara

Arch. Math. Log., 2000

1999

Diagonals of continuous triangular norms.

Radko Mesiar, Mirko Navara

Fuzzy Sets Syst., 1999

A survey on different triangular norm-based fuzzy logics.

Erich-Peter Klement, Mirko Navara

Fuzzy Sets Syst., 1999

Which triangular norms are convenient for fuzzy controllers?.

Bernhard Moser, Mirko Navara

Proceedings of the EUSFLAT-ESTYLF Joint Conference, 1999

1998

Considering uncertainty and dependence in Boolean, quantum and fuzzy logics.

Mirko Navara, Pavel Pták

Kybernetika, 1998

1997

Boolean representations of fuzzy quantum spaces.

Mirko Navara

Fuzzy Sets Syst., 1997