default search action
Mirko Navara
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [j34]Carlos Bejines
, Mirko Navara:
The Fibonacci sequence in the description of maximal discrete Archimedean t-norms. Fuzzy Sets Syst. 451: 94-112 (2022) - 2021
- [j33]Mirko Navara
On Frink Ideals in Orthomodular Posets. Order 38(2): 245-249 (2021)
2010 – 2019
- 2019
- [j32]Mirko Navara
Formulas for generators of R-implications. Fuzzy Sets Syst. 359: 80-89 (2019) - [j31]Mirko Navara
Imperfect information as a source of non-symmetry in the two envelope problem. Int. J. Approx. Reason. 112: 37-54 (2019) - [j30]John Harding
Boolean Subalgebras of Orthoalgebras. Order 36(3): 563-609 (2019) - [e1]Vilém Novák, Vladimír Marík, Martin Stepnicka, Mirko Navara, Petr Hurtík:
Proceedings of the 11th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2019, Prague, Czech Republic, September 9-13, 2019. Atlantis Studies in Uncertainty Modelling 1, Atlantis Press 2019, ISBN 978-94-6252-770-6 [contents] - 2017
- [j29]Mirko Navara
Principles of inclusion and exclusion for interval-valued fuzzy sets and IF-sets. Fuzzy Sets Syst. 324: 60-73 (2017) - [c19]Mirko Navara, Jirí Sindelár:
The Role of Information in the Two Envelope Problem. ITAT 2017: 112-119 - 2016
- [j28]Esko Turunen
Perfect Pavelka Logic. Fuzzy Sets Syst. 292: 396-410 (2016) - 2015
- [j27]Mirko Navara
Convex combinations of fuzzy logical operations. Fuzzy Sets Syst. 264: 51-63 (2015) - [c18]Mária Kuková, Mirko Navara:
Measures on Interval-Valued Fuzzy Sets and If-Sets and Principle of Inclusion and Exclusion. AGOP 2015: 163-173 - [c17]Esko Turunen, Mirko Navara:
Infinitesimals and Pavelka logic. IFSA-EUSFLAT 2015 - 2013
- [j26]Mária Kuková, Mirko Navara
Principles of inclusion and exclusion for fuzzy sets. Fuzzy Sets Syst. 232: 98-109 (2013) - [j25]Jeannine J. M. Gabriëls, Mirko Navara
Computer proof of monotonicity of operations on orthomodular lattices. Inf. Sci. 236: 205-217 (2013) - [c16]Mária Kuková, Mirko Navara
Continuous T-norms and T-conorms Satisfying the Principle of Inclusion and Exclusion. AGOP 2013: 179-186 - [c15]Mirko Navara
Fuzzy implications satisfying convexity relations. EUSFLAT Conf. 2013 - [c14]Milan Petrík
Alternative Proof of Mulholland's Theorem and New Solutions to Mulholland Inequality. ISMVL 2013: 346-351 - 2012
- [j24]Mirko Navara
An algebraic generalization of the notion of tribe. Fuzzy Sets Syst. 192: 123-133 (2012) - 2011
- [j23]John Harding, Mirko Navara
Subalgebras of Orthomodular Lattices. Order 28(3): 549-563 (2011) - [c13]Mirko Navara
Computation with fuzzy quantities. EUSFLAT Conf. 2011: 209-214 - 2010
- [j22]Petr Cintula
Fuzzy logics with an additional involutive negation. Fuzzy Sets Syst. 161(3): 390-411 (2010) - [c12]Mirko Navara
Reconstruction of Additive Generators from Partial Derivatives of Continuous Archimedean t-Norms. ISMVL 2010: 241-244
2000 – 2009
- 2009
- [j21]Mirko Navara
Existence of states on quantum structures. Inf. Sci. 179(5): 508-514 (2009) - [c11]Jiuzhen Liang
Different Representations of Fuzzy Vectors. ECSQARU 2009: 700-711 - [c10]Mirko Navara:
Valuations on the Algebra of Intervals. IFSA/EUSFLAT Conf. 2009: 550-554 - 2007
- [j20]Mirko Navara:
Triangular norms and conorms. Scholarpedia 2(3): 2398 (2007) - [c9]Mirko Navara, Milan Petrík:
How to Use Controller with Conditionally Firing Rules. EUSFLAT Conf. (2) 2007: 87-94 - [c8]Antonio Di Nola, Mirko Navara
MV-Algebras with the Cantor-Bernstein Property. IFSA (2) 2007: 861-868 - 2006
- [j19]Thomas Vetterlein, Mirko Navara
Defuzzification using Steiner points. Fuzzy Sets Syst. 157(11): 1455-1462 (2006) - [j18]Petr Cintula
Residuated logics based on strict triangular norms with an involutive negation. Math. Log. Q. 52(3): 269-282 (2006) - [j17]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): 1-8 (2006) - [c7]Antonio Di Nola, Mirko Navara
Cantor-Bernstein Property for MV-Algebras. Algebraic and Proof-theoretic Aspects of Non-classical Logics 2006: 107-118 - 2005
- [j16]Dan Butnariu, Erich-Peter Klement
Sufficient triangular norms in many-valued logics with standard negation. Arch. Math. Log. 44(7): 829-849 (2005) - [j15]Roberto Ghiselli Ricci, Mirko Navara
Convexity conditions on t-norms and their additive generators. Fuzzy Sets Syst. 151(2): 353-361 (2005) - [c6]Vojtech Franc
Sequential Coordinate-Wise Algorithm for the Non-negative Least Squares Problem. CAIP 2005: 407-414 - [c5]Mirko Navara:
Probability theory of fuzzy events. EUSFLAT Conf. 2005: 325-329 - 2004
- [j14]Petr Cintula
Compactness of fuzzy logics. Fuzzy Sets Syst. 143(1): 59-73 (2004) - 2003
- [j13]Pavel Mrázek, Mirko Navara
Selection of Optimal Stopping Time for Nonlinear Diffusion Filtering. Int. J. Comput. Vis. 52(2-3): 189-203 (2003) - [j12]Josef Hekrdla, Erich-Peter Klement, Mirko Navara:
Two Approaches to Fuzzy Propositional Logics. J. Multiple Valued Log. Soft Comput. 9(4): 343-360 (2003) - [j11]Giuseppina Barbieri
Characterization of T-measures. Soft Comput. 8(1): 44-50 (2003) - [c4]Paolo Amato, Antonio Di Nola, Mirko Navara:
Mathematical Aspects of Fuzzy Control. WILF 2003: 80-88 - 2002
- [j10]Tomás Bartusek, Mirko Navara:
Program for generating fuzzy logical operations and its use in mathematical proofs. Kybernetika 38(3): 235-244 (2002) - [j9]Rostislav Horcík, Mirko Navara:
Validation sets in fuzzy logics. Kybernetika 38(3): 319-326 (2002) - [j8]Bernhard Moser
Fuzzy controllers with conditionally firing rules. IEEE Trans. Fuzzy Syst. 10(3): 340-348 (2002) - 2001
- [j7]Mirko Navara, Zdenek Zabokrtský:
How to make constrained fuzzy arithmetic efficient. Soft Comput. 5(6): 412-417 (2001) - [c3]Mirko Navara, Jakub Stastný:
Enhancement of Mamdani fuzzy controller. EUSFLAT Conf. 2001: 168-170 - [c2]Giuseppina Barbieri, Mirko Navara, Hans Weber:
Strict triangular norms and characterization of T-measures. EUSFLAT Conf. 2001: 455-457 - 2000
- [j6]Francesc Esteva, Lluís Godo
Residuated fuzzy logics with an involutive negation. Arch. Math. Log. 39(2): 103-124 (2000) - [j5]John Harding, Mirko Navara
Embeddings into Orthomodular Lattices with Given Centers, State Spaces and Automorphism Groups. Order 17(3): 239-254 (2000)
1990 – 1999
- 1999
- [j4]Erich-Peter Klement
A survey on different triangular norm-based fuzzy logics. Fuzzy Sets Syst. 101(2): 241-251 (1999) - [j3]Radko Mesiar, Mirko Navara
Diagonals of continuous triangular norms. Fuzzy Sets Syst. 104(1): 35-41 (1999) - [c1]Bernhard Moser, Mirko Navara:
Which triangular norms are convenient for fuzzy controllers?. EUSFLAT-ESTYLF Joint Conf. 1999: 75-78 - 1998
- [j2]Mirko Navara, Pavel Pták:
Considering uncertainty and dependence in Boolean, quantum and fuzzy logics. Kybernetika 34(1): 121-134 (1998) - 1997
- [j1]Mirko Navara
Boolean representations of fuzzy quantum spaces. Fuzzy Sets Syst. 87(2): 201-207 (1997)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: