Edit Profile (opens in new tab) Navara, Mirko Compute Distance To: Compute Author ID: navara.mirko Published as: Navara, Mirko; Navara, M. Documents Indexed: 113 Publications since 1983 Reviewing Activity: 183 Reviews Co-Authors: 50 Co-Authors with 80 Joint Publications 848 Co-Co-Authors all top 5 Co-Authors 33 single-authored 22 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 Vetterlein, Thomas 2 Voràček, Václav 2 Žabokrtský, Zdeněk 1 Amato, Paolo 1 Barbieri, Giuseppina Gerarda 1 Bartušek, Tomáš 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 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 Petrík, Milan 1 Rüttimann, Gottfried Traugott 1 Sarkoci, Peter 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 15 International Journal of Theoretical Physics 14 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 all top 5 Fields 81 Mathematical logic and foundations (03-XX) 51 Order, lattices, ordered algebraic structures (06-XX) 49 Quantum theory (81-XX) 28 Measure and integration (28-XX) 11 Functional analysis (46-XX) 5 Computer science (68-XX) 4 Combinatorics (05-XX) 4 Probability theory and stochastic processes (60-XX) 2 Nonassociative rings and algebras (17-XX) 2 Group theory and generalizations (20-XX) 2 Systems theory; control (93-XX) 1 General algebraic systems (08-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Real functions (26-XX) 1 Difference and functional equations (39-XX) 1 General topology (54-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 94 Publications have been cited 631 times in 367 Documents Cited by ▼ Year ▼ Residuated fuzzy logics with an involutive negation. Zbl 0965.03035Esteva, Francesc; Godo, Lluís; Hájek, Petr; Navara, Mirko 69 2000 A survey on different triangular norm-based fuzzy logics. Zbl 0945.03032Klement, Erich Peter; Navara, Mirko 46 1999 Almost Boolean orthomodular posets. Zbl 0691.03045Navara, Mirko; Pták, Pavel 27 1989 An orthomodular lattice admitting no group-valued measure. Zbl 0809.06008Navara, Mirko 25 1994 The pasting constructions for orthomodular posets. Zbl 0767.06009Navara, Mirko; Rogalewicz, Valdimír 25 1991 Quantum logics with Jauch-Piron states. Zbl 0585.03038Bunce, L. J.; Navara, M.; Pták, P.; Wright, J. D. Maitland 23 1985 Fuzzy logics with an additional involutive negation. Zbl 1189.03028Cintula, Petr; Klement, Erich Peter; Mesiar, Radko; Navara, Mirko 17 2010 Triangular norms and measures of fuzzy sets. Zbl 1073.28015Navara, Mirko 17 2005 Diagonals of continuous triangular norms. Zbl 0972.03052Mesiar, Radko; Navara, Mirko 14 1999 Characterization of measures based on strict triangular norms. Zbl 0946.28010Navara, Mirko 14 1999 Enlargements of quantum logics. Zbl 0617.06006Navara, Mirko; Pták, Pavel; Rogalewicz, Vladimir 14 1988 A Cantor-Bernstein theorem for \(\sigma \)-complete MV-algebras. Zbl 1024.06003De Simone, A.; Mundici, D.; Navara, M. 12 2003 Residuated logics based on strict triangular norms with an involutive negation. Zbl 1165.03326Cintula, Petr; Klement, Erich Peter; Mesiar, Radko; Navara, Mirko 12 2006 \(\mathbb{T}_ S\)-tribes and \(\mathbb{T}_ S\)-measures. Zbl 0852.28009Mesiar, Radko; Navara, Mirko 11 1996 The \(\sigma\)-complete MV-algebras which have enough states. Zbl 1081.06011Di Nola, Antonio; Navara, Mirko 11 2005 On generating finite orthomodular sublattices. Zbl 0915.06004Navara, Mirko 10 1997 Constructions of quantum structures. Zbl 1136.81004Navara, Mirko 10 2007 States on orthoalgebras. Zbl 0841.03034Hamhalter, Jan; Navara, Mirko; Pták, Pavel 9 1995 Descriptions of state spaces of orthomodular lattices (the hypergraph approach). Zbl 0772.06008Navara, Mirko 9 1992 State space properties of finite logics. Zbl 0647.03057Navara, Mirko 8 1987 State spaces of orthomodular structures. Zbl 0974.03056Navara, Mirko 8 2000 A characterization of triangular norm based tribes. Zbl 0799.28013Navara, Mirko 7 1993 Selection of optimal stopping time for nonlinear diffusion filtering. Zbl 1477.94018Mrázek, Pavel; Navara, Mirko 7 2003 Yosida-Hewitt and Lebesgue decompositions of states on orthomodular posets. Zbl 0970.28010De Simone, Anna; Navara, Mirko 7 2001 Convexity conditions on t-norms and their additive generators. Zbl 1074.03023Ghiselli Ricci, Roberto; Navara, Mirko 7 2005 Existence of states on quantum structures. Zbl 1162.81323Navara, Mirko 7 2009 Compactness of fuzzy logics. Zbl 1040.03019Cintula, Petr; Navara, Mirko 7 2004 On interval homogeneous orthomodular lattices. Zbl 1052.06007De Simone, A.; Navara, M.; Pták, P. 6 2001 Construction of the orthomodular lattices with given state spaces. Zbl 0665.03045Navara, Mirko; Rogalewicz, Vladimír 6 1988 Subalgebras of orthomodular lattices. Zbl 1232.06016Harding, John; Navara, Mirko 6 2011 Small quantum structures with small state spaces. Zbl 1147.81004Navara, Mirko 6 2008 A characterization of tribes with respect to the Łukasiewicz \(t\)-norm. Zbl 0902.28015Klement, Erich Peter; Navara, Mirko 6 1997 Two-valued measures on sigma-classes. Zbl 0526.28001Navara, Mirko; Pták, Pavel 6 1983 Two approaches to fuzzy propositional logics. Zbl 1043.03017Hekrdla, Josef; Klement, Erich Peter; Navara, Mirko 6 2003 States on systems of sets that are closed under symmetric difference. Zbl 1332.28006De Simone, Anna; Navara, Mirko; Pták, Pavel 6 2015 A characterization of \(\sigma\)-state spaces of orthomodular lattices. Zbl 0742.03027Navara, M.; Rüttimann, G. T. 5 1991 Program for generating fuzzy logical operations and its use in mathematical proofs. Zbl 1265.28041Bartušek, Tomáš; Navara, Mirko 5 2002 Classes of logics representable as kernels of measures. Zbl 0886.03041Mayet, René; Navara, Mirko 5 1995 Boolean representations of fuzzy quantum spaces. Zbl 0915.03049Navara, Mirko 5 1997 Extending states on finite concrete logics. Zbl 1188.81015De Simone, Anna; Navara, Mirko; Pták, Pavel 5 2007 When is the integration on quantum probability spaces additive? Zbl 0734.28015Navara, Mirko 5 1989 Automorphisms of concrete logics. Zbl 0742.06008Navara, Mirko; Tkadlec, Josef 4 1991 Convex combinations of fuzzy logical operations. Zbl 1361.03025Navara, Mirko 4 2015 Independence of automorphism group, center, and state space of quantum logics. Zbl 0771.03021Navara, Mirko 4 1992 Propositional fuzzy logics based on Frank t-norms: A comparison. Zbl 0947.03035Klement, Erich Peter; Navara, Mirko 4 1999 How to make constrained fuzzy arithmetic efficient. Zbl 0995.03041Navara, M.; Žabokrtský, Z. 4 2001 Two descriptions of state spaces of orthomodular structures. Zbl 0963.03086Navara, Mirko 4 1999 For \(n\geqslant 5\) there is no nontrivial \(Z_{2}\)-measure on \(L(R^{n})\). Zbl 1070.81010Navara, Mirko; Pták, Pavel 4 2004 Explicit formulas for generators of triangular norms. Zbl 1224.03033Navara, Mirko; Petrík, Milan; Sarkoci, Peter 4 2010 Validation sets in fuzzy logics. Zbl 1265.03019Horčík, Rostislav; Navara, Mirko 4 2002 Associativity of operations on orthomodular lattices. Zbl 1274.06035Gabriëls, Jeannine J. M.; Navara, Mirko 4 2012 Decidability in orthomodular lattices. Zbl 1110.81015Hyčko, Marek; Navara, Mirko 4 2005 States on symmetric logics: extensions. Zbl 1374.03065Bikchentaev, Airat; Navara, Mirko 4 2016 Defuzzification using Steiner points. Zbl 1104.03057Vetterlein, Thomas; Navara, Mirko 4 2006 Sufficient triangular norms in many-valued logics with standard negation. Zbl 1085.03018Butnariu, Dan; Klement, Erich Peter; Mesiar, Radko; Navara, Mirko 4 2005 Orthosymmetry and modularity in ortholattices. Zbl 0908.06005Hamhalter, Jan; Navara, Mirko 3 1991 Quantum logics of idempotents of unital rings. Zbl 1317.81010Bikchentaev, Airat; Navara, Mirko; Yakushev, Rinat 3 2015 \(P\)-measures on soft fuzzy \(\sigma\)-algebras. Zbl 0816.28011Navara, Mirko; Pták, Pavel 3 1993 State isomorphism of orthomodular posets and hypergraphs. Zbl 0691.03046Navara, Mirko; Rogalewicz, Vladimír 3 1988 Algebraic approach to fuzzy quantum spaces. Zbl 0830.03032Navara, Mirko 2 1994 Principles of inclusion and exclusion for fuzzy sets. Zbl 1314.03045Kuková, Mária; Navara, Mirko 2 2013 Weaker forms of associativity in orthomodular lattices. Zbl 1319.06008Gagola, Stephen M.; Gabriëls, Jeannine J. M.; Navara, Mirko 2 2015 Conditionally firing rules extend the possibilities of fuzzy controllers. Zbl 0988.93050Moser, Bernhard; Navara, Mirko 2 1999 Uncertainty and dependence in classical and quantum logic – the role of triangular norms. Zbl 0988.03096Navara, Mirko; Pták, Pavel 2 1999 Embeddings into orthomodular lattices with given centers, state spaces and automorphism groups. Zbl 0974.06003Harding, John; Navara, Mirko 2 2000 On the Yosida-Hewitt decomposition and Rüttimann decomposition of states. Zbl 1011.06012De Simone, Anna; Navara, Mirko 2 2002 Characterization of \(T\)-measures. Zbl 1073.28011Barbieri, G.; Navara, M.; Weber, H. 2 2003 Quantum logics with the Radon-Nikodym property. Zbl 0643.03043Navara, Mirko; Pták, Pavel 2 1988 The integral on \(\sigma\)-classes is monotonic. Zbl 0581.60097Navara, M. 2 1984 Quantum logics representable as kernels of measures. Zbl 0879.03017Navara, M. 2 1996 Quantum logics with lattice state spaces. Zbl 0624.06009Binder, Jiří; Navara, Mirko 2 1987 On the Radon-Nikodym property for sigma-classes. Zbl 0513.60004Navara, Mirko; Pták, Pavel 2 1983 Boolean subalgebras of orthoalgebras. Zbl 1442.06003Harding, John; Heunen, Chris; Lindenhovius, Bert; Navara, Mirko 2 2019 Computer proof of monotonicity of operations on orthomodular lattices. Zbl 1284.06014Gabriëls, Jeannine J. M.; Navara, Mirko 2 2013 Perfect Pavelka logic. Zbl 1380.03033Turunen, Esko; Navara, Mirko 2 2016 Principles of inclusion and exclusion for interval-valued fuzzy sets and IF-sets. Zbl 1380.03054Navara, Mirko; Navarová, Mária 2 2017 Generalised Kochen-Specker theorem in three dimensions. Zbl 07422285Voráček, Václav; Navara, Mirko 1 2021 Implicative and disjunctive orthomodular posets. Zbl 0742.06007Godowski, Radosław; Navara, Mirko 1 1990 Quantum logics with given automorphism groups, centres and state spaces. Zbl 0739.03036Navara, Mirko 1 1990 States on soft fuzzy algebras – finite and countable additivity. Zbl 0794.03088Navara, Mirko; Pták, Pavel 1 1992 Kernel logics. Zbl 0806.03042Navara, Mirko 1 1993 Continuous t-norms and t-conorms satisfying the principle of inclusion and exclusion. Zbl 1277.03050Kuková, Mária; Navara, Mirko 1 2013 The Vitali-Hahn-Saks theorem for the product of quantum logics. Zbl 1018.81004De Simone, Anna; Navara, Mirko; Pták, Pavel 1 2002 Orthomodular lattices with rich state spaces. Zbl 1012.06011Mayet, René; Navara, Mirko; Rogalewicz, Vladimír 1 2000 Piron’s and Bell’s geometrical lemmas. Zbl 1081.81008Navara, Mirko 1 2004 On constructions of orthomodular posets. Zbl 0691.03047Rogalewicz, Vladimír; Navara, Mirko 1 1988 On the permanence properties of interval homogeneous orthomodular lattices. Zbl 1077.06005De Simone, Anna; Navara, Mirko 1 2004 Different representations of fuzzy vectors. Zbl 1245.68217Liang, Jiuzhen; Navara, Mirko; Vetterlein, Thomas 1 2009 Mathematical questions related to nonexistence of hidden variables. Zbl 1182.81040Navara, Mirko 1 2009 Extending states on finite concrete logics. Zbl 1118.81007Svozil, Karl; De Simone, Anna; Navara, Mirko; Pták, Pavel 1 2005 Two-valued states on a concrete logic and the additivity problem. Zbl 0597.28004Navara, Mirko 1 1984 Kleene-isomorphic \(\sigma\)-complete MV-algebras with product are isomorphic. Zbl 1161.06005Cignoli, Roberto; Mundici, Daniele; Navara, Mirko 1 2006 Integration on generalized measure spaces. Zbl 0721.28010Navara, Mirko 1 1989 Orthoalgebras as pastings of Boolean algebras. Zbl 1387.81008Navara, Mirko 1 2017 Generalised Kochen-Specker theorem in three dimensions. Zbl 07422285Voráček, Václav; Navara, Mirko 1 2021 Boolean subalgebras of orthoalgebras. Zbl 1442.06003Harding, John; Heunen, Chris; Lindenhovius, Bert; Navara, Mirko 2 2019 Principles of inclusion and exclusion for interval-valued fuzzy sets and IF-sets. Zbl 1380.03054Navara, Mirko; Navarová, Mária 2 2017 Orthoalgebras as pastings of Boolean algebras. Zbl 1387.81008Navara, Mirko 1 2017 States on symmetric logics: extensions. Zbl 1374.03065Bikchentaev, Airat; Navara, Mirko 4 2016 Perfect Pavelka logic. Zbl 1380.03033Turunen, Esko; Navara, Mirko 2 2016 States on systems of sets that are closed under symmetric difference. Zbl 1332.28006De Simone, Anna; Navara, Mirko; Pták, Pavel 6 2015 Convex combinations of fuzzy logical operations. Zbl 1361.03025Navara, Mirko 4 2015 Quantum logics of idempotents of unital rings. Zbl 1317.81010Bikchentaev, Airat; Navara, Mirko; Yakushev, Rinat 3 2015 Weaker forms of associativity in orthomodular lattices. Zbl 1319.06008Gagola, Stephen M.; Gabriëls, Jeannine J. M.; Navara, Mirko 2 2015 Principles of inclusion and exclusion for fuzzy sets. Zbl 1314.03045Kuková, Mária; Navara, Mirko 2 2013 Computer proof of monotonicity of operations on orthomodular lattices. Zbl 1284.06014Gabriëls, Jeannine J. M.; Navara, Mirko 2 2013 Continuous t-norms and t-conorms satisfying the principle of inclusion and exclusion. Zbl 1277.03050Kuková, Mária; Navara, Mirko 1 2013 Associativity of operations on orthomodular lattices. Zbl 1274.06035Gabriëls, Jeannine J. M.; Navara, Mirko 4 2012 Subalgebras of orthomodular lattices. Zbl 1232.06016Harding, John; Navara, Mirko 6 2011 Fuzzy logics with an additional involutive negation. Zbl 1189.03028Cintula, Petr; Klement, Erich Peter; Mesiar, Radko; Navara, Mirko 17 2010 Explicit formulas for generators of triangular norms. Zbl 1224.03033Navara, Mirko; Petrík, Milan; Sarkoci, Peter 4 2010 Existence of states on quantum structures. Zbl 1162.81323Navara, Mirko 7 2009 Different representations of fuzzy vectors. Zbl 1245.68217Liang, Jiuzhen; Navara, Mirko; Vetterlein, Thomas 1 2009 Mathematical questions related to nonexistence of hidden variables. Zbl 1182.81040Navara, Mirko 1 2009 Small quantum structures with small state spaces. Zbl 1147.81004Navara, Mirko 6 2008 Constructions of quantum structures. Zbl 1136.81004Navara, Mirko 10 2007 Extending states on finite concrete logics. Zbl 1188.81015De Simone, Anna; Navara, Mirko; Pták, Pavel 5 2007 Residuated logics based on strict triangular norms with an involutive negation. Zbl 1165.03326Cintula, Petr; Klement, Erich Peter; Mesiar, Radko; Navara, Mirko 12 2006 Defuzzification using Steiner points. Zbl 1104.03057Vetterlein, Thomas; Navara, Mirko 4 2006 Kleene-isomorphic \(\sigma\)-complete MV-algebras with product are isomorphic. Zbl 1161.06005Cignoli, Roberto; Mundici, Daniele; Navara, Mirko 1 2006 Triangular norms and measures of fuzzy sets. Zbl 1073.28015Navara, Mirko 17 2005 The \(\sigma\)-complete MV-algebras which have enough states. Zbl 1081.06011Di Nola, Antonio; Navara, Mirko 11 2005 Convexity conditions on t-norms and their additive generators. Zbl 1074.03023Ghiselli Ricci, Roberto; Navara, Mirko 7 2005 Decidability in orthomodular lattices. Zbl 1110.81015Hyčko, Marek; Navara, Mirko 4 2005 Sufficient triangular norms in many-valued logics with standard negation. Zbl 1085.03018Butnariu, Dan; Klement, Erich Peter; Mesiar, Radko; Navara, Mirko 4 2005 Extending states on finite concrete logics. Zbl 1118.81007Svozil, Karl; De Simone, Anna; Navara, Mirko; Pták, Pavel 1 2005 Compactness of fuzzy logics. Zbl 1040.03019Cintula, Petr; Navara, Mirko 7 2004 For \(n\geqslant 5\) there is no nontrivial \(Z_{2}\)-measure on \(L(R^{n})\). Zbl 1070.81010Navara, Mirko; Pták, Pavel 4 2004 Piron’s and Bell’s geometrical lemmas. Zbl 1081.81008Navara, Mirko 1 2004 On the permanence properties of interval homogeneous orthomodular lattices. Zbl 1077.06005De Simone, Anna; Navara, Mirko 1 2004 A Cantor-Bernstein theorem for \(\sigma \)-complete MV-algebras. Zbl 1024.06003De Simone, A.; Mundici, D.; Navara, M. 12 2003 Selection of optimal stopping time for nonlinear diffusion filtering. Zbl 1477.94018Mrázek, Pavel; Navara, Mirko 7 2003 Two approaches to fuzzy propositional logics. Zbl 1043.03017Hekrdla, Josef; Klement, Erich Peter; Navara, Mirko 6 2003 Characterization of \(T\)-measures. Zbl 1073.28011Barbieri, G.; Navara, M.; Weber, H. 2 2003 Program for generating fuzzy logical operations and its use in mathematical proofs. Zbl 1265.28041Bartušek, Tomáš; Navara, Mirko 5 2002 Validation sets in fuzzy logics. Zbl 1265.03019Horčík, Rostislav; Navara, Mirko 4 2002 On the Yosida-Hewitt decomposition and Rüttimann decomposition of states. Zbl 1011.06012De Simone, Anna; Navara, Mirko 2 2002 The Vitali-Hahn-Saks theorem for the product of quantum logics. Zbl 1018.81004De Simone, Anna; Navara, Mirko; Pták, Pavel 1 2002 Yosida-Hewitt and Lebesgue decompositions of states on orthomodular posets. Zbl 0970.28010De Simone, Anna; Navara, Mirko 7 2001 On interval homogeneous orthomodular lattices. Zbl 1052.06007De Simone, A.; Navara, M.; Pták, P. 6 2001 How to make constrained fuzzy arithmetic efficient. Zbl 0995.03041Navara, M.; Žabokrtský, Z. 4 2001 Residuated fuzzy logics with an involutive negation. Zbl 0965.03035Esteva, Francesc; Godo, Lluís; Hájek, Petr; Navara, Mirko 69 2000 State spaces of orthomodular structures. Zbl 0974.03056Navara, Mirko 8 2000 Embeddings into orthomodular lattices with given centers, state spaces and automorphism groups. Zbl 0974.06003Harding, John; Navara, Mirko 2 2000 Orthomodular lattices with rich state spaces. Zbl 1012.06011Mayet, René; Navara, Mirko; Rogalewicz, Vladimír 1 2000 A survey on different triangular norm-based fuzzy logics. Zbl 0945.03032Klement, Erich Peter; Navara, Mirko 46 1999 Diagonals of continuous triangular norms. Zbl 0972.03052Mesiar, Radko; Navara, Mirko 14 1999 Characterization of measures based on strict triangular norms. Zbl 0946.28010Navara, Mirko 14 1999 Propositional fuzzy logics based on Frank t-norms: A comparison. Zbl 0947.03035Klement, Erich Peter; Navara, Mirko 4 1999 Two descriptions of state spaces of orthomodular structures. Zbl 0963.03086Navara, Mirko 4 1999 Conditionally firing rules extend the possibilities of fuzzy controllers. Zbl 0988.93050Moser, Bernhard; Navara, Mirko 2 1999 Uncertainty and dependence in classical and quantum logic – the role of triangular norms. Zbl 0988.03096Navara, Mirko; Pták, Pavel 2 1999 On generating finite orthomodular sublattices. Zbl 0915.06004Navara, Mirko 10 1997 A characterization of tribes with respect to the Łukasiewicz \(t\)-norm. Zbl 0902.28015Klement, Erich Peter; Navara, Mirko 6 1997 Boolean representations of fuzzy quantum spaces. Zbl 0915.03049Navara, Mirko 5 1997 \(\mathbb{T}_ S\)-tribes and \(\mathbb{T}_ S\)-measures. Zbl 0852.28009Mesiar, Radko; Navara, Mirko 11 1996 Quantum logics representable as kernels of measures. Zbl 0879.03017Navara, M. 2 1996 States on orthoalgebras. Zbl 0841.03034Hamhalter, Jan; Navara, Mirko; Pták, Pavel 9 1995 Classes of logics representable as kernels of measures. Zbl 0886.03041Mayet, René; Navara, Mirko 5 1995 An orthomodular lattice admitting no group-valued measure. Zbl 0809.06008Navara, Mirko 25 1994 Algebraic approach to fuzzy quantum spaces. Zbl 0830.03032Navara, Mirko 2 1994 A characterization of triangular norm based tribes. Zbl 0799.28013Navara, Mirko 7 1993 \(P\)-measures on soft fuzzy \(\sigma\)-algebras. Zbl 0816.28011Navara, Mirko; Pták, Pavel 3 1993 Kernel logics. Zbl 0806.03042Navara, Mirko 1 1993 Descriptions of state spaces of orthomodular lattices (the hypergraph approach). Zbl 0772.06008Navara, Mirko 9 1992 Independence of automorphism group, center, and state space of quantum logics. Zbl 0771.03021Navara, Mirko 4 1992 States on soft fuzzy algebras – finite and countable additivity. Zbl 0794.03088Navara, Mirko; Pták, Pavel 1 1992 The pasting constructions for orthomodular posets. Zbl 0767.06009Navara, Mirko; Rogalewicz, Valdimír 25 1991 A characterization of \(\sigma\)-state spaces of orthomodular lattices. Zbl 0742.03027Navara, M.; Rüttimann, G. T. 5 1991 Automorphisms of concrete logics. Zbl 0742.06008Navara, Mirko; Tkadlec, Josef 4 1991 Orthosymmetry and modularity in ortholattices. Zbl 0908.06005Hamhalter, Jan; Navara, Mirko 3 1991 Implicative and disjunctive orthomodular posets. Zbl 0742.06007Godowski, Radosław; Navara, Mirko 1 1990 Quantum logics with given automorphism groups, centres and state spaces. Zbl 0739.03036Navara, Mirko 1 1990 Almost Boolean orthomodular posets. Zbl 0691.03045Navara, Mirko; Pták, Pavel 27 1989 When is the integration on quantum probability spaces additive? Zbl 0734.28015Navara, Mirko 5 1989 Integration on generalized measure spaces. Zbl 0721.28010Navara, Mirko 1 1989 Enlargements of quantum logics. Zbl 0617.06006Navara, Mirko; Pták, Pavel; Rogalewicz, Vladimir 14 1988 Construction of the orthomodular lattices with given state spaces. Zbl 0665.03045Navara, Mirko; Rogalewicz, Vladimír 6 1988 State isomorphism of orthomodular posets and hypergraphs. Zbl 0691.03046Navara, Mirko; Rogalewicz, Vladimír 3 1988 Quantum logics with the Radon-Nikodym property. Zbl 0643.03043Navara, Mirko; Pták, Pavel 2 1988 On constructions of orthomodular posets. Zbl 0691.03047Rogalewicz, Vladimír; Navara, Mirko 1 1988 State space properties of finite logics. Zbl 0647.03057Navara, Mirko 8 1987 Quantum logics with lattice state spaces. Zbl 0624.06009Binder, Jiří; Navara, Mirko 2 1987 Quantum logics with Jauch-Piron states. Zbl 0585.03038Bunce, L. J.; Navara, M.; Pták, P.; Wright, J. D. Maitland 23 1985 The integral on \(\sigma\)-classes is monotonic. Zbl 0581.60097Navara, M. 2 1984 Two-valued states on a concrete logic and the additivity problem. Zbl 0597.28004Navara, Mirko 1 1984 Two-valued measures on sigma-classes. Zbl 0526.28001Navara, Mirko; Pták, Pavel 6 1983 On the Radon-Nikodym property for sigma-classes. Zbl 0513.60004Navara, Mirko; Pták, Pavel 2 1983 all cited Publications top 5 cited Publications all top 5 Cited by 343 Authors 49 Navara, Mirko 25 Pták, Pavel 14 Godo, Lluís 12 Mesiar, Radko 11 Esteva, Francesc 10 Bedregal, Benjamín René Callejas 10 Klement, Erich Peter 9 Cintula, Petr 9 Tkadlec, Josef 8 De Simone, Anna 8 Svozil, Karl 7 Freytes, Hector 7 Hamhalter, Jan 7 Pulmannová, Sylvia 7 Vetterlein, Thomas 7 Wang, Sanmin 6 Dvurečenskij, Anatolij 6 Hájek, Petr 6 Matoušek, Milan 6 Pap, Endre 6 Pavičić, Mladen 5 Bikchentaev, Aĭrat Midkhatovich 5 Flaminio, Tommaso 5 Frič, Roman 5 Jenei, Sándor 5 Montagna, Franco 5 Paseka, Jan 5 Reiser, Renata Hax Sander 5 Rogalewicz, Vladimír 4 Dimuro, Graçaliz Pereira 4 Foulis, David James 4 Gabriëls, Jeannine J. M. 4 Gottwald, Siegfried 4 Haniková, Zuzana 4 Hroch, Michal 4 Jakubík, Ján 4 Kroupa, Tomáš 4 Marchioni, Enrico 4 Nánásiová, Olga 4 Papčo, Martin 4 Pei, Daowu 4 Petrík, Milan 4 Rump, Wolfgang 4 Wang, Baoshu 4 Wang, Guojun 3 Aguzzoli, Stefano 3 Ciabattoni, Agata 3 Cornejo, Maria Eugenia 3 De Lucia, Paolo 3 de Ronde, Christian 3 Domenech, Graciela 3 Dorninger, Dietmar W. 3 Durante, Fabrizio 3 Gispert, Joan 3 Harding, John 3 Heunen, Chris 3 Horčík, Rostislav 3 Jenčová, Anna 3 Länger, Helmut M. 3 Li, Yongming 3 Medina, Jesús 3 Megill, Norman D. 3 Noguera, Carles 3 Pykacz, Jarosław 3 Riečan, Beloslav 3 Valásková, Ľubica 3 Xie, Yongjian 3 Yang, Aili 2 Bennett, Mary Katherine 2 Bianchi, Matteo 2 Botur, Michal 2 Cao, Meng 2 Chovanec, Ferdinand 2 Cignoli, Roberto 2 Csiszár, Orsolya 2 da Costa, Claudilene Gomes 2 De Baets, Bernard 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 2 Habil, Eissa D. 2 Holcapek, Michal 2 Hu, Baoqing 2 Janda, Jiří 2 Jenča, Gejza 2 Jónás, Tamás 2 Lindenhovius, Bert 2 Markechová, Dagmar 2 Mesiarová-Zemánková, Andrea 2 Morsi, Nehad Nashaat 2 Müller, Vladimír 2 Ovchinnikov, Peter G. 2 Ramírez-Poussa, Eloisa 2 Santiago, Regivan H. Nunes 2 Sarkoci, Peter ...and 243 more Authors all top 5 Cited in 66 Serials 93 Fuzzy Sets and Systems 59 International Journal of Theoretical Physics 17 Information Sciences 17 Soft Computing 16 International Journal of Approximate Reasoning 13 Mathematica Slovaca 9 Czechoslovak Mathematical Journal 8 Kybernetika 8 Order 7 Reports on Mathematical Physics 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 3 Journal of Mathematical Analysis and Applications 3 Journal of Pure and Applied Algebra 3 Mathematische Nachrichten 3 Theoretical Computer Science 3 Annals of Pure and Applied Logic 3 International Journal of Computer Vision 2 Artificial Intelligence 2 International Journal of General Systems 2 Journal of Mathematical Physics 2 MSCS. 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 Advances in Difference Equations 2 Iranian Journal of Fuzzy Systems 2 New Mathematics and Natural Computation 1 Computers & Mathematics with Applications 1 Letters in Mathematical Physics 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 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 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 Algebra and Discrete Mathematics 1 Journal of Algebra and its Applications 1 Fuzzy Optimization and Decision Making 1 Mediterranean Journal of Mathematics 1 Science in China. Series F 1 Asian-European Journal of Mathematics 1 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics 1 Advances in Mathematical Physics 1 Quanta 1 Mathematics 1 Dependence Modeling all top 5 Cited in 31 Fields 258 Mathematical logic and foundations (03-XX) 142 Order, lattices, ordered algebraic structures (06-XX) 109 Quantum theory (81-XX) 34 Measure and integration (28-XX) 34 Computer science (68-XX) 25 Functional analysis (46-XX) 17 Probability theory and stochastic processes (60-XX) 14 Information and communication theory, circuits (94-XX) 9 General algebraic systems (08-XX) 9 Statistics (62-XX) 8 Category theory; homological algebra (18-XX) 8 Group theory and generalizations (20-XX) 7 General topology (54-XX) 6 Real functions (26-XX) 5 Systems theory; control (93-XX) 4 Combinatorics (05-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Nonassociative rings and algebras (17-XX) 3 Operator theory (47-XX) 2 General and overarching topics; collections (00-XX) 2 History and biography (01-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Partial differential equations (35-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Numerical analysis (65-XX) 2 Operations research, mathematical programming (90-XX) 1 Number theory (11-XX) 1 Associative rings and algebras (16-XX) 1 Difference and functional equations (39-XX) 1 Differential geometry (53-XX) 1 Biology and other natural sciences (92-XX) Citations by Year