Edit Profile Navara, Mirko Compute Distance To: Compute Author ID: navara.mirko Published as: Navara, M.; Navara, Mirko Documents Indexed: 108 Publications since 1983 Reviewing Activity: 182 Reviews all top 5 Co-Authors 33 single-authored 20 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 Ž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 Hyčko, Marek 1 Liang, Jiuzhen 1 Lindenhovius, Bert 1 Moser, Bernhard Alois 1 Navarová, Mária 1 Petrík, Milan 1 Rüttimann, Gottfried T. 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 14 Fuzzy Sets and Systems 13 International Journal of Theoretical Physics 4 Czechoslovak Mathematical Journal 4 Demonstratio Mathematica 4 Mathematica Slovaca 4 Order 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 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 Mathematical Logic Quarterly (MLQ) 1 Scientiae Mathematicae Japonicae all top 5 Fields 80 Mathematical logic and foundations (03-XX) 48 Order, lattices, ordered algebraic structures (06-XX) 46 Quantum theory (81-XX) 28 Measure and integration (28-XX) 9 Functional analysis (46-XX) 6 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) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 89 Publications have been cited 563 times in 330 Documents Cited by ▼ Year ▼ Residuated fuzzy logics with an involutive negation. Zbl 0965.03035Esteva, Francesc; Godo, Lluís; Hájek, Petr; Navara, Mirko 63 2000 A survey on different triangular norm-based fuzzy logics. Zbl 0945.03032Klement, Erich Peter; Navara, Mirko 45 1999 An orthomodular lattice admitting no group-valued measure. Zbl 0809.06008Navara, Mirko 23 1994 The pasting constructions for orthomodular posets. Zbl 0767.06009Navara, Mirko; Rogalewicz, Valdimír 23 1991 Almost Boolean orthomodular posets. Zbl 0691.03045Navara, Mirko; Pták, Pavel 23 1989 Quantum logics with Jauch-Piron states. Zbl 0585.03038Bunce, L. J.; Navara, M.; Pták, P.; Wright, J. D. Maitland 20 1985 Triangular norms and measures of fuzzy sets. Zbl 1073.28015Navara, Mirko 16 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 13 1999 Fuzzy logics with an additional involutive negation. Zbl 1189.03028Cintula, Petr; Klement, Erich Peter; Mesiar, Radko; Navara, Mirko 12 2010 Enlargements of quantum logics. Zbl 0617.06006Navara, Mirko; Pták, Pavel; Rogalewicz, Vladimir 12 1988 Residuated logics based on strict triangular norms with an involutive negation. Zbl 1165.03326Cintula, Petr; Klement, Erich Peter; Mesiar, Radko; Navara, Mirko 11 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 10 2005 A Cantor-Bernstein theorem for \(\sigma \)-complete MV-algebras. Zbl 1024.06003De Simone, A.; Mundici, D.; Navara, M. 10 2003 Constructions of quantum structures. Zbl 1136.81004Navara, Mirko 9 2007 Descriptions of state spaces of orthomodular lattices (the hypergraph approach). Zbl 0772.06008Navara, Mirko 8 1992 Convexity conditions on t-norms and their additive generators. Zbl 1074.03023Ghiselli Ricci, Roberto; Navara, Mirko 7 2005 Compactness of fuzzy logics. Zbl 1040.03019Cintula, Petr; Navara, Mirko 7 2004 On generating finite orthomodular sublattices. Zbl 0915.06004Navara, Mirko 7 1997 States on orthoalgebras. Zbl 0841.03034Hamhalter, Jan; Navara, Mirko; Pták, Pavel 7 1995 A characterization of triangular norm based tribes. Zbl 0799.28013Navara, Mirko 7 1993 Construction of the orthomodular lattices with given state spaces. Zbl 0665.03045Navara, Mirko; Rogalewicz, Vladimír 7 1988 State space properties of finite logics. Zbl 0647.03057Navara, Mirko 7 1987 Two approaches to fuzzy propositional logics. Zbl 1043.03017Hekrdla, Josef; Klement, Erich Peter; Navara, Mirko 6 2003 On interval homogeneous orthomodular lattices. Zbl 1052.06007De Simone, A.; Navara, M.; Pták, P. 6 2001 Yosida-Hewitt and Lebesgue decompositions of states on orthomodular posets. Zbl 0970.28010De Simone, Anna; Navara, Mirko 6 2001 State spaces of orthomodular structures. Zbl 0974.03056Navara, Mirko 6 2000 A characterization of tribes with respect to the Łukasiewicz \(t\)-norm. Zbl 0902.28015Klement, Erich Peter; Navara, Mirko 6 1997 States on systems of sets that are closed under symmetric difference. Zbl 1332.28006De Simone, Anna; Navara, Mirko; Pták, Pavel 5 2015 Existence of states on quantum structures. Zbl 1162.81323Navara, Mirko 5 2009 Small quantum structures with small state spaces. Zbl 1147.81004Navara, Mirko 5 2008 Extending states on finite concrete logics. Zbl 1188.81015De Simone, Anna; Navara, Mirko; Pták, Pavel 5 2007 Program for generating fuzzy logical operations and its use in mathematical proofs. Zbl 1265.28041Bartušek, Tomáš; Navara, Mirko 5 2002 Propositional fuzzy logics based on Frank t-norms: A comparison. Zbl 0947.03035Klement, Erich Peter; Navara, Mirko 5 1999 Boolean representations of fuzzy quantum spaces. Zbl 0915.03049Navara, Mirko 5 1997 A characterization of \(\sigma\)-state spaces of orthomodular lattices. Zbl 0742.03027Navara, M.; Rüttimann, G. T. 5 1991 When is the integration on quantum probability spaces additive? Zbl 0734.28015Navara, Mirko 5 1989 Two-valued measures on sigma-classes. Zbl 0526.28001Navara, Mirko; Pták, Pavel 5 1983 Convex combinations of fuzzy logical operations. Zbl 1361.03025Navara, Mirko 4 2015 Principles of inclusion and exclusion for fuzzy sets. Zbl 1314.03045Kuková, Mária; Navara, Mirko 4 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 4 2011 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 Validation sets in fuzzy logics. Zbl 1265.03019Horčík, Rostislav; Navara, Mirko 4 2002 How to make constrained fuzzy arithmetic efficient. Zbl 0995.03041Navara, M.; Žabokrtský, Z. 4 2001 Classes of logics representable as kernels of measures. Zbl 0886.03041Mayet, René; Navara, Mirko 4 1995 Automorphisms of concrete logics. Zbl 0742.06008Navara, Mirko; Tkadlec, Josef 4 1991 Explicit formulas for generators of triangular norms. Zbl 1224.03033Navara, Mirko; Petrík, Milan; Sarkoci, Peter 3 2010 Decidability in orthomodular lattices. Zbl 1110.81015Hyčko, Marek; Navara, Mirko 3 2005 For \(n\geqslant 5\) there is no nontrivial \(Z_{2}\)-measure on \(L(R^{n})\). Zbl 1070.81010Navara, Mirko; Pták, Pavel 3 2004 Two descriptions of state spaces of orthomodular structures. Zbl 0963.03086Navara, Mirko 3 1999 \(P\)-measures on soft fuzzy \(\sigma\)-algebras. Zbl 0816.28011Navara, Mirko; Pták, Pavel 3 1993 Independence of automorphism group, center, and state space of quantum logics. Zbl 0771.03021Navara, Mirko 3 1992 Orthosymmetry and modularity in ortholattices. Zbl 0908.06005Hamhalter, Jan; Navara, Mirko 3 1991 State isomorphism of orthomodular posets and hypergraphs. Zbl 0691.03046Navara, Mirko; Rogalewicz, Vladimír 3 1988 Perfect Pavelka logic. Zbl 1380.03033Turunen, Esko; Navara, Mirko 2 2016 States on symmetric logics: extensions. Zbl 1374.03065Bikchentaev, Airat; Navara, Mirko 2 2016 Weaker forms of associativity in orthomodular lattices. Zbl 1319.06008Gagola, Stephen M.; Gabriëls, Jeannine J. M.; Navara, Mirko 2 2015 Computer proof of monotonicity of operations on orthomodular lattices. Zbl 1284.06014Gabriëls, Jeannine J. M.; Navara, Mirko 2 2013 Piron’s and Bell’s geometrical lemmas. Zbl 1081.81008Navara, Mirko 2 2004 Characterization of \(T\)-measures. Zbl 1073.28011Barbieri, G.; Navara, M.; Weber, H. 2 2003 On the Yosida-Hewitt decomposition and Rüttimann decomposition of states. Zbl 1011.06012De Simone, Anna; Navara, Mirko 2 2002 Uncertainty and dependence in classical and quantum logic – the role of triangular norms. Zbl 0988.03096Navara, Mirko; Pták, Pavel 2 1999 Conditionally firing rules extend the possibilities of fuzzy controllers. Zbl 0988.93050Moser, Bernhard; Navara, Mirko 2 1999 Quantum logics representable as kernels of measures. Zbl 0879.03017Navara, M. 2 1996 Algebraic approach to fuzzy quantum spaces. Zbl 0830.03032Navara, Mirko 2 1994 Quantum logics with the Radon-Nikodym property. Zbl 0643.03043Navara, Mirko; Pták, Pavel 2 1988 Quantum logics with lattice state spaces. Zbl 0624.06009Binder, Jiří; Navara, Mirko 2 1987 The integral on \(\sigma\)-classes is monotonic. Zbl 0581.60097Navara, M. 2 1984 On the Radon-Nikodym property for sigma-classes. Zbl 0513.60004Navara, Mirko; Pták, Pavel 2 1983 Orthoalgebras as pastings of Boolean algebras. Zbl 1387.81008Navara, Mirko 1 2017 Quantum logics of idempotents of unital rings. Zbl 1317.81010Bikchentaev, Airat; Navara, Mirko; Yakushev, Rinat 1 2015 Continuous t-norms and t-conorms satisfying the principle of inclusion and exclusion. Zbl 1277.03050Kuková, Mária; Navara, Mirko 1 2013 Different representations of fuzzy vectors. Zbl 1245.68217Liang, Jiuzhen; Navara, Mirko; Vetterlein, Thomas 1 2009 Kleene-isomorphic \(\sigma\)-complete MV-algebras with product are isomorphic. Zbl 1161.06005Cignoli, Roberto; Mundici, Daniele; Navara, Mirko 1 2006 Extending states on finite concrete logics. Zbl 1118.81007Svozil, Karl; De Simone, Anna; Navara, Mirko; Pták, Pavel 1 2005 On the permanence properties of interval homogeneous orthomodular lattices. Zbl 1077.06005De Simone, Anna; Navara, Mirko 1 2004 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 Embeddings into orthomodular lattices with given centers, state spaces and automorphism groups. Zbl 0974.06003Harding, John; Navara, Mirko 1 2000 Kernel logics. Zbl 0806.03042Navara, Mirko 1 1993 States on soft fuzzy algebras – finite and countable additivity. Zbl 0794.03088Navara, Mirko; Pták, Pavel 1 1992 Quantum logics with given automorphism groups, centres and state spaces. Zbl 0739.03036Navara, Mirko 1 1990 Implicative and disjunctive orthomodular posets. Zbl 0742.06007Godowski, Radosław; Navara, Mirko 1 1990 Integration on generalized measure spaces. Zbl 0721.28010Navara, Mirko 1 1989 On constructions of orthomodular posets. Zbl 0691.03047Rogalewicz, Vladimír; Navara, Mirko 1 1988 Two-valued states on a concrete logic and the additivity problem. Zbl 0597.28004Navara, Mirko 1 1984 Orthoalgebras as pastings of Boolean algebras. Zbl 1387.81008Navara, Mirko 1 2017 Perfect Pavelka logic. Zbl 1380.03033Turunen, Esko; Navara, Mirko 2 2016 States on symmetric logics: extensions. Zbl 1374.03065Bikchentaev, Airat; 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 5 2015 Convex combinations of fuzzy logical operations. Zbl 1361.03025Navara, Mirko 4 2015 Weaker forms of associativity in orthomodular lattices. Zbl 1319.06008Gagola, Stephen M.; Gabriëls, Jeannine J. M.; Navara, Mirko 2 2015 Quantum logics of idempotents of unital rings. Zbl 1317.81010Bikchentaev, Airat; Navara, Mirko; Yakushev, Rinat 1 2015 Principles of inclusion and exclusion for fuzzy sets. Zbl 1314.03045Kuková, Mária; Navara, Mirko 4 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 4 2011 Fuzzy logics with an additional involutive negation. Zbl 1189.03028Cintula, Petr; Klement, Erich Peter; Mesiar, Radko; Navara, Mirko 12 2010 Explicit formulas for generators of triangular norms. Zbl 1224.03033Navara, Mirko; Petrík, Milan; Sarkoci, Peter 3 2010 Existence of states on quantum structures. Zbl 1162.81323Navara, Mirko 5 2009 Different representations of fuzzy vectors. Zbl 1245.68217Liang, Jiuzhen; Navara, Mirko; Vetterlein, Thomas 1 2009 Small quantum structures with small state spaces. Zbl 1147.81004Navara, Mirko 5 2008 Constructions of quantum structures. Zbl 1136.81004Navara, Mirko 9 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 11 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 16 2005 The \(\sigma\)-complete MV-algebras which have enough states. Zbl 1081.06011Di Nola, Antonio; Navara, Mirko 10 2005 Convexity conditions on t-norms and their additive generators. Zbl 1074.03023Ghiselli Ricci, Roberto; Navara, Mirko 7 2005 Sufficient triangular norms in many-valued logics with standard negation. Zbl 1085.03018Butnariu, Dan; Klement, Erich Peter; Mesiar, Radko; Navara, Mirko 4 2005 Decidability in orthomodular lattices. Zbl 1110.81015Hyčko, Marek; Navara, Mirko 3 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 3 2004 Piron’s and Bell’s geometrical lemmas. Zbl 1081.81008Navara, Mirko 2 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. 10 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 On interval homogeneous orthomodular lattices. Zbl 1052.06007De Simone, A.; Navara, M.; Pták, P. 6 2001 Yosida-Hewitt and Lebesgue decompositions of states on orthomodular posets. Zbl 0970.28010De Simone, Anna; Navara, Mirko 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 63 2000 State spaces of orthomodular structures. Zbl 0974.03056Navara, Mirko 6 2000 Orthomodular lattices with rich state spaces. Zbl 1012.06011Mayet, René; Navara, Mirko; Rogalewicz, Vladimír 1 2000 Embeddings into orthomodular lattices with given centers, state spaces and automorphism groups. Zbl 0974.06003Harding, John; Navara, Mirko 1 2000 A survey on different triangular norm-based fuzzy logics. Zbl 0945.03032Klement, Erich Peter; Navara, Mirko 45 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 13 1999 Propositional fuzzy logics based on Frank t-norms: A comparison. Zbl 0947.03035Klement, Erich Peter; Navara, Mirko 5 1999 Two descriptions of state spaces of orthomodular structures. Zbl 0963.03086Navara, Mirko 3 1999 Uncertainty and dependence in classical and quantum logic – the role of triangular norms. Zbl 0988.03096Navara, Mirko; Pták, Pavel 2 1999 Conditionally firing rules extend the possibilities of fuzzy controllers. Zbl 0988.93050Moser, Bernhard; Navara, Mirko 2 1999 On generating finite orthomodular sublattices. Zbl 0915.06004Navara, Mirko 7 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 7 1995 Classes of logics representable as kernels of measures. Zbl 0886.03041Mayet, René; Navara, Mirko 4 1995 An orthomodular lattice admitting no group-valued measure. Zbl 0809.06008Navara, Mirko 23 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 8 1992 Independence of automorphism group, center, and state space of quantum logics. Zbl 0771.03021Navara, Mirko 3 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 23 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 Quantum logics with given automorphism groups, centres and state spaces. Zbl 0739.03036Navara, Mirko 1 1990 Implicative and disjunctive orthomodular posets. Zbl 0742.06007Godowski, Radosław; Navara, Mirko 1 1990 Almost Boolean orthomodular posets. Zbl 0691.03045Navara, Mirko; Pták, Pavel 23 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 12 1988 Construction of the orthomodular lattices with given state spaces. Zbl 0665.03045Navara, Mirko; Rogalewicz, Vladimír 7 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 7 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 20 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 5 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 308 Authors 45 Navara, Mirko 21 Pták, Pavel 13 Godo, Lluís 13 Mesiar, Radko 11 Klement, Erich Peter 10 Esteva, Francesc 9 Cintula, Petr 9 Tkadlec, Josef 8 Bedregal, Benjamín Callejas 8 De Simone, Anna 8 Svozil, Karl 7 Freytes, Hector 7 Wang, Sanmin 6 Hájek, Petr 6 Hamhalter, Jan 6 Matoušek, Milan 6 Pap, Endre 6 Pavičić, Mladen 6 Pulmannová, Sylvia 6 Vetterlein, Thomas 5 Dvurečenskij, Anatolij 5 Flaminio, Tommaso 5 Frič, Roman 5 Jenei, Sándor 5 Montagna, Franco 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 Jakubík, Ján 4 Kroupa, Tomáš 4 Marchioni, Enrico 4 Nánásiová, Olga 4 Paseka, Jan 4 Pei, Daowu 4 Petrík, Milan 4 Rump, Wolfgang 4 Wang, Baoshu 4 Wang, Guojun 3 Aguzzoli, Stefano 3 Bikchentaev, Aĭrat Midkhatovich 3 Ciabattoni, Agata 3 De Baets, Bernard 3 De Lucia, Paolo 3 de Ronde, Christian 3 Domenech, Graciela 3 Durante, Fabrizio 3 Horčík, Rostislav 3 Hroch, Michal 3 Li, Yongming 3 Megill, Norman D. 3 Noguera, Carles 3 Papčo, Martin 3 Pykacz, Jarosław 3 Riečan, Beloslav 3 Valásková, Lubica 3 Xie, Yongjian 3 Yang, Aili 2 Bennett, Mary Katherine 2 Bianchi, Matteo 2 Botur, Michal 2 Bustince, 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 Dombi, Jozsef 2 Dombi, József Dániel 2 Drewniak, Józef 2 Fernández-Sánchez, Juan 2 Gagola, Stephen M. III 2 Gerla, Brunella 2 Ghiselli Ricci, Roberto 2 Gispert, Joan 2 Habil, Eissa D. 2 Harding, John 2 Heunen, Chris 2 Holcapek, Michal 2 Hu, Baoqing 2 Janda, Jiří 2 Jenčová, Anna 2 Kolesárová, Anna 2 Länger, Helmut M. 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 Santiago, Regivan H. Nunes 2 Sarkoci, Peter 2 Schaller, Manuel 2 Sultanbekov, Foat F. ...and 208 more Authors all top 5 Cited in 57 Serials 88 Fuzzy Sets and Systems 53 International Journal of Theoretical Physics 17 Information Sciences 16 Soft Computing 13 International Journal of Approximate Reasoning 11 Mathematica Slovaca 9 Czechoslovak Mathematical Journal 8 Kybernetika 7 Reports on Mathematical Physics 7 Algebra Universalis 7 Studia Logica 5 Order 4 Archive for Mathematical Logic 4 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 4 Foundations of Physics 3 Journal of Mathematical Analysis and Applications 3 Mathematische Nachrichten 3 Theoretical Computer Science 3 Annals of Pure and Applied Logic 2 Artificial Intelligence 2 International Journal of General Systems 2 Journal of Mathematical Physics 2 Journal of Pure and Applied Algebra 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 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 Letters in Mathematical Physics 1 Chaos, Solitons and Fractals 1 Algebra and Logic 1 Aplikace Matematiky 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 Forum Mathematicum 1 Journal of Logic, Language and Information 1 Mathematical Logic Quarterly (MLQ) 1 The Bulletin of Symbolic Logic 1 Lobachevskii Journal of Mathematics 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 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics 1 Advances in Mathematical Physics 1 Mathematics 1 Dependence Modeling all top 5 Cited in 28 Fields 239 Mathematical logic and foundations (03-XX) 125 Order, lattices, ordered algebraic structures (06-XX) 95 Quantum theory (81-XX) 31 Measure and integration (28-XX) 28 Computer science (68-XX) 18 Functional analysis (46-XX) 16 Probability theory and stochastic processes (60-XX) 11 Statistics (62-XX) 9 General topology (54-XX) 8 General algebraic systems (08-XX) 8 Information and communication theory, circuits (94-XX) 7 Group theory and generalizations (20-XX) 5 Real functions (26-XX) 4 Combinatorics (05-XX) 4 Category theory; homological algebra (18-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 Systems theory; control (93-XX) 3 Operator theory (47-XX) 2 General and overarching topics; collections (00-XX) 2 Nonassociative rings and algebras (17-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Difference and functional equations (39-XX) 2 Operations research, mathematical programming (90-XX) 1 History and biography (01-XX) 1 Number theory (11-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Numerical analysis (65-XX) 1 Biology and other natural sciences (92-XX) Citations by Year