Edit Profile (opens in new tab) Navara, Mirko Co-Author Distance Author ID: navara.mirko Published as: Navara, Mirko; Navara, M. Documents Indexed: 118 Publications since 1983, including 1 Additional arXiv Preprint Reviewing Activity: 187 Reviews Co-Authors: 53 Co-Authors with 85 Joint Publications 968 Co-Co-Authors all top 5 Co-Authors 33 single-authored 23 Pták, Pavel 9 De Simone, Anna 7 Klement, Erich Peter 6 Rogalewicz, Vladimír 5 Mesiar, Radko 4 Gabriëls, Jeannine J. M. 3 Cintula, Petr 3 Di Nola, Antonio 3 Harding, John 2 Bikchentaev, Aĭrat Midkhatovich 2 Gagola, Stephen M. III 2 Hamhalter, Jan 2 Kuková, Mária 2 Mayet, René 2 Mundici, Daniele 2 Petrík, Milan 2 Vetterlein, Thomas 2 Voràček, Václav 2 Žabokrtský, Zdeněk 1 Amato, Paolo 1 Barbieri, Giuseppina Gerarda 1 Bartušek, Tomáš 1 Bejines, Carlos 1 Binder, Jiří 1 Bunce, Leslie J. 1 Butnariu, Dan 1 Cignoli, Roberto 1 Esteva, Francesc 1 Ghiselli Ricci, Roberto 1 Godo, Lluís 1 Godowski, Radosław M. 1 Hájek, Petr 1 Hekrdla, Josef 1 Heunen, Chris 1 Horčík, Rostislav 1 Houšková, Kamila 1 Hroch, Michal 1 Hyčko, Marek 1 Liang, Jiuzhen 1 Lindenhovius, Bert 1 Moser, Bernhard Alois 1 Mrázek, Pavel 1 Navarová, Mária 1 Rüttimann, Gottfried Traugott 1 Sarkoci, Peter 1 Ševic, Jan 1 Šindelář, Jiří 1 Svozil, Karl 1 Tkadlec, Josef 1 Turunen, Esko 1 Weber, Hans Josef Karl 1 Wright, John David Maitland 1 Yakushev, Rinat S. all top 5 Serials 16 International Journal of Theoretical Physics 15 Fuzzy Sets and Systems 5 Order 4 Czechoslovak Mathematical Journal 4 Demonstratio Mathematica 4 Mathematica Slovaca 4 Tatra Mountains Mathematical Publications 3 Journal of Mathematical Analysis and Applications 3 Algebra Universalis 3 Kybernetika 3 Proceedings of the American Mathematical Society 2 Commentationes Mathematicae Universitatis Carolinae 2 Information Sciences 2 Mathematische Nachrichten 2 Archive for Mathematical Logic 2 Soft Computing 2 Journal of Multiple-Valued Logic and Soft Computing 1 Acta Universitatis Carolinae. Mathematica et Physica 1 Journal of Mathematical Physics 1 Reports on Mathematical Physics 1 Časopis Pro Pěstování Matematiky 1 Colloquium Mathematicum 1 Journal of Pure and Applied Algebra 1 Pacific Journal of Mathematics 1 Publicationes Mathematicae Debrecen 1 The Quarterly Journal of Mathematics. Oxford Second Series 1 Real Analysis Exchange 1 Rendiconti dell’Istituto di Matematica dell’Università di Trieste 1 International Journal of Approximate Reasoning 1 Mathematica Bohemica 1 Expositiones Mathematicae 1 Annales de l’Institut Henri Poincaré. Physique Théorique 1 International Journal of Computer Vision 1 Mathematical Logic Quarterly (MLQ) 1 Scientiae Mathematicae Japonicae 1 Foundations of Physics 1 Dependence Modeling all top 5 Fields 86 Mathematical logic and foundations (03-XX) 54 Order, lattices, ordered algebraic structures (06-XX) 52 Quantum theory (81-XX) 29 Measure and integration (28-XX) 10 Functional analysis (46-XX) 5 Computer science (68-XX) 4 Combinatorics (05-XX) 4 Probability theory and stochastic processes (60-XX) 3 Group theory and generalizations (20-XX) 2 Nonassociative rings and algebras (17-XX) 2 General topology (54-XX) 2 Systems theory; control (93-XX) 1 General algebraic systems (08-XX) 1 Number theory (11-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Real functions (26-XX) 1 Difference and functional equations (39-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Operations research, mathematical programming (90-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 97 Publications have been cited 707 times in 421 Documents Cited by ▼ Year ▼ Residuated fuzzy logics with an involutive negation. Zbl 0965.03035 Esteva, Francesc; Godo, Lluís; Hájek, Petr; Navara, Mirko 76 2000 A survey on different triangular norm-based fuzzy logics. Zbl 0945.03032 Klement, Erich Peter; Navara, Mirko 49 1999 Almost Boolean orthomodular posets. Zbl 0691.03045 Navara, Mirko; Pták, Pavel 29 1989 An orthomodular lattice admitting no group-valued measure. Zbl 0809.06008 Navara, Mirko 28 1994 The pasting constructions for orthomodular posets. Zbl 0767.06009 Navara, Mirko; Rogalewicz, Vladimír 27 1991 Quantum logics with Jauch-Piron states. Zbl 0585.03038 Bunce, L. J.; Navara, M.; Pták, P.; Wright, J. D. Maitland 24 1985 Selection of optimal stopping time for nonlinear diffusion filtering. Zbl 1477.94018 Mrázek, Pavel; Navara, Mirko 20 2003 Triangular norms and measures of fuzzy sets. Zbl 1073.28015 Navara, Mirko 19 2005 Fuzzy logics with an additional involutive negation. Zbl 1189.03028 Cintula, Petr; Klement, Erich Peter; Mesiar, Radko; Navara, Mirko 18 2010 Diagonals of continuous triangular norms. Zbl 0972.03052 Mesiar, Radko; Navara, Mirko 17 1999 Enlargements of quantum logics. Zbl 0617.06006 Navara, Mirko; Pták, Pavel; Rogalewicz, Vladimir 15 1988 Characterization of measures based on strict triangular norms. Zbl 0946.28010 Navara, Mirko 14 1999 Residuated logics based on strict triangular norms with an involutive negation. Zbl 1165.03326 Cintula, Petr; Klement, Erich Peter; Mesiar, Radko; Navara, Mirko 13 2006 A Cantor-Bernstein theorem for \(\sigma \)-complete MV-algebras. Zbl 1024.06003 De Simone, A.; Mundici, D.; Navara, M. 12 2003 The \(\sigma\)-complete MV-algebras which have enough states. Zbl 1081.06011 Di Nola, Antonio; Navara, Mirko 11 2005 \(\mathbb{T}_ S\)-tribes and \(\mathbb{T}_ S\)-measures. Zbl 0852.28009 Mesiar, Radko; Navara, Mirko 11 1996 Constructions of quantum structures. Zbl 1136.81004 Navara, Mirko 11 2007 States on orthoalgebras. Zbl 0841.03034 Hamhalter, Jan; Navara, Mirko; Pták, Pavel 10 1995 Descriptions of state spaces of orthomodular lattices (the hypergraph approach). Zbl 0772.06008 Navara, Mirko 10 1992 Convexity conditions on t-norms and their additive generators. Zbl 1074.03023 Ghiselli Ricci, Roberto; Navara, Mirko 9 2005 On generating finite orthomodular sublattices. Zbl 0915.06004 Navara, Mirko 9 1997 States on systems of sets that are closed under symmetric difference. Zbl 1332.28006 De Simone, Anna; Navara, Mirko; Pták, Pavel 9 2015 Subalgebras of orthomodular lattices. Zbl 1232.06016 Harding, John; Navara, Mirko 9 2011 State space properties of finite logics. Zbl 0647.03057 Navara, Mirko 8 1987 Compactness of fuzzy logics. Zbl 1040.03019 Cintula, Petr; Navara, Mirko 8 2004 Program for generating fuzzy logical operations and its use in mathematical proofs. Zbl 1265.28041 Bartušek, Tomáš; Navara, Mirko 8 2002 State spaces of orthomodular structures. Zbl 0974.03056 Navara, Mirko 8 2000 Existence of states on quantum structures. Zbl 1162.81323 Navara, Mirko 7 2009 Yosida-Hewitt and Lebesgue decompositions of states on orthomodular posets. Zbl 0970.28010 De Simone, Anna; Navara, Mirko 7 2001 Explicit formulas for generators of triangular norms. Zbl 1224.03033 Navara, Mirko; Petrík, Milan; Sarkoci, Peter 7 2010 A characterization of triangular norm based tribes. Zbl 0799.28013 Navara, Mirko 7 1993 On interval homogeneous orthomodular lattices. Zbl 1052.06007 De Simone, A.; Navara, M.; Pták, P. 6 2001 Extending states on finite concrete logics. Zbl 1188.81015 De Simone, Anna; Navara, Mirko; Pták, Pavel 6 2007 Two-valued measures on sigma-classes. Zbl 0526.28001 Navara, Mirko; Pták, Pavel 6 1983 Construction of the orthomodular lattices with given state spaces. Zbl 0665.03045 Navara, Mirko; Rogalewicz, Vladimír 6 1988 Convex combinations of fuzzy logical operations. Zbl 1361.03025 Navara, Mirko 6 2015 Two approaches to fuzzy propositional logics. Zbl 1043.03017 Hekrdla, Josef; Klement, Erich Peter; Navara, Mirko 6 2003 Classes of logics representable as kernels of measures. Zbl 0886.03041 Mayet, René; Navara, Mirko 6 1995 States on symmetric logics: extensions. Zbl 1374.03065 Bikchentaev, Airat; Navara, Mirko 6 2016 Boolean subalgebras of orthoalgebras. Zbl 1442.06003 Harding, John; Heunen, Chris; Lindenhovius, Bert; Navara, Mirko 6 2019 Small quantum structures with small state spaces. Zbl 1147.81004 Navara, Mirko 6 2008 A characterization of tribes with respect to the Łukasiewicz \(t\)-norm. Zbl 0902.28015 Klement, Erich Peter; Navara, Mirko 6 1997 Principles of inclusion and exclusion for fuzzy sets. Zbl 1314.03045 Kuková, Mária; Navara, Mirko 5 2013 Boolean representations of fuzzy quantum spaces. Zbl 0915.03049 Navara, Mirko 5 1997 When is the integration on quantum probability spaces additive? Zbl 0734.28015 Navara, Mirko 5 1989 A characterization of \(\sigma\)-state spaces of orthomodular lattices. Zbl 0742.03027 Navara, M.; Rüttimann, G. T. 5 1991 Automorphisms of concrete logics. Zbl 0742.06008 Navara, Mirko; Tkadlec, Josef 5 1991 Associativity of operations on orthomodular lattices. Zbl 1274.06035 Gabriëls, Jeannine J. M.; Navara, Mirko 5 2012 Propositional fuzzy logics based on Frank t-norms: A comparison. Zbl 0947.03035 Klement, Erich Peter; Navara, Mirko 4 1999 For \(n\geqslant 5\) there is no nontrivial \(Z_{2}\)-measure on \(L(R^{n})\). Zbl 1070.81010 Navara, Mirko; Pták, Pavel 4 2004 Decidability in orthomodular lattices. Zbl 1110.81015 Hyčko, Marek; Navara, Mirko 4 2005 Two descriptions of state spaces of orthomodular structures. Zbl 0963.03086 Navara, Mirko 4 1999 Sufficient triangular norms in many-valued logics with standard negation. Zbl 1085.03018 Butnariu, Dan; Klement, Erich Peter; Mesiar, Radko; Navara, Mirko 4 2005 How to make constrained fuzzy arithmetic efficient. Zbl 0995.03041 Navara, M.; Žabokrtský, Z. 4 2001 Defuzzification using Steiner points. Zbl 1104.03057 Vetterlein, Thomas; Navara, Mirko 4 2006 Independence of automorphism group, center, and state space of quantum logics. Zbl 0771.03021 Navara, Mirko 4 1992 Validation sets in fuzzy logics. Zbl 1265.03019 Horčík, Rostislav; Navara, Mirko 4 2002 State isomorphism of orthomodular posets and hypergraphs. Zbl 0691.03046 Navara, Mirko; Rogalewicz, Vladimír 3 1988 Quantum logics of idempotents of unital rings. Zbl 1317.81010 Bikchentaev, Airat; Navara, Mirko; Yakushev, Rinat 3 2015 \(P\)-measures on soft fuzzy \(\sigma\)-algebras. Zbl 0816.28011 Navara, Mirko; Pták, Pavel 3 1993 Embeddings into orthomodular lattices with given centers, state spaces and automorphism groups. Zbl 0974.06003 Harding, John; Navara, Mirko 3 2000 Orthosymmetry and modularity in ortholattices. Zbl 0908.06005 Hamhalter, Jan; Navara, Mirko 3 1991 On the Yosida-Hewitt decomposition and Rüttimann decomposition of states. Zbl 1011.06012 De Simone, Anna; Navara, Mirko 2 2002 Quantum logics with lattice state spaces. Zbl 0624.06009 Binder, Jiří; Navara, Mirko 2 1987 Quantum logics with the Radon-Nikodym property. Zbl 0643.03043 Navara, Mirko; Pták, Pavel 2 1988 On the Radon-Nikodym property for sigma-classes. Zbl 0513.60004 Navara, Mirko; Pták, Pavel 2 1983 Quantum logics representable as kernels of measures. Zbl 0879.03017 Navara, M. 2 1996 Weaker forms of associativity in orthomodular lattices. Zbl 1319.06008 Gagola, Stephen M.; Gabriëls, Jeannine J. M.; Navara, Mirko 2 2015 Perfect Pavelka logic. Zbl 1380.03033 Turunen, Esko; Navara, Mirko 2 2016 Principles of inclusion and exclusion for interval-valued fuzzy sets and IF-sets. Zbl 1380.03054 Navara, Mirko; Navarová, Mária 2 2017 Computer proof of monotonicity of operations on orthomodular lattices. Zbl 1284.06014 Gabriëls, Jeannine J. M.; Navara, Mirko 2 2013 The integral on \(\sigma\)-classes is monotonic. Zbl 0581.60097 Navara, M. 2 1984 Characterization of \(T\)-measures. Zbl 1073.28011 Barbieri, G.; Navara, M.; Weber, H. 2 2003 Uncertainty and dependence in classical and quantum logic – the role of triangular norms. Zbl 0988.03096 Navara, Mirko; Pták, Pavel 2 1999 Algebraic approach to fuzzy quantum spaces. Zbl 0830.03032 Navara, Mirko 2 1994 Conditionally firing rules extend the possibilities of fuzzy controllers. Zbl 0988.93050 Moser, Bernhard; Navara, Mirko 2 1999 Generalised Kochen-Specker theorem in three dimensions. Zbl 07422285 Voráček, Václav; Navara, Mirko 2 2021 Orthomodular lattices with rich state spaces. Zbl 1012.06011 Mayet, René; Navara, Mirko; Rogalewicz, Vladimír 1 2000 Two-valued states on a concrete logic and the additivity problem. Zbl 0597.28004 Navara, Mirko 1 1984 On the permanence properties of interval homogeneous orthomodular lattices. Zbl 1077.06005 De Simone, Anna; Navara, Mirko 1 2004 On constructions of orthomodular posets. Zbl 0691.03047 Rogalewicz, Vladimír; Navara, Mirko 1 1988 Piron’s and Bell’s geometrical lemmas. Zbl 1081.81008 Navara, Mirko 1 2004 Mathematical questions related to nonexistence of hidden variables. Zbl 1182.81040 Navara, Mirko 1 2009 Orthoalgebras as pastings of Boolean algebras. Zbl 1387.81008 Navara, Mirko 1 2017 Extending states on finite concrete logics. Zbl 1118.81007 Svozil, Karl; De Simone, Anna; Navara, Mirko; Pták, Pavel 1 2005 The Vitali-Hahn-Saks theorem for the product of quantum logics. Zbl 1018.81004 De Simone, Anna; Navara, Mirko; Pták, Pavel 1 2002 Integration on generalized measure spaces. Zbl 0721.28010 Navara, Mirko 1 1989 States on soft fuzzy algebras – finite and countable additivity. Zbl 0794.03088 Navara, Mirko; Pták, Pavel 1 1992 Kernel logics. Zbl 0806.03042 Navara, Mirko 1 1993 On Frink ideals in orthomodular posets. Zbl 07362785 Navara, Mirko; Pták, Pavel 1 2021 Kleene-isomorphic \(\sigma\)-complete MV-algebras with product are isomorphic. Zbl 1161.06005 Cignoli, Roberto; Mundici, Daniele; Navara, Mirko 1 2006 Implicative and disjunctive orthomodular posets. Zbl 0742.06007 Godowski, Radosław; Navara, Mirko 1 1990 Quantum logics with given automorphism groups, centres and state spaces. Zbl 0739.03036 Navara, Mirko 1 1990 Formulas for generators of R-implications. Zbl 1423.03087 Navara, Mirko 1 2019 Different representations of fuzzy vectors. Zbl 1245.68217 Liang, Jiuzhen; Navara, Mirko; Vetterlein, Thomas 1 2009 Continuous t-norms and t-conorms satisfying the principle of inclusion and exclusion. Zbl 1277.03050 Kuková, Mária; Navara, Mirko 1 2013 Quantum structures without group-valued measures. Zbl 1523.81016 Navara, Mirko; Voráček, Václav 1 2021 Generalised Kochen-Specker theorem in three dimensions. Zbl 07422285 Voráček, Václav; Navara, Mirko 2 2021 On Frink ideals in orthomodular posets. Zbl 07362785 Navara, Mirko; Pták, Pavel 1 2021 Quantum structures without group-valued measures. Zbl 1523.81016 Navara, Mirko; Voráček, Václav 1 2021 Boolean subalgebras of orthoalgebras. Zbl 1442.06003 Harding, John; Heunen, Chris; Lindenhovius, Bert; Navara, Mirko 6 2019 Formulas for generators of R-implications. Zbl 1423.03087 Navara, Mirko 1 2019 Principles of inclusion and exclusion for interval-valued fuzzy sets and IF-sets. Zbl 1380.03054 Navara, Mirko; Navarová, Mária 2 2017 Orthoalgebras as pastings of Boolean algebras. Zbl 1387.81008 Navara, Mirko 1 2017 States on symmetric logics: extensions. Zbl 1374.03065 Bikchentaev, Airat; Navara, Mirko 6 2016 Perfect Pavelka logic. Zbl 1380.03033 Turunen, Esko; Navara, Mirko 2 2016 States on systems of sets that are closed under symmetric difference. Zbl 1332.28006 De Simone, Anna; Navara, Mirko; Pták, Pavel 9 2015 Convex combinations of fuzzy logical operations. Zbl 1361.03025 Navara, Mirko 6 2015 Quantum logics of idempotents of unital rings. Zbl 1317.81010 Bikchentaev, Airat; Navara, Mirko; Yakushev, Rinat 3 2015 Weaker forms of associativity in orthomodular lattices. Zbl 1319.06008 Gagola, Stephen M.; Gabriëls, Jeannine J. M.; Navara, Mirko 2 2015 Principles of inclusion and exclusion for fuzzy sets. Zbl 1314.03045 Kuková, Mária; Navara, Mirko 5 2013 Computer proof of monotonicity of operations on orthomodular lattices. Zbl 1284.06014 Gabriëls, Jeannine J. M.; Navara, Mirko 2 2013 Continuous t-norms and t-conorms satisfying the principle of inclusion and exclusion. Zbl 1277.03050 Kuková, Mária; Navara, Mirko 1 2013 Associativity of operations on orthomodular lattices. Zbl 1274.06035 Gabriëls, Jeannine J. M.; Navara, Mirko 5 2012 Subalgebras of orthomodular lattices. Zbl 1232.06016 Harding, John; Navara, Mirko 9 2011 Fuzzy logics with an additional involutive negation. Zbl 1189.03028 Cintula, Petr; Klement, Erich Peter; Mesiar, Radko; Navara, Mirko 18 2010 Explicit formulas for generators of triangular norms. Zbl 1224.03033 Navara, Mirko; Petrík, Milan; Sarkoci, Peter 7 2010 Existence of states on quantum structures. Zbl 1162.81323 Navara, Mirko 7 2009 Mathematical questions related to nonexistence of hidden variables. Zbl 1182.81040 Navara, Mirko 1 2009 Different representations of fuzzy vectors. Zbl 1245.68217 Liang, Jiuzhen; Navara, Mirko; Vetterlein, Thomas 1 2009 Small quantum structures with small state spaces. Zbl 1147.81004 Navara, Mirko 6 2008 Constructions of quantum structures. Zbl 1136.81004 Navara, Mirko 11 2007 Extending states on finite concrete logics. Zbl 1188.81015 De Simone, Anna; Navara, Mirko; Pták, Pavel 6 2007 Residuated logics based on strict triangular norms with an involutive negation. Zbl 1165.03326 Cintula, Petr; Klement, Erich Peter; Mesiar, Radko; Navara, Mirko 13 2006 Defuzzification using Steiner points. Zbl 1104.03057 Vetterlein, Thomas; Navara, Mirko 4 2006 Kleene-isomorphic \(\sigma\)-complete MV-algebras with product are isomorphic. Zbl 1161.06005 Cignoli, Roberto; Mundici, Daniele; Navara, Mirko 1 2006 Triangular norms and measures of fuzzy sets. Zbl 1073.28015 Navara, Mirko 19 2005 The \(\sigma\)-complete MV-algebras which have enough states. Zbl 1081.06011 Di Nola, Antonio; Navara, Mirko 11 2005 Convexity conditions on t-norms and their additive generators. Zbl 1074.03023 Ghiselli Ricci, Roberto; Navara, Mirko 9 2005 Decidability in orthomodular lattices. Zbl 1110.81015 Hyčko, Marek; Navara, Mirko 4 2005 Sufficient triangular norms in many-valued logics with standard negation. Zbl 1085.03018 Butnariu, Dan; Klement, Erich Peter; Mesiar, Radko; Navara, Mirko 4 2005 Extending states on finite concrete logics. Zbl 1118.81007 Svozil, Karl; De Simone, Anna; Navara, Mirko; Pták, Pavel 1 2005 Compactness of fuzzy logics. Zbl 1040.03019 Cintula, Petr; Navara, Mirko 8 2004 For \(n\geqslant 5\) there is no nontrivial \(Z_{2}\)-measure on \(L(R^{n})\). Zbl 1070.81010 Navara, Mirko; Pták, Pavel 4 2004 On the permanence properties of interval homogeneous orthomodular lattices. Zbl 1077.06005 De Simone, Anna; Navara, Mirko 1 2004 Piron’s and Bell’s geometrical lemmas. Zbl 1081.81008 Navara, Mirko 1 2004 Selection of optimal stopping time for nonlinear diffusion filtering. Zbl 1477.94018 Mrázek, Pavel; Navara, Mirko 20 2003 A Cantor-Bernstein theorem for \(\sigma \)-complete MV-algebras. Zbl 1024.06003 De Simone, A.; Mundici, D.; Navara, M. 12 2003 Two approaches to fuzzy propositional logics. Zbl 1043.03017 Hekrdla, Josef; Klement, Erich Peter; Navara, Mirko 6 2003 Characterization of \(T\)-measures. Zbl 1073.28011 Barbieri, G.; Navara, M.; Weber, H. 2 2003 Program for generating fuzzy logical operations and its use in mathematical proofs. Zbl 1265.28041 Bartušek, Tomáš; Navara, Mirko 8 2002 Validation sets in fuzzy logics. Zbl 1265.03019 Horčík, Rostislav; Navara, Mirko 4 2002 On the Yosida-Hewitt decomposition and Rüttimann decomposition of states. Zbl 1011.06012 De Simone, Anna; Navara, Mirko 2 2002 The Vitali-Hahn-Saks theorem for the product of quantum logics. Zbl 1018.81004 De Simone, Anna; Navara, Mirko; Pták, Pavel 1 2002 Yosida-Hewitt and Lebesgue decompositions of states on orthomodular posets. Zbl 0970.28010 De Simone, Anna; Navara, Mirko 7 2001 On interval homogeneous orthomodular lattices. Zbl 1052.06007 De Simone, A.; Navara, M.; Pták, P. 6 2001 How to make constrained fuzzy arithmetic efficient. Zbl 0995.03041 Navara, M.; Žabokrtský, Z. 4 2001 Residuated fuzzy logics with an involutive negation. Zbl 0965.03035 Esteva, Francesc; Godo, Lluís; Hájek, Petr; Navara, Mirko 76 2000 State spaces of orthomodular structures. Zbl 0974.03056 Navara, Mirko 8 2000 Embeddings into orthomodular lattices with given centers, state spaces and automorphism groups. Zbl 0974.06003 Harding, John; Navara, Mirko 3 2000 Orthomodular lattices with rich state spaces. Zbl 1012.06011 Mayet, René; Navara, Mirko; Rogalewicz, Vladimír 1 2000 A survey on different triangular norm-based fuzzy logics. Zbl 0945.03032 Klement, Erich Peter; Navara, Mirko 49 1999 Diagonals of continuous triangular norms. Zbl 0972.03052 Mesiar, Radko; Navara, Mirko 17 1999 Characterization of measures based on strict triangular norms. Zbl 0946.28010 Navara, Mirko 14 1999 Propositional fuzzy logics based on Frank t-norms: A comparison. Zbl 0947.03035 Klement, Erich Peter; Navara, Mirko 4 1999 Two descriptions of state spaces of orthomodular structures. Zbl 0963.03086 Navara, Mirko 4 1999 Uncertainty and dependence in classical and quantum logic – the role of triangular norms. Zbl 0988.03096 Navara, Mirko; Pták, Pavel 2 1999 Conditionally firing rules extend the possibilities of fuzzy controllers. Zbl 0988.93050 Moser, Bernhard; Navara, Mirko 2 1999 On generating finite orthomodular sublattices. Zbl 0915.06004 Navara, Mirko 9 1997 A characterization of tribes with respect to the Łukasiewicz \(t\)-norm. Zbl 0902.28015 Klement, Erich Peter; Navara, Mirko 6 1997 Boolean representations of fuzzy quantum spaces. Zbl 0915.03049 Navara, Mirko 5 1997 \(\mathbb{T}_ S\)-tribes and \(\mathbb{T}_ S\)-measures. Zbl 0852.28009 Mesiar, Radko; Navara, Mirko 11 1996 Quantum logics representable as kernels of measures. Zbl 0879.03017 Navara, M. 2 1996 States on orthoalgebras. Zbl 0841.03034 Hamhalter, Jan; Navara, Mirko; Pták, Pavel 10 1995 Classes of logics representable as kernels of measures. Zbl 0886.03041 Mayet, René; Navara, Mirko 6 1995 An orthomodular lattice admitting no group-valued measure. Zbl 0809.06008 Navara, Mirko 28 1994 Algebraic approach to fuzzy quantum spaces. Zbl 0830.03032 Navara, Mirko 2 1994 A characterization of triangular norm based tribes. Zbl 0799.28013 Navara, Mirko 7 1993 \(P\)-measures on soft fuzzy \(\sigma\)-algebras. Zbl 0816.28011 Navara, Mirko; Pták, Pavel 3 1993 Kernel logics. Zbl 0806.03042 Navara, Mirko 1 1993 Descriptions of state spaces of orthomodular lattices (the hypergraph approach). Zbl 0772.06008 Navara, Mirko 10 1992 Independence of automorphism group, center, and state space of quantum logics. Zbl 0771.03021 Navara, Mirko 4 1992 States on soft fuzzy algebras – finite and countable additivity. Zbl 0794.03088 Navara, Mirko; Pták, Pavel 1 1992 The pasting constructions for orthomodular posets. Zbl 0767.06009 Navara, Mirko; Rogalewicz, Vladimír 27 1991 A characterization of \(\sigma\)-state spaces of orthomodular lattices. Zbl 0742.03027 Navara, M.; Rüttimann, G. T. 5 1991 Automorphisms of concrete logics. Zbl 0742.06008 Navara, Mirko; Tkadlec, Josef 5 1991 Orthosymmetry and modularity in ortholattices. Zbl 0908.06005 Hamhalter, Jan; Navara, Mirko 3 1991 Implicative and disjunctive orthomodular posets. Zbl 0742.06007 Godowski, Radosław; Navara, Mirko 1 1990 Quantum logics with given automorphism groups, centres and state spaces. Zbl 0739.03036 Navara, Mirko 1 1990 Almost Boolean orthomodular posets. Zbl 0691.03045 Navara, Mirko; Pták, Pavel 29 1989 When is the integration on quantum probability spaces additive? Zbl 0734.28015 Navara, Mirko 5 1989 Integration on generalized measure spaces. Zbl 0721.28010 Navara, Mirko 1 1989 Enlargements of quantum logics. Zbl 0617.06006 Navara, Mirko; Pták, Pavel; Rogalewicz, Vladimir 15 1988 Construction of the orthomodular lattices with given state spaces. Zbl 0665.03045 Navara, Mirko; Rogalewicz, Vladimír 6 1988 State isomorphism of orthomodular posets and hypergraphs. Zbl 0691.03046 Navara, Mirko; Rogalewicz, Vladimír 3 1988 Quantum logics with the Radon-Nikodym property. Zbl 0643.03043 Navara, Mirko; Pták, Pavel 2 1988 On constructions of orthomodular posets. Zbl 0691.03047 Rogalewicz, Vladimír; Navara, Mirko 1 1988 State space properties of finite logics. Zbl 0647.03057 Navara, Mirko 8 1987 Quantum logics with lattice state spaces. Zbl 0624.06009 Binder, Jiří; Navara, Mirko 2 1987 Quantum logics with Jauch-Piron states. Zbl 0585.03038 Bunce, L. J.; Navara, M.; Pták, P.; Wright, J. D. Maitland 24 1985 The integral on \(\sigma\)-classes is monotonic. Zbl 0581.60097 Navara, M. 2 1984 Two-valued states on a concrete logic and the additivity problem. Zbl 0597.28004 Navara, Mirko 1 1984 Two-valued measures on sigma-classes. Zbl 0526.28001 Navara, Mirko; Pták, Pavel 6 1983 On the Radon-Nikodym property for sigma-classes. Zbl 0513.60004 Navara, Mirko; Pták, Pavel 2 1983 all cited Publications top 5 cited Publications all top 5 Cited by 407 Authors 52 Navara, Mirko 28 Pták, Pavel 16 Godo, Lluís 13 Mesiar, Radko 12 Bedregal, Benjamín René Callejas 12 Esteva, Francesc 11 Klement, Erich Peter 10 Tkadlec, Josef 9 Cintula, Petr 9 Svozil, Karl 8 De Simone, Anna 8 Vetterlein, Thomas 7 Freytes, Hector 7 Hamhalter, Jan 7 Pulmannová, Sylvia 7 Wang, Sanmin 6 Dvurečenskij, Anatolij 6 Flaminio, Tommaso 6 Hájek, Petr 6 Matoušek, Milan 6 Montagna, Franco 6 Pap, Endre 6 Pavičić, Mladen 6 Reiser, Renata Hax Sander 6 Rump, Wolfgang 5 Bikchentaev, Aĭrat Midkhatovich 5 Dimuro, Graçaliz Pereira 5 Frič, Roman 5 Gottwald, Siegfried 5 Jenei, Sándor 5 Kroupa, Tomáš 5 Paseka, Jan 5 Petrík, Milan 5 Rogalewicz, Vladimír 4 Burešová, Dominika 4 Cornejo, Maria Eugenia 4 Dorninger, Dietmar W. 4 Foulis, David James 4 Gabriëls, Jeannine J. M. 4 Haniková, Zuzana 4 Harding, John 4 Hroch, Michal 4 Jakubík, Ján 4 Länger, Helmut M. 4 Marchioni, Enrico 4 Medina, Jesús 4 Mesiarová-Zemánková, Andrea 4 Nánásiová, Olga 4 Papčo, Martin 4 Pei, Daowu 4 Santiago, Regivan H. Nunes 4 Voràček, Václav 4 Wang, Baoshu 4 Wang, Guojun 3 Aguzzoli, Stefano 3 Ciabattoni, Agata 3 De Baets, Bernard 3 de Lucia, Paolo 3 de Ronde, Christian 3 Domenech, Graciela 3 Durante, Fabrizio 3 Gispert, Joan 3 Heunen, Chris 3 Horčík, Rostislav 3 Jenčová, Anna 3 Li, Yongming 3 Lindeberg, Tony 3 Lindenhovius, Bert 3 Megill, Norman D. 3 Noguera, Carles 3 Pu, Yifei 3 Pykacz, Jarosław 3 Ramírez-Poussa, Eloisa 3 Riečan, Beloslav 3 Siarry, Patrick 3 Valásková, Ľubica 3 Xie, Yongjian 3 Yang, Aili 3 Zhang, Ni 3 Zhou, Jiliu 2 Bejines, Carlos 2 Bennett, Mary Katherine 2 Bianchi, Matteo 2 Borumand Saeid, Arsham 2 Botur, Michal 2 Bustince Sola, Humberto 2 Cao, Meng 2 Chovanec, Ferdinand 2 Cignoli, Roberto 2 Csiszár, Orsolya 2 da Costa, Claudilene Gomes 2 De Meyer, Hans E. 2 Deschrijver, Glad 2 Di Nola, Antonio 2 Didas, Stephan 2 Drewniak, Józef 2 Fernández-Sánchez, Juan 2 Gagola, Stephen M. III 2 Gerla, Brunella 2 Ghiselli Ricci, Roberto ...and 307 more Authors all top 5 Cited in 78 Serials 101 Fuzzy Sets and Systems 63 International Journal of Theoretical Physics 19 Information Sciences 17 International Journal of Approximate Reasoning 17 Soft Computing 15 Mathematica Slovaca 10 Reports on Mathematical Physics 9 Czechoslovak Mathematical Journal 9 Order 8 Kybernetika 7 Algebra Universalis 7 Studia Logica 5 Foundations of Physics 4 Archive for Mathematical Logic 4 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 4 Iranian Journal of Fuzzy Systems 3 Computers & Mathematics with Applications 3 Journal of Mathematical Analysis and Applications 3 Journal of Mathematical Physics 3 Journal of Pure and Applied Algebra 3 Mathematische Nachrichten 3 Theoretical Computer Science 3 Annals of Pure and Applied Logic 3 Pattern Recognition 3 Journal of Mathematical Imaging and Vision 3 International Journal of Computer Vision 2 Artificial Intelligence 2 International Journal of General Systems 2 Mathematical Structures in Computer Science 2 Annales de l’Institut Henri Poincaré. Physique Théorique 2 Journal of Applied Non-Classical Logics 2 Positivity 2 Lobachevskii Journal of Mathematics 2 Annales Henri Poincaré 2 Journal of Intelligent and Fuzzy Systems 2 Journal of Algebra and its Applications 2 Advances in Difference Equations 2 New Mathematics and Natural Computation 1 Houston Journal of Mathematics 1 Letters in Mathematical Physics 1 Mathematical Methods in the Applied Sciences 1 Chaos, Solitons and Fractals 1 Algebra and Logic 1 Aplikace Matematiky 1 Computing 1 Journal of Algebra 1 The Journal of Symbolic Logic 1 Mathematics and Computers in Simulation 1 Mathematische Zeitschrift 1 Proceedings of the American Mathematical Society 1 Quaestiones Mathematicae 1 Ricerche di Matematica 1 Advances in Applied Mathematics 1 Cybernetics and Systems 1 Circuits, Systems, and Signal Processing 1 Journal of Scientific Computing 1 Forum Mathematicum 1 Machine Vision and Applications 1 Journal of Logic, Language and Information 1 Acta Universitatis Matthiae Belii. Series Mathematics 1 Mathematical Logic Quarterly (MLQ) 1 The Bulletin of Symbolic Logic 1 Abstract and Applied Analysis 1 Honam Mathematical Journal 1 Algebra and Discrete Mathematics 1 Fuzzy Optimization and Decision Making 1 Mediterranean Journal of Mathematics 1 Science in China. Series F 1 Asian-European Journal of Mathematics 1 The Review of Symbolic Logic 1 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics 1 Advances in Mathematical Physics 1 Science China. Information Sciences 1 Quanta 1 Mathematics 1 Dependence Modeling 1 Quantum Studies: Mathematics and Foundations 1 Transactions of A. Razmadze Mathematical Institute all top 5 Cited in 31 Fields 285 Mathematical logic and foundations (03-XX) 157 Order, lattices, ordered algebraic structures (06-XX) 121 Quantum theory (81-XX) 47 Computer science (68-XX) 34 Measure and integration (28-XX) 26 Functional analysis (46-XX) 24 Information and communication theory, circuits (94-XX) 19 Probability theory and stochastic processes (60-XX) 13 Statistics (62-XX) 12 General algebraic systems (08-XX) 11 Category theory; homological algebra (18-XX) 9 Real functions (26-XX) 8 Group theory and generalizations (20-XX) 8 General topology (54-XX) 6 Numerical analysis (65-XX) 5 Combinatorics (05-XX) 5 Partial differential equations (35-XX) 5 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 5 Systems theory; control (93-XX) 4 Operator theory (47-XX) 3 Nonassociative rings and algebras (17-XX) 3 Operations research, mathematical programming (90-XX) 2 General and overarching topics; collections (00-XX) 2 History and biography (01-XX) 2 Number theory (11-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Difference and functional equations (39-XX) 1 Associative rings and algebras (16-XX) 1 Differential geometry (53-XX) 1 Biology and other natural sciences (92-XX) Citations by Year