Mirko Navara

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