Edit Profile (opens in new tab) Mundici, Daniele Co-Author Distance Author ID: mundici.daniele Published as: Mundici, Daniele; Mundici, D. Homepage: http://web.math.unifi.it/users/mundici/ External Links: MGP Documents Indexed: 188 Publications since 1979, including 4 Books and 10 Additional arXiv Preprints 13 Contributions as Editor · 2 Further Contributions Reviewing Activity: 309 Reviews Biographic References: 1 Publication Co-Authors: 49 Co-Authors with 77 Joint Publications 1,364 Co-Co-Authors all top 5 Co-Authors 124 single-authored 12 Cabrer, Leonardo Manuel 10 Cignoli, Roberto 8 Cicalese, Ferdinando 7 Marra, Vincenzo 4 Busaniche, Manuela 4 Dalla Chiara, Maria Luisa 4 Panti, Giovanni 4 Vaccaro, Ugo 2 Aguzzoli, Stefano 2 Baldwin, John T. 2 Barwise, Kenneth Jon 2 Baudisch, Andreas 2 Czyzowicz, Jurek 2 Dickmann, Max A. 2 Doets, Kees 2 D’Ottaviano, Itala M. Loffredo 2 Dubuc, Eduardo J. 2 Ebbinghaus, Heinz-Dieter 2 Eklof, Paul C. 2 Elliott, George A. 2 Feferman, Solomon 2 Flum, Jörg 2 Gispert, Joan 2 Gottlob, Georg 2 Horty, John F. 2 Kaufmann, Matt 2 Keisler, Howard Jerome 2 Kolaitis, Phokion G. 2 Kühr, Jan 2 Leitsch, Alexander 2 Makowsky, Johann-Andreas 2 McCarty, David Charles 2 Nadel, Mark E. 2 Navara, Mirko 2 Pedrini, Andrea 2 Pelc, Andrzej 2 Schmerl, James H. 2 Seese, Detlef G. 2 Steinhorn, Charles I. 2 Tuschik, Hans-Peter 2 Väänänen, Jouko Antero 2 van Benthem, Johan F. A. K. 2 Weese, Martin 2 Ziegler, Martin 1 Beklemishev, Lev D. 1 Bezhanishvili, Guram 1 Boffa, Maurice 1 Cifuentes, José Carlos 1 De Simone, Anna 1 Deppe, Christian 1 Di Nola, Antonio 1 Drossos, Costas A. 1 Glass, Andrew M. W. 1 Ju, Shier 1 Manara, Corrado 1 Marcja, Annalisa 1 Miglioli, Pierangelo 1 Moscato, Ugo 1 Olivetti, Nicola 1 Ornaghi, Mario 1 Pasquetto, M. 1 Picardi, Claudia 1 Riečan, Beloslav 1 Sette, Antonio Mario 1 Sieg, Wilfried 1 Toffalori, Carlo 1 Torrens Torrell, Antoni 1 Trombetta, Alberto 1 Tsinakis, Constantine 1 Ursini, Aldo 1 Venema, Yde all top 5 Serials 11 Studia Logica 9 Annals of Pure and Applied Logic 8 Journal of Algebra 5 The Journal of Symbolic Logic 5 Theoretical Computer Science 5 Advances in Applied Mathematics 5 Atti della Accademia Nazionale dei Lincei. Serie Ottava. Rendiconti. Classe di Scienze Fisiche, Matematiche e Naturali 4 Algebra Universalis 4 Journal of Pure and Applied Algebra 4 Transactions of the American Mathematical Society 4 Forum Mathematicum 4 Journal of Logic and Computation 4 Seminarbericht, Humboldt-Universität zu Berlin, Sektion Mathematik 3 Archiv für Mathematische Logik und Grundlagenforschung 3 Advances in Mathematics 3 Fundamenta Mathematicae 3 Mathematica Slovaca 3 Synthese 3 International Journal of Approximate Reasoning 3 Lecture Notes in Computer Science 2 Discrete Applied Mathematics 2 Journal of Combinatorial Theory. Series A 2 Journal of Functional Analysis 2 Mathematica Japonica 2 Proceedings of the American Mathematical Society 2 Annales Societatis Mathematicae Polonae. Series IV 2 Journal of Logic, Language and Information 2 Discrete and Continuous Dynamical Systems 2 Soft Computing 2 Communications in Contemporary Mathematics 2 Synthese Library 2 Trends in Logic – Studia Logica Library 2 Unitext 2 Perspectives in Mathematical Logic 1 Artificial Intelligence 1 International Journal of Theoretical Physics 1 Journal of Mathematical Analysis and Applications 1 Annali di Matematica Pura ed Applicata. Serie Quarta 1 Annals of Mathematical Logic 1 Czechoslovak Mathematical Journal 1 Fuzzy Sets and Systems 1 Journal of Number Theory 1 Mathematische Zeitschrift 1 Tôhoku Mathematical Journal. Second Series 1 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 1 Ergodic Theory and Dynamical Systems 1 Boletim da Sociedade Portuguesa de Matemática 1 Revista Matemática Iberoamericana 1 Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Serie IX. Rendiconti Lincei. Matematica e Applicazioni 1 Archive for Mathematical Logic 1 Tatra Mountains Mathematical Publications 1 Philosophia Mathematica. Series III 1 Combinatorics, Probability and Computing 1 Theory and Applications of Categories 1 Annals of Mathematics and Artificial Intelligence 1 Multiple-Valued Logic 1 Séminaire Lotharingien de Combinatoire 1 Journal of Group Theory 1 Milan Journal of Mathematics 1 Journal of Multiple-Valued Logic and Soft Computing 1 Seminarberichte. Humboldt-Universität zu Berlin, Fachbereich Mathematik 1 Logica Universalis 1 Bollettino dell’Unione Matematica Italiana. Series IX 1 Journal of Applied Logics - IfCoLog Journal of Logics and their Applications all top 5 Fields 119 Mathematical logic and foundations (03-XX) 98 Order, lattices, ordered algebraic structures (06-XX) 35 Functional analysis (46-XX) 23 Computer science (68-XX) 19 Convex and discrete geometry (52-XX) 15 Probability theory and stochastic processes (60-XX) 14 Group theory and generalizations (20-XX) 14 Information and communication theory, circuits (94-XX) 12 General and overarching topics; collections (00-XX) 12 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 11 General algebraic systems (08-XX) 9 Measure and integration (28-XX) 8 Number theory (11-XX) 7 Dynamical systems and ergodic theory (37-XX) 5 Algebraic geometry (14-XX) 5 Category theory; homological algebra (18-XX) 5 Topological groups, Lie groups (22-XX) 5 Operator theory (47-XX) 5 Manifolds and cell complexes (57-XX) 4 Combinatorics (05-XX) 4 General topology (54-XX) 4 Algebraic topology (55-XX) 3 History and biography (01-XX) 3 \(K\)-theory (19-XX) 3 Real functions (26-XX) 2 Commutative algebra (13-XX) 2 Associative rings and algebras (16-XX) 2 Geometry (51-XX) 2 Quantum theory (81-XX) 1 Sequences, series, summability (40-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Statistical mechanics, structure of matter (82-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 142 Publications have been cited 2,512 times in 1,249 Documents Cited by ▼ Year ▼ Algebraic foundations of many-valued reasoning. Zbl 0937.06009 Cignoli, Roberto L. O.; D’Ottaviano, Itala M. Loffredo; Mundici, Daniele 601 2000 Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus. Zbl 0597.46059 Mundici, Daniele 446 1986 Averaging the truth-value in Łukasiewicz logic. Zbl 0836.03016 Mundici, Daniele 164 1995 Advanced Łukasiewicz calculus and MV-algebras. Zbl 1235.03002 Mundici, Daniele 141 2011 Model-theoretic logics. (Parts A-C). Zbl 0587.03001 108 1985 Probability on MV-algebras. Zbl 1017.28002 Riečan, Beloslav; Mundici, Daniele 86 2002 Tensor products and the Loomis-Sikorski theorem for MV-algebras. Zbl 0926.06004 Mundici, Daniele 66 1999 MV-algebras are categorically equivalent to bounded commutative BCK- algebras. Zbl 0633.03066 Mundici, Daniele 52 1986 Bookmaking over infinite-valued events. Zbl 1123.03011 Mundici, Daniele 50 2006 De Finetti theorem and Borel states in \([0, 1]\)-valued algebraic logic. Zbl 1189.03076 Kühr, Jan; Mundici, Daniele 48 2007 Satisfiability in many-valued sentential logic is NP-complete. Zbl 0639.03042 Mundici, Daniele 41 1987 A constructive proof of McNaughton’s theorem in infinite-valued logic. Zbl 0807.03012 Mundici, Daniele 39 1994 Farey stellar subdivisions, ultrasimplicial groups, and \(K_ 0\) of AF \(C^*\)-algebras. Zbl 0678.06008 Mundici, Daniele 33 1988 Extending Stone duality to multisets and locally finite MV-algebras. Zbl 1055.06004 Cignoli, Roberto; Dubuc, Eduardo J.; Mundici, Daniele 32 2004 Free products in the category of Abelian \(\ell\)-groups with strong unit. Zbl 0658.06010 Mundici, Daniele 31 1988 MV-algebras: a variety for magnitudes with archimedean units. Zbl 1093.06010 Gispert, Joan; Mundici, Daniele 28 2005 Model-theoretic logics. (Parts D-F). Zbl 0587.03002 26 1985 Ulam’s searching game with lies. Zbl 0674.90110 Czyzowicz, Jurek; Mundici, Daniele; Pelc, Andrzej 24 1989 The Lebesgue state of a unital abelian lattice-ordered group. Zbl 1136.06009 Marra, Vincenzo; Mundici, Daniele 20 2007 Mapping Abelian \(\ell\)-groups with strong unit one-one into MV algebras. Zbl 0579.06016 Mundici, Daniele 17 1986 Logic of infinite quantum systems. Zbl 0799.03019 Mundici, Daniele 17 1993 The Haar theorem for lattice-ordered abelian groups with order-unit. Zbl 1154.28007 Mundici, Daniele 16 2008 Reconstructing \(C^*\)-algebras from their Murray von Neumann orders. Zbl 0823.46053 Cignoli, Roberto; Elliott, George A.; Mundici, Daniele 15 1993 Ulam games, Łukasiewicz logic, and AF \(C^*\)-algebras. Zbl 0780.03030 Mundici, Daniele 15 1993 The logic of Ulam’s game with lies. Zbl 0831.90131 Mundici, Daniele 13 1992 An elementary proof of Chang’s completeness theorem for the infinite-valued calculus of Łukasiewicz. Zbl 0876.03011 Cignoli, Roberto; Mundici, Daniele 13 1997 Geometry of Robinson consistency in Łukasiewicz logic. Zbl 1125.03016 Busaniche, Manuela; Mundici, Daniele 13 2007 Extending addition in Elliott’s local semigroup. Zbl 0799.46077 Mundici, Daniele; Panti, Giovanni 12 1993 Lattice-ordered abelian groups and Schauder bases of unimodular fans. Zbl 1118.06009 Manara, Corrado; Marra, Vincenzo; Mundici, Daniele 12 2007 Optimal comparison strategies in Ulam’s searching game with two errors. Zbl 0902.90191 Mundici, Daniele; Trombetta, Alberto 12 1997 A Cantor-Bernstein theorem for \(\sigma \)-complete MV-algebras. Zbl 1024.06003 De Simone, A.; Mundici, D.; Navara, M. 12 2003 Simple Bratteli diagrams with a Gödel-incomplete C*-equivalence problem. Zbl 1042.46033 Mundici, Daniele 12 2004 Resolution and model building in the infinite-valued calculus of Łukasiewicz. Zbl 0921.03013 Mundici, Daniele; Olivetti, Nicola 11 1998 Recent developments of feedback coding and its relations with many-valued logic. Zbl 1319.03040 Cicalese, Ferdinando; Mundici, Daniele 10 2011 Solution of Ulam’s problem on binary search with two lies. Zbl 0662.68059 Czyzowicz, Jurek; Pelc, Andrzej; Mundici, Daniele 10 1988 Rational polyhedra and projective lattice-ordered abelian groups with order unit. Zbl 1275.06002 Cabrer, Leonardo; Mundici, Daniele 10 2012 Projective MV-algebras and rational polyhedra. Zbl 1196.06004 Cabrer, Leonardo Manuel; Mundici, Daniele 10 2009 Rota-Metropolis cubic logic and Ulam-Rényi games. Zbl 0978.03045 Cicalese, F.; Mundici, D.; Vaccaro, U. 10 2001 Tautologies with a unique Craig interpolant, uniform vs. nonuniform complexity. Zbl 0594.03022 Mundici, Daniele 9 1984 An elementary presentation of the equivalence between MV-algebras and \(\ell\)-groups with strong unit. Zbl 0964.06009 Cignoli, Roberto; Mundici, Daniele 9 1998 An invitation to Chang’s MV algebras. Zbl 0935.06010 Cignoli, Roberto; Mundici, Daniele 9 1997 A characterisation of lattice-ordered Abelian groups. Zbl 0789.06011 Elliott, George A.; Mundici, Daniele 8 1993 Functions computed by monotone Boolean formulas with no repeated variables. Zbl 0674.94025 Mundici, Daniele 8 1989 Ultraproducts of \(\mathbb{Z}\) with an application to many-valued logics. Zbl 0937.06008 Gispert i Brasó, Joan; Mundici, Daniele; Torrens Torrell, Antoni 8 1999 Least adaptive optimal search with unreliable tests. Zbl 0988.68057 Cicalese, Ferdinando; Mundici, Daniele; Vaccaro, Ugo 8 2002 Optimal binary search with two unreliable tests and minimum adaptiveness. Zbl 0948.91009 Cicalese, Ferdinando; Mundici, Daniele 8 1999 Interpretation of De Finetti coherence criterion in Łukasiewicz logic. Zbl 1180.03029 Mundici, Daniele 8 2009 An algorithmic desingularization of 3-dimensional toric varieties. Zbl 0817.14036 Aguzzoli, Stefano; Mundici, Daniele 7 1994 Classifying orbits of the affine group over the integers. Zbl 1417.37114 Cabrer, Leonardo Manuel; Mundici, Daniele 7 2017 Word problems in Elliott monoids. Zbl 1404.46061 Mundici, Daniele 7 2018 Confluence and combinatorics in finitely generated unital lattice-ordered abelian groups. Zbl 1277.06007 Busaniche, Manuela; Cabrer, Leonardo; Mundici, Daniele 7 2012 Weierstrass approximation theorem and Łukasiewicz formulas with one quantified variable. Zbl 1046.03010 Aguzzoli, Stefano; Mundici, Daniele 7 2003 Łukasiewicz normal forms and toric desingularizations. Zbl 0865.03014 Mundici, Daniele 6 1996 Bouligand-Severi tangents in MV-algebras. Zbl 1319.06009 Busaniche, Manuela; Mundici, Daniele 6 2014 The \(C^*\)-algebras of three-valued logic. Zbl 0694.03017 Mundici, Daniele 6 1989 Compactness, interpolation and Friedman’s third problem. Zbl 0495.03020 Mundici, Daniele 6 1982 A lower bound for the complexity of Craig’s interpolants in sentential logic. Zbl 0511.03004 Mundici, Daniele 6 1983 Complexity of Craig’s interpolation. Zbl 0507.03025 Mundici, Daniele 6 1982 Perfect two-fault tolerant search with minimum adaptiveness. Zbl 0965.68014 Cicalese, Ferdinando; Mundici, Daniele 6 2000 Recognizing the Farey-Stern-Brocot AF algebra. Zbl 1185.46042 Mundici, Daniele 6 2009 Gödel incompleteness in AF C\(^*\)-algebras. Zbl 1163.46036 Mundici, Daniele; Tsinakis, Constantine 6 2008 A characterization of the free \(n\)-generated MV-algebra. Zbl 1094.06010 Mundici, Daniele 6 2006 Robinson’s consistency theorem in soft model theory. Zbl 0519.03031 Mundici, Daniele 5 1981 Invariant measure under the affine group over \(\mathbb Z\). Zbl 1298.52016 Mundici, Daniele 5 2014 The differential semantics of Łukasiewicz syntactic consequence. Zbl 1386.03022 Mundici, Daniele 5 2015 Optimal coding with one asymmetric error: Below the sphere packing bound. Zbl 0996.94054 Cicalese, Ferdinando; Mundici, Daniele 5 2000 Faithful and invariant conditional probability in Łukasiewicz logic. Zbl 1163.03016 Mundici, Daniele 5 2009 Stone duality for Dedekind \(\sigma\)-complete \(\ell\)-groups with order-unit. Zbl 1108.06011 Cignoli, Roberto; Mundici, Daniele 5 2006 Revisiting the Farey AF algebra. Zbl 1269.46041 Mundici, Daniele 5 2011 Reasoning on imprecisely defined functions. Zbl 1007.03024 Mundici, Daniele 5 2000 The complexity of adaptive error-correcting codes. Zbl 0799.94010 Mundici, Daniele 4 1991 Duality between logics and equivalence relations. Zbl 0497.03018 Mundici, Daniele 4 1982 The derivative of truth in Łukasiewicz sentential calculus. Zbl 0648.03011 Mundici, Daniele 4 1988 Fans, decision problems and generators of free abelian \(\ell\)-groups. Zbl 1473.06023 Mundici, Daniele 4 2017 Representation of \(\sigma\)-complete MV-algebras and their associated Dedekind \(\sigma\)-complete \(\ell\)-groups. Zbl 1119.06009 Mundici, Daniele 4 2006 Revisiting the free 2-generator abelian \(\ell\)-group. Zbl 1118.06010 Mundici, Daniele 4 2007 Hopfian \(\ell\)-groups, MV-algebras and AF \({\mathrm{C}^{*}}\)-algebras. Zbl 1429.06013 Mundici, Daniele 4 2016 Finitely presented lattice-ordered abelian groups with order-unit. Zbl 1261.06022 Cabrer, Leonardo; Mundici, Daniele 4 2011 Finite axiomatizability in Łukasiewicz logic. Zbl 1248.03043 Mundici, Daniele 4 2011 Decidable and undecidable prime theories in infinite-valued logic. Zbl 1130.03019 Mundici, Daniele; Panti, Giovanni 4 2001 Coherence of de Finetti coherence. Zbl 1387.60009 Mundici, Daniele 4 2017 Partial isomorphisms on totally ordered abelian groups and Hájek’s completeness theorem for basic logic. Zbl 1020.03019 Cignoli, Roberto; Mundici, Daniele 4 2001 A proof of the completeness of the infinite-valued calculus of Łukasiewicz with one variable. Zbl 0830.03011 Mundici, D.; Pasquetto, M. 3 1995 Applications of many-sorted Robinson consistency theorem. Zbl 0463.03023 Mundici, Daniele 3 1981 Interpolation, compactness and jep in soft model theory. Zbl 0495.03019 Mundici, Daniele 3 1982 Solution of Rota’s problem on the order of series-parallel networks. Zbl 0748.94024 Mundici, Daniele 3 1991 A generalization of abstract model theory. Zbl 0595.03039 Mundici, Daniele 3 1984 NP and Craig’s interpolation theorem. Zbl 0594.03021 Mundici, Daniele 3 1984 Every Abelian \(\ell\)-group with two positive generators is ultrasimplicial. Zbl 0605.06014 Mundici, Daniele 3 1987 Normal forms in infinite-valued logic: The case of one variable. Zbl 0783.03010 Mundici, D. 3 1992 Consequence and interpolation in Łukasiewicz logic. Zbl 1242.03055 Mundici, Daniele 3 2011 Interval MV-algebras and generalizations. Zbl 1326.06011 Cabrer, Leonardo Manuel; Mundici, Daniele 3 2014 An algebraic result about soft model theoretical equivalence relations with an application to H. Friedman’s fourth problem. Zbl 0465.03020 Mundici, Daniele 3 1981 Free generating sets of lattice-ordered abelian groups. Zbl 1141.06018 Mundici, Daniele 3 2007 Geometry of filters in free MV-algebras. Zbl 1158.06306 Mundici, Daniele 3 2008 An MV-algebraic invariant for Boolean algebras with a finite-orbit automorphism. Zbl 1064.06006 Cignoli, Roberto; Dubuc, Eduardo J.; Mundici, Daniele 3 2003 MV-algebras and abelian \(\ell\)-groups: a fruitful interaction. Zbl 1070.06004 Marra, Vincenzo; Mundici, Daniele 3 2002 Łukasiewicz logic and Chang’s MV algebras in action. Zbl 1051.03023 Marra, V.; Mundici, D. 3 2003 Least adaptive optimal search with unreliable tests. Zbl 0966.68060 Cicalese, Ferdinando; Mundici, Daniele; Vaccaro, Ugo 3 2000 Compactness\(=JEP\) in any logic. Zbl 0564.03034 Mundici, Daniele 2 1983 AF-algebras with lattice-ordered \(K_0\): logic and computation. Zbl 1540.06010 Mundici, Daniele 1 2023 Deciding Koopman’s qualitative probability. Zbl 1537.03016 Mundici, Daniele 2 2021 Bratteli diagrams via the De Concini-Procesi theorem. Zbl 1486.46066 Mundici, Daniele 1 2021 What the Łukasiewicz axioms mean. Zbl 1476.03030 Mundici, Daniele 1 2020 Betting on continuous independent events. Zbl 1418.03117 Mundici, Daniele 1 2019 De Finetti coherence and the product law for independent events. Zbl 1452.60003 Mundici, Daniele 1 2019 Word problems in Elliott monoids. Zbl 1404.46061 Mundici, Daniele 7 2018 A geometric approach to MV-algebras. Zbl 1429.06014 Mundici, Daniele 2 2018 Recognizing free generating sets of \(\ell\)-groups. Zbl 1473.06016 Mundici, Daniele 1 2018 Classifying orbits of the affine group over the integers. Zbl 1417.37114 Cabrer, Leonardo Manuel; Mundici, Daniele 7 2017 Fans, decision problems and generators of free abelian \(\ell\)-groups. Zbl 1473.06023 Mundici, Daniele 4 2017 Coherence of de Finetti coherence. Zbl 1387.60009 Mundici, Daniele 4 2017 Idempotent endomorphisms of free MV-algebras and unital \(\ell\)-groups. Zbl 1362.06003 Cabrer, Leonardo Manuel; Mundici, Daniele 1 2017 Hopfian \(\ell\)-groups, MV-algebras and AF \({\mathrm{C}^{*}}\)-algebras. Zbl 1429.06013 Mundici, Daniele 4 2016 Polyhedral MV-algebras. Zbl 1385.06003 Busaniche, Manuela; Cabrer, Leonardo; Mundici, Daniele 2 2016 Logic on the \(n\)-cube. Zbl 1444.03182 Mundici, Daniele 1 2016 Classifying GL\((n,\mathbb{Z})\)-orbits of points and rational subspaces. Zbl 1369.37034 Mundici, Daniele; Cabrer, Leonardo Manuel 1 2016 The differential semantics of Łukasiewicz syntactic consequence. Zbl 1386.03022 Mundici, Daniele 5 2015 A Stone-Weierstrass theorem for MV-algebras and unital \(\ell\)-groups. Zbl 1323.06011 Cabrer, Leonardo Manuel; Mundici, Daniele 2 2015 Severi-Bouligand tangents, Frenet frames and Riesz spaces. Zbl 1322.46005 Cabrer, Leonardo Manuel; Mundici, Daniele 1 2015 Bouligand-Severi tangents in MV-algebras. Zbl 1319.06009 Busaniche, Manuela; Mundici, Daniele 6 2014 Invariant measure under the affine group over \(\mathbb Z\). Zbl 1298.52016 Mundici, Daniele 5 2014 Interval MV-algebras and generalizations. Zbl 1326.06011 Cabrer, Leonardo Manuel; Mundici, Daniele 3 2014 Universal properties of Łukasiewicz consequence. Zbl 1344.03029 Mundici, Daniele 1 2014 Rational polyhedra and projective lattice-ordered abelian groups with order unit. Zbl 1275.06002 Cabrer, Leonardo; Mundici, Daniele 10 2012 Confluence and combinatorics in finitely generated unital lattice-ordered abelian groups. Zbl 1277.06007 Busaniche, Manuela; Cabrer, Leonardo; Mundici, Daniele 7 2012 Advanced Łukasiewicz calculus and MV-algebras. Zbl 1235.03002 Mundici, Daniele 141 2011 Recent developments of feedback coding and its relations with many-valued logic. Zbl 1319.03040 Cicalese, Ferdinando; Mundici, Daniele 10 2011 Revisiting the Farey AF algebra. Zbl 1269.46041 Mundici, Daniele 5 2011 Finitely presented lattice-ordered abelian groups with order-unit. Zbl 1261.06022 Cabrer, Leonardo; Mundici, Daniele 4 2011 Finite axiomatizability in Łukasiewicz logic. Zbl 1248.03043 Mundici, Daniele 4 2011 Consequence and interpolation in Łukasiewicz logic. Zbl 1242.03055 Mundici, Daniele 3 2011 A compact \([0,1]\)-valued first-order Łukasiewicz logic with identity on Hilbert space. Zbl 1220.03010 Mundici, Daniele 2 2011 From free abelian groups to free abelian \(\ell \)-groups. Zbl 1265.06055 Kühr, Jan; Mundici, Daniele 1 2011 Projective MV-algebras and rational polyhedra. Zbl 1196.06004 Cabrer, Leonardo Manuel; Mundici, Daniele 10 2009 Interpretation of De Finetti coherence criterion in Łukasiewicz logic. Zbl 1180.03029 Mundici, Daniele 8 2009 Recognizing the Farey-Stern-Brocot AF algebra. Zbl 1185.46042 Mundici, Daniele 6 2009 Faithful and invariant conditional probability in Łukasiewicz logic. Zbl 1163.03016 Mundici, Daniele 5 2009 Conditionals and independence in many-valued logics. Zbl 1245.03031 Mundici, Daniele 1 2009 The Haar theorem for lattice-ordered abelian groups with order-unit. Zbl 1154.28007 Mundici, Daniele 16 2008 Gödel incompleteness in AF C\(^*\)-algebras. Zbl 1163.46036 Mundici, Daniele; Tsinakis, Constantine 6 2008 Geometry of filters in free MV-algebras. Zbl 1158.06306 Mundici, Daniele 3 2008 Special issue: Many-valued logic and cognition. Originated from the Studia Logica international conference “Trends in logic V: Many-valued logics and cognition”, Ghaugzhou, China, July 6–9, 2007. Zbl 1157.03304 1 2008 De Finetti theorem and Borel states in \([0, 1]\)-valued algebraic logic. Zbl 1189.03076 Kühr, Jan; Mundici, Daniele 48 2007 The Lebesgue state of a unital abelian lattice-ordered group. Zbl 1136.06009 Marra, Vincenzo; Mundici, Daniele 20 2007 Geometry of Robinson consistency in Łukasiewicz logic. Zbl 1125.03016 Busaniche, Manuela; Mundici, Daniele 13 2007 Lattice-ordered abelian groups and Schauder bases of unimodular fans. Zbl 1118.06009 Manara, Corrado; Marra, Vincenzo; Mundici, Daniele 12 2007 Revisiting the free 2-generator abelian \(\ell\)-group. Zbl 1118.06010 Mundici, Daniele 4 2007 Free generating sets of lattice-ordered abelian groups. Zbl 1141.06018 Mundici, Daniele 3 2007 Embedding in finitely presented lattice-ordered groups: explicit presentation for constructions. Zbl 1125.06013 Glass, A. M. W.; Marra, Vincenzo; Mundici, Daniele 1 2007 Bookmaking over infinite-valued events. Zbl 1123.03011 Mundici, Daniele 50 2006 A characterization of the free \(n\)-generated MV-algebra. Zbl 1094.06010 Mundici, Daniele 6 2006 Stone duality for Dedekind \(\sigma\)-complete \(\ell\)-groups with order-unit. Zbl 1108.06011 Cignoli, Roberto; Mundici, Daniele 5 2006 Representation of \(\sigma\)-complete MV-algebras and their associated Dedekind \(\sigma\)-complete \(\ell\)-groups. Zbl 1119.06009 Mundici, Daniele 4 2006 Kleene-isomorphic \(\sigma\)-complete MV-algebras with product are isomorphic. Zbl 1161.06005 Cignoli, Roberto; Mundici, Daniele; Navara, Mirko 1 2006 MV-algebras: a variety for magnitudes with archimedean units. Zbl 1093.06010 Gispert, Joan; Mundici, Daniele 28 2005 Extending Stone duality to multisets and locally finite MV-algebras. Zbl 1055.06004 Cignoli, Roberto; Dubuc, Eduardo J.; Mundici, Daniele 32 2004 Simple Bratteli diagrams with a Gödel-incomplete C*-equivalence problem. Zbl 1042.46033 Mundici, Daniele 12 2004 \(Q\)-ary Ulam-Rényi game with weighted constrained lies. Zbl 1091.68038 Cicalese, Ferdinando; Deppe, Christian; Mundici, Daniele 2 2004 A Cantor-Bernstein theorem for \(\sigma \)-complete MV-algebras. Zbl 1024.06003 De Simone, A.; Mundici, D.; Navara, M. 12 2003 Weierstrass approximation theorem and Łukasiewicz formulas with one quantified variable. Zbl 1046.03010 Aguzzoli, Stefano; Mundici, Daniele 7 2003 An MV-algebraic invariant for Boolean algebras with a finite-orbit automorphism. Zbl 1064.06006 Cignoli, Roberto; Dubuc, Eduardo J.; Mundici, Daniele 3 2003 Łukasiewicz logic and Chang’s MV algebras in action. Zbl 1051.03023 Marra, V.; Mundici, D. 3 2003 Probability on MV-algebras. Zbl 1017.28002 Riečan, Beloslav; Mundici, Daniele 86 2002 Least adaptive optimal search with unreliable tests. Zbl 0988.68057 Cicalese, Ferdinando; Mundici, Daniele; Vaccaro, Ugo 8 2002 MV-algebras and abelian \(\ell\)-groups: a fruitful interaction. Zbl 1070.06004 Marra, Vincenzo; Mundici, Daniele 3 2002 Combinatorial fans, lattice-ordered groups, and their neighbours: A short excursion. Zbl 1031.06011 Marra, Vincenzo; Mundici, Daniele 2 2002 Fault-tolerance and Rota-Metropolis cubic logic. Zbl 1041.03055 Mundici, Daniele 1 2002 Rota-Metropolis cubic logic and Ulam-Rényi games. Zbl 0978.03045 Cicalese, F.; Mundici, D.; Vaccaro, U. 10 2001 Decidable and undecidable prime theories in infinite-valued logic. Zbl 1130.03019 Mundici, Daniele; Panti, Giovanni 4 2001 Partial isomorphisms on totally ordered abelian groups and Hájek’s completeness theorem for basic logic. Zbl 1020.03019 Cignoli, Roberto; Mundici, Daniele 4 2001 Algebraic foundations of many-valued reasoning. Zbl 0937.06009 Cignoli, Roberto L. O.; D’Ottaviano, Itala M. Loffredo; Mundici, Daniele 601 2000 Perfect two-fault tolerant search with minimum adaptiveness. Zbl 0965.68014 Cicalese, Ferdinando; Mundici, Daniele 6 2000 Optimal coding with one asymmetric error: Below the sphere packing bound. Zbl 0996.94054 Cicalese, Ferdinando; Mundici, Daniele 5 2000 Reasoning on imprecisely defined functions. Zbl 1007.03024 Mundici, Daniele 5 2000 Least adaptive optimal search with unreliable tests. Zbl 0966.68060 Cicalese, Ferdinando; Mundici, Daniele; Vaccaro, Ugo 3 2000 Tensor products and the Loomis-Sikorski theorem for MV-algebras. Zbl 0926.06004 Mundici, Daniele 66 1999 Ultraproducts of \(\mathbb{Z}\) with an application to many-valued logics. Zbl 0937.06008 Gispert i Brasó, Joan; Mundici, Daniele; Torrens Torrell, Antoni 8 1999 Optimal binary search with two unreliable tests and minimum adaptiveness. Zbl 0948.91009 Cicalese, Ferdinando; Mundici, Daniele 8 1999 Ulam game, the logic of MAXSAT, and many-valued partitions. Zbl 1122.03306 Mundici, Daniele 2 1999 Classes of ultrasimplicial lattice-ordered abelian groups. Zbl 0918.06009 Mundici, Daniele 2 1999 Twenty questions with many-valued answers. Zbl 0935.03033 Mundici, Daniele; Panti, Giovanni 1 1999 A constructive proof that every 3-generated \(\ell\)-group is ultrasimplicial. Zbl 1002.06014 Mundici, Daniele; Panti, Giovanni 1 1999 Resolution and model building in the infinite-valued calculus of Łukasiewicz. Zbl 0921.03013 Mundici, Daniele; Olivetti, Nicola 11 1998 An elementary presentation of the equivalence between MV-algebras and \(\ell\)-groups with strong unit. Zbl 0964.06009 Cignoli, Roberto; Mundici, Daniele 9 1998 An elementary proof of Chang’s completeness theorem for the infinite-valued calculus of Łukasiewicz. Zbl 0876.03011 Cignoli, Roberto; Mundici, Daniele 13 1997 Optimal comparison strategies in Ulam’s searching game with two errors. Zbl 0902.90191 Mundici, Daniele; Trombetta, Alberto 12 1997 An invitation to Chang’s MV algebras. Zbl 0935.06010 Cignoli, Roberto; Mundici, Daniele 9 1997 Computational logic and proof theory. 5th Kurt Gödel Colloquium, KGC ’97. Vienna, Austria. August 25–29, 1997. Proceedings. Zbl 0870.00023 2 1997 Logic and scientific methods. Proceedings of the tenth international congress of logic, methodology and philosophy of science, Florence, Italy, August 19–25, 1995. Zbl 0885.00048 Dalla Chiara, Maria Luisa 1 1997 Łukasiewicz normal forms and toric desingularizations. Zbl 0865.03014 Mundici, Daniele 6 1996 Averaging the truth-value in Łukasiewicz logic. Zbl 0836.03016 Mundici, Daniele 164 1995 A proof of the completeness of the infinite-valued calculus of Łukasiewicz with one variable. Zbl 0830.03011 Mundici, D.; Pasquetto, M. 3 1995 Paper machines. Zbl 0851.03010 Mundici, Daniele; Sieg, Wilfried 2 1995 A constructive proof of McNaughton’s theorem in infinite-valued logic. Zbl 0807.03012 Mundici, Daniele 39 1994 An algorithmic desingularization of 3-dimensional toric varieties. Zbl 0817.14036 Aguzzoli, Stefano; Mundici, Daniele 7 1994 Logic of infinite quantum systems. Zbl 0799.03019 Mundici, Daniele 17 1993 Reconstructing \(C^*\)-algebras from their Murray von Neumann orders. Zbl 0823.46053 Cignoli, Roberto; Elliott, George A.; Mundici, Daniele 15 1993 Ulam games, Łukasiewicz logic, and AF \(C^*\)-algebras. Zbl 0780.03030 Mundici, Daniele 15 1993 Extending addition in Elliott’s local semigroup. Zbl 0799.46077 Mundici, Daniele; Panti, Giovanni 12 1993 ...and 42 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 758 Authors 87 Dvurečenskij, Anatolij 82 Mundici, Daniele 66 Di Nola, Antonio 37 Jakubík, Ján 36 Montagna, Franco 33 Flaminio, Tommaso 27 Rump, Wolfgang 26 Pulmannová, Sylvia 24 Marra, Vincenzo 23 Lenzi, Giacomo 23 Rachůnek, Jiří 21 Godo, Lluís 21 Kühr, Jan 20 Chajda, Ivan 19 Cabrer, Leonardo Manuel 17 Belluce, Lawrence Peter 17 Riečan, Beloslav 16 Georgescu, George 16 Leuştean, Ioana 15 Borumand Saeid, Arsham 15 Borzooei, Rajab Ali 15 Lettieri, Ada 14 Botur, Michal 14 Ciungu, Lavinia Corina 14 Freytes, Hector 14 Novák, Vilém 13 Aguzzoli, Stefano 13 Frič, Roman 13 Gerla, Brunella 13 Kroupa, Tomáš 13 Xin, Xiaolong 13 Zahiri, Omid 12 Busaniche, Manuela 12 Hájek, Petr 12 Lapenta, Serafina 12 Spada, Luca 11 Agliano, Paolo 11 Díaz Varela, José Patricio 11 Hosni, Hykel 11 Nganou, Jean Bernard 11 Panti, Giovanni 11 Šalounová, Dana 11 Turunen, Esko 10 Cignoli, Roberto 10 Forouzesh, Fereshteh 10 Foulis, David James 10 Haniková, Zuzana 10 Marchioni, Enrico 10 Murinová, Petra 10 Navara, Mirko 10 Tsinakis, Constantine 9 Grigolia, Revaz 9 Halaš, Radomír 9 He, Pengfei 9 Jenča, Gejza 9 Yang, Yichuan 8 Ledda, Antonio 8 Metcalfe, George 8 Paseka, Jan 8 Russo, Ciro 8 Ugolini, Sara 8 Vitale, Gaetano 8 Wang, Guojun 7 Esteva, Francesc 7 Gispert, Joan 7 Jenčová, Anna 7 Jenei, Sándor 7 Paoli, Francesco 7 Teheux, Bruno 7 Vetterlein, Thomas 7 Wang, Juntao 7 Zhou, Hongjun 6 Castaño, Diego Nicolás 6 Cicalese, Ferdinando 6 Kowalski, Tomasz 6 Liu, Lianzhen 6 Papčo, Martin 6 Piciu, Dana 6 Poveda, Yuri A. 6 Vinceková, Elena 5 Abbadini, Marco 5 Bedrood, Mahta 5 Cimadamore, Cecilia Rossana 5 Cintula, Petr 5 Davvaz, Bijan 5 Deppe, Christian 5 Domenech, Graciela 5 Dubuc, Eduardo J. 5 Fedel, Martina 5 Galatos, Nikolaos 5 Giuntini, Roberto 5 Hager, Anthony W. 5 Holland, Wilbur Charles jun. 5 Hyčko, Marek 5 Jipsen, Peter 5 Kim, Hee Sik 5 Lachman, Dominik 5 Neggers, Joseph 5 Noguera, Carles 5 Oner, Tahsin ...and 658 more Authors all top 5 Cited in 148 Serials 149 Fuzzy Sets and Systems 102 Soft Computing 68 Mathematica Slovaca 65 Studia Logica 50 Algebra Universalis 38 International Journal of Theoretical Physics 38 International Journal of Approximate Reasoning 37 Czechoslovak Mathematical Journal 35 Journal of Algebra 34 Annals of Pure and Applied Logic 34 Archive for Mathematical Logic 26 Information Sciences 25 Journal of Pure and Applied Algebra 20 The Journal of Symbolic Logic 20 Kybernetika 20 Theoretical Computer Science 18 Mathematical Logic Quarterly (MLQ) 16 Order 14 Reports on Mathematical Physics 13 Forum Mathematicum 12 Communications in Algebra 11 Journal of Mathematical Analysis and Applications 11 Journal of Applied Non-Classical Logics 10 Journal of the Australian Mathematical Society 9 Artificial Intelligence 9 Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica 9 Journal of Applied Logic 8 Discrete Mathematics 7 Advances in Applied Mathematics 7 Central European Journal of Mathematics 7 Journal of Multiple-Valued Logic and Soft Computing 6 Applied Categorical Structures 6 The Bulletin of Symbolic Logic 6 Journal of Intelligent and Fuzzy Systems 6 Journal of Algebra and its Applications 6 Foundations of Physics 6 Iranian Journal of Fuzzy Systems 5 Discrete Applied Mathematics 5 Semigroup Forum 5 Transactions of the American Mathematical Society 5 Annals of Mathematics and Artificial Intelligence 5 New Mathematics and Natural Computation 5 Logica Universalis 5 The Review of Symbolic Logic 4 International Journal of General Systems 4 Information Processing Letters 4 Advances in Mathematics 4 Journal of Combinatorial Theory. Series A 4 Synthese 4 Bulletin of the Section of Logic 4 Theory and Applications of Categories 4 Open Mathematics 4 Journal of Algebraic Systems 3 Archiv für Mathematische Logik und Grundlagenforschung 3 Rocky Mountain Journal of Mathematics 3 Demonstratio Mathematica 3 Proceedings of the American Mathematical Society 3 Topology and its Applications 3 Journal of Automated Reasoning 3 Filomat 3 Journal of Group Theory 3 Erkenntnis 3 Logic and Logical Philosophy 3 Logical Methods in Computer Science 3 Asian-European Journal of Mathematics 3 Axioms 3 Algebraic Structures and their Applications 2 Problems of Information Transmission 2 Journal of Philosophical Logic 2 Journal für die Reine und Angewandte Mathematik 2 Journal of Statistical Planning and Inference 2 Notre Dame Journal of Formal Logic 2 Results in Mathematics 2 Information and Computation 2 Mathematical Structures in Computer Science 2 Communications in Contemporary Mathematics 2 ACM Transactions on Computational Logic 2 Afrika Matematika 2 Journal of Mathematical Extension 2 Categories and General Algebraic Structures with Applications 1 Computers & Mathematics with Applications 1 Journal of Mathematical Physics 1 Mathematical Biosciences 1 Mathematics of Computation 1 Acta Scientiarum Mathematicarum 1 Annali di Matematica Pura ed Applicata. Serie Quarta 1 Archiv der Mathematik 1 Commentationes Mathematicae Universitatis Carolinae 1 Geometriae Dedicata 1 Glasgow Mathematical Journal 1 International Journal of Mathematics and Mathematical Sciences 1 Journal of Computer and System Sciences 1 Journal of Functional Analysis 1 Mathematische Annalen 1 Pacific Journal of Mathematics 1 Publications de l’Institut Mathématique. Nouvelle Série 1 Rendiconti del Circolo Matemàtico di Palermo. Serie II 1 Rendiconti del Seminario Matematico della Università di Padova 1 Revista de la Unión Matemática Argentina 1 Tôhoku Mathematical Journal. Second Series ...and 48 more Serials all top 5 Cited in 42 Fields 818 Order, lattices, ordered algebraic structures (06-XX) 690 Mathematical logic and foundations (03-XX) 134 Computer science (68-XX) 116 Quantum theory (81-XX) 85 General algebraic systems (08-XX) 65 Probability theory and stochastic processes (60-XX) 61 Functional analysis (46-XX) 57 Measure and integration (28-XX) 45 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 44 Category theory; homological algebra (18-XX) 42 General topology (54-XX) 35 Group theory and generalizations (20-XX) 25 Associative rings and algebras (16-XX) 24 Convex and discrete geometry (52-XX) 20 Information and communication theory, circuits (94-XX) 17 Commutative algebra (13-XX) 17 Operator theory (47-XX) 16 Combinatorics (05-XX) 15 Dynamical systems and ergodic theory (37-XX) 10 History and biography (01-XX) 9 Number theory (11-XX) 8 Algebraic geometry (14-XX) 7 Statistics (62-XX) 7 Operations research, mathematical programming (90-XX) 6 Topological groups, Lie groups (22-XX) 6 Manifolds and cell complexes (57-XX) 5 \(K\)-theory (19-XX) 4 General and overarching topics; collections (00-XX) 4 Field theory and polynomials (12-XX) 3 Real functions (26-XX) 3 Functions of a complex variable (30-XX) 3 Geometry (51-XX) 3 Algebraic topology (55-XX) 3 Systems theory; control (93-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 1 Nonassociative rings and algebras (17-XX) 1 Several complex variables and analytic spaces (32-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Mechanics of particles and systems (70-XX) 1 Relativity and gravitational theory (83-XX) 1 Biology and other natural sciences (92-XX) Citations by Year