Edit Profile (opens in new tab) Mundici, Daniele Compute Distance To: Compute Author ID: mundici.daniele Published as: Mundici, Daniele; Mundici, D.; Mundici, Danile more...less Homepage: http://web.math.unifi.it/users/mundici/ External Links: MGP Documents Indexed: 174 Publications since 1979, including 4 Books 13 Contributions as Editor · 2 Further Contributions Reviewing Activity: 309 Reviews Biographic References: 1 Publication Co-Authors: 49 Co-Authors with 76 Joint Publications 1,286 Co-Co-Authors all top 5 Co-Authors 111 single-authored 12 Cabrer, Leonardo Manuel 10 Cignoli, Roberto 9 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 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 Pedrini, Andrea 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 7 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 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 Algebra Universalis 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 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 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 Seminarbericht. 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) 90 Order, lattices, ordered algebraic structures (06-XX) 29 Functional analysis (46-XX) 24 Computer science (68-XX) 18 Convex and discrete geometry (52-XX) 13 Group theory and generalizations (20-XX) 13 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 13 Information and communication theory, circuits (94-XX) 12 General and overarching topics; collections (00-XX) 11 Probability theory and stochastic processes (60-XX) 10 General algebraic systems (08-XX) 8 Measure and integration (28-XX) 6 Number theory (11-XX) 6 Dynamical systems and ergodic theory (37-XX) 5 Algebraic geometry (14-XX) 5 Manifolds and cell complexes (57-XX) 4 Combinatorics (05-XX) 4 Category theory; homological algebra (18-XX) 4 Topological groups, Lie groups (22-XX) 4 Operator theory (47-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 Associative rings and algebras (16-XX) 2 Quantum theory (81-XX) 1 Commutative algebra (13-XX) 1 Sequences, series, summability (40-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Geometry (51-XX) 1 Statistical mechanics, structure of matter (82-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 138 Publications have been cited 2,189 times in 1,087 Documents Cited by ▼ Year ▼ Algebraic foundations of many-valued reasoning. Zbl 0937.06009Cignoli, Roberto L. O.; D’Ottaviano, Itala M. Loffredo; Mundici, Daniele 448 2000 Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus. Zbl 0597.46059Mundici, Daniele 412 1986 Averaging the truth-value in Łukasiewicz logic. Zbl 0836.03016Mundici, Daniele 154 1995 Advanced Łukasiewicz calculus and MV-algebras. Zbl 1235.03002Mundici, Daniele 106 2011 Probability on MV-algebras. Zbl 1017.28002Riečan, Beloslav; Mundici, Daniele 75 2002 Model-theoretic logics. (Parts A-C). Zbl 0587.03001 71 1985 Tensor products and the Loomis-Sikorski theorem for MV-algebras. Zbl 0926.06004Mundici, Daniele 65 1999 MV-algebras are categorically equivalent to bounded commutative BCK- algebras. Zbl 0633.03066Mundici, Daniele 50 1986 De Finetti theorem and Borel states in \([0, 1]\)-valued algebraic logic. Zbl 1189.03076Kühr, Jan; Mundici, Daniele 48 2007 Bookmaking over infinite-valued events. Zbl 1123.03011Mundici, Daniele 46 2006 A constructive proof of McNaughton’s theorem in infinite-valued logic. Zbl 0807.03012Mundici, Daniele 37 1994 Satisfiability in many-valued sentential logic is NP-complete. Zbl 0639.03042Mundici, Daniele 34 1987 Farey stellar subdivisions, ultrasimplicial groups, and \(K_ 0\) of AF \(C^*\)-algebras. Zbl 0678.06008Mundici, Daniele 33 1988 Extending Stone duality to multisets and locally finite MV-algebras. Zbl 1055.06004Cignoli, Roberto; Dubuc, Eduardo J.; Mundici, Daniele 30 2004 Free products in the category of Abelian \(\ell\)-groups with strong unit. Zbl 0658.06010Mundici, Daniele 28 1988 Ulam’s searching game with lies. Zbl 0674.90110Czyzowicz, Jurek; Mundici, Daniele; Pelc, Andrzej 24 1989 MV-algebras: a variety for magnitudes with archimedean units. Zbl 1093.06010Gispert, Joan; Mundici, Daniele 23 2005 The Lebesgue state of a unital abelian lattice-ordered group. Zbl 1136.06009Marra, Vincenzo; Mundici, Daniele 19 2007 Logic of infinite quantum systems. Zbl 0799.03019Mundici, Daniele 16 1993 The Haar theorem for lattice-ordered abelian groups with order-unit. Zbl 1154.28007Mundici, Daniele 16 2008 Reconstructing \(C^*\)-algebras from their Murray von Neumann orders. Zbl 0823.46053Cignoli, Roberto; Elliott, George A.; Mundici, Daniele 14 1993 Ulam games, Łukasiewicz logic, and AF \(C^*\)-algebras. Zbl 0780.03030Mundici, Daniele 14 1993 The logic of Ulam’s game with lies. Zbl 0831.90131Mundici, Daniele 13 1992 Mapping Abelian \(\ell\)-groups with strong unit one-one into MV algebras. Zbl 0579.06016Mundici, Daniele 13 1986 Optimal comparison strategies in Ulam’s searching game with two errors. Zbl 0902.90191Mundici, Daniele; Trombetta, Alberto 12 1997 A Cantor-Bernstein theorem for \(\sigma \)-complete MV-algebras. Zbl 1024.06003De Simone, A.; Mundici, D.; Navara, M. 12 2003 Geometry of Robinson consistency in Łukasiewicz logic. Zbl 1125.03016Busaniche, Manuela; Mundici, Daniele 12 2007 An elementary proof of Chang’s completeness theorem for the infinite-valued calculus of Łukasiewicz. Zbl 0876.03011Cignoli, Roberto; Mundici, Daniele 11 1997 Lattice-ordered abelian groups and Schauder bases of unimodular fans. Zbl 1118.06009Manara, Corrado; Marra, Vincenzo; Mundici, Daniele 11 2007 Simple Bratteli diagrams with a Gödel-incomplete C*-equivalence problem. Zbl 1042.46033Mundici, Daniele 11 2004 Extending addition in Elliott’s local semigroup. Zbl 0799.46077Mundici, Daniele; Panti, Giovanni 10 1993 Solution of Ulam’s problem on binary search with two lies. Zbl 0662.68059Czyzowicz, Jurek; Pelc, Andrzej; Mundici, Daniele 10 1988 Rota-Metropolis cubic logic and Ulam-Rényi games. Zbl 0978.03045Cicalese, F.; Mundici, D.; Vaccaro, U. 10 2001 Recent developments of feedback coding and its relations with many-valued logic. Zbl 1319.03040Cicalese, Ferdinando; Mundici, Daniele 10 2011 Rational polyhedra and projective lattice-ordered abelian groups with order unit. Zbl 1275.06002Cabrer, Leonardo; Mundici, Daniele 10 2012 An elementary presentation of the equivalence between MV-algebras and \(\ell\)-groups with strong unit. Zbl 0964.06009Cignoli, Roberto; Mundici, Daniele 9 1998 Tautologies with a unique Craig interpolant, uniform vs. nonuniform complexity. Zbl 0594.03022Mundici, Daniele 9 1984 Resolution and model building in the infinite-valued calculus of Łukasiewicz. Zbl 0921.03013Mundici, Daniele; Olivetti, Nicola 9 1998 An invitation to Chang’s MV algebras. Zbl 0935.06010Cignoli, Roberto; Mundici, Daniele 9 1997 Projective MV-algebras and rational polyhedra. Zbl 1196.06004Cabrer, Leonardo Manuel; Mundici, Daniele 9 2009 Ultraproducts of \(\mathbb{Z}\) with an application to many-valued logics. Zbl 0937.06008Gispert i Brasó, Joan; Mundici, Daniele; Torrens Torrell, Antoni 8 1999 Functions computed by monotone Boolean formulas with no repeated variables. Zbl 0674.94025Mundici, Daniele 8 1989 An algorithmic desingularization of 3-dimensional toric varieties. Zbl 0817.14036Aguzzoli, Stefano; Mundici, Daniele 7 1994 Interpretation of De Finetti coherence criterion in Łukasiewicz logic. Zbl 1180.03029Mundici, Daniele 7 2009 Least adaptive optimal search with unreliable tests. Zbl 0988.68057Cicalese, Ferdinando; Mundici, Daniele; Vaccaro, Ugo 7 2002 Optimal binary search with two unreliable tests and minimum adaptiveness. Zbl 0948.91009Cicalese, Ferdinando; Mundici, Daniele 7 1999 A characterisation of lattice-ordered Abelian groups. Zbl 0789.06011Elliott, George A.; Mundici, Daniele 7 1993 Compactness, interpolation and Friedman’s third problem. Zbl 0495.03020Mundici, Daniele 6 1982 A lower bound for the complexity of Craig’s interpolants in sentential logic. Zbl 0511.03004Mundici, Daniele 6 1983 A characterization of the free \(n\)-generated MV-algebra. Zbl 1094.06010Mundici, Daniele 6 2006 Łukasiewicz normal forms and toric desingularizations. Zbl 0865.03014Mundici, Daniele 6 1996 Recognizing the Farey-Stern-Brocot AF algebra. Zbl 1185.46042Mundici, Daniele 6 2009 Gödel incompleteness in AF C\(^*\)-algebras. Zbl 1163.46036Mundici, Daniele; Tsinakis, Constantine 6 2008 Perfect two-fault tolerant search with minimum adaptiveness. Zbl 0965.68014Cicalese, Ferdinando; Mundici, Daniele 6 2000 Confluence and combinatorics in finitely generated unital lattice-ordered abelian groups. Zbl 1277.06007Busaniche, Manuela; Cabrer, Leonardo; Mundici, Daniele 6 2012 Classifying orbits of the affine group over the integers. Zbl 1417.37114Cabrer, Leonardo Manuel; Mundici, Daniele 6 2017 Word problems in Elliott monoids. Zbl 1404.46061Mundici, Daniele 6 2018 Revisiting the Farey AF algebra. Zbl 1269.46041Mundici, Daniele 5 2011 Reasoning on imprecisely defined functions. Zbl 1007.03024Mundici, Daniele 5 2000 Robinson’s consistency theorem in soft model theory. Zbl 0519.03031Mundici, Daniele 5 1981 Complexity of Craig’s interpolation. Zbl 0507.03025Mundici, Daniele 5 1982 Faithful and invariant conditional probability in Łukasiewicz logic. Zbl 1163.03016Mundici, Daniele 5 2009 Weierstrass approximation theorem and Łukasiewicz formulas with one quantified variable. Zbl 1046.03010Aguzzoli, Stefano; Mundici, Daniele 5 2003 Stone duality for Dedekind \(\sigma\)-complete \(\ell\)-groups with order-unit. Zbl 1108.06011Cignoli, Roberto; Mundici, Daniele 5 2006 Invariant measure under the affine group over \(\mathbb Z\). Zbl 1298.52016Mundici, Daniele 5 2014 The differential semantics of Łukasiewicz syntactic consequence. Zbl 1386.03022Mundici, Daniele 5 2015 Bouligand-Severi tangents in MV-algebras. Zbl 1319.06009Busaniche, Manuela; Mundici, Daniele 5 2014 Duality between logics and equivalence relations. Zbl 0497.03018Mundici, Daniele 4 1982 Partial isomorphisms on totally ordered abelian groups and Hájek’s completeness theorem for basic logic. Zbl 1020.03019Cignoli, Roberto; Mundici, Daniele 4 2001 Decidable and undecidable prime theories in infinite-valued logic. Zbl 1130.03019Mundici, Daniele; Panti, Giovanni 4 2001 Revisiting the free 2-generator abelian \(\ell\)-group. Zbl 1118.06010Mundici, Daniele 4 2007 Representation of \(\sigma\)-complete MV-algebras and their associated Dedekind \(\sigma\)-complete \(\ell\)-groups. Zbl 1119.06009Mundici, Daniele 4 2006 The derivative of truth in Łukasiewicz sentential calculus. Zbl 0648.03011Mundici, Daniele 4 1988 Finitely presented lattice-ordered abelian groups with order-unit. Zbl 1261.06022Cabrer, Leonardo; Mundici, Daniele 4 2011 Optimal coding with one asymmetric error: Below the sphere packing bound. Zbl 0996.94054Cicalese, Ferdinando; Mundici, Daniele 4 2000 The complexity of adaptive error-correcting codes. Zbl 0799.94010Mundici, Daniele 4 1991 Hopfian \(\ell\)-groups, MV-algebras and AF \({\mathrm{C}^{*}}\)-algebras. Zbl 1429.06013Mundici, Daniele 4 2016 Coherence of de Finetti coherence. Zbl 1387.60009Mundici, Daniele 4 2017 Applications of many-sorted Robinson consistency theorem. Zbl 0463.03023Mundici, Daniele 3 1981 An algebraic result about soft model theoretical equivalence relations with an application to H. Friedman’s fourth problem. Zbl 0465.03020Mundici, Daniele 3 1981 Interpolation, compactness and jep in soft model theory. Zbl 0495.03019Mundici, Daniele 3 1982 A proof of the completeness of the infinite-valued calculus of Łukasiewicz with one variable. Zbl 0830.03011Mundici, D.; Pasquetto, M. 3 1995 Geometry of filters in free MV-algebras. Zbl 1158.06306Mundici, Daniele 3 2008 Free generating sets of lattice-ordered abelian groups. Zbl 1141.06018Mundici, Daniele 3 2007 Finite axiomatizability in Łukasiewicz logic. Zbl 1248.03043Mundici, Daniele 3 2011 Model-theoretic logics. (Parts D-F). Zbl 0587.03002 3 1985 Every Abelian \(\ell\)-group with two positive generators is ultrasimplicial. Zbl 0605.06014Mundici, Daniele 3 1987 Normal forms in infinite-valued logic: The case of one variable. Zbl 0783.03010Mundici, D. 3 1992 Łukasiewicz logic and Chang’s MV algebras in action. Zbl 1051.03023Marra, V.; Mundici, D. 3 2003 An MV-algebraic invariant for Boolean algebras with a finite-orbit automorphism. Zbl 1064.06006Cignoli, Roberto; Dubuc, Eduardo J.; Mundici, Daniele 3 2003 Fans, decision problems and generators of free abelian \(\ell\)-groups. Zbl 1473.06023Mundici, Daniele 3 2017 Interval MV-algebras and generalizations. Zbl 1326.06011Cabrer, Leonardo Manuel; Mundici, Daniele 3 2014 MV-algebras and abelian \(\ell\)-groups: a fruitful interaction. Zbl 1070.06004Marra, Vincenzo; Mundici, Daniele 3 2002 Robinson consistency theorem in soft model theory. Zbl 0464.03032Mundici, Daniele 2 1979 Combinatorial fans, lattice-ordered groups, and their neighbours: A short excursion. Zbl 1031.06011Marra, Vincenzo; Mundici, Daniele 2 2002 Solution of Rota’s problem on the order of series-parallel networks. Zbl 0748.94024Mundici, Daniele 2 1991 Paper machines. Zbl 0851.03010Mundici, Daniele; Sieg, Wilfried 2 1995 Compactness\(=JEP\) in any logic. Zbl 0564.03034Mundici, Daniele 2 1983 Turing complexity of Behncke-Leptin \(C^*\)-algebras with a two-point dual. Zbl 0865.03033Mundici, Daniele 2 1992 Least adaptive optimal search with unreliable tests. Zbl 0966.68060Cicalese, Ferdinando; Mundici, Daniele; Vaccaro, Ugo 2 2000 Deciding Koopman’s qualitative probability. Zbl 07418682Mundici, Daniele 1 2021 Bratteli diagrams via the De Concini-Procesi theorem. Zbl 1486.46066Mundici, Daniele 1 2021 What the Łukasiewicz axioms mean. Zbl 1476.03030Mundici, Daniele 1 2020 Betting on continuous independent events. Zbl 1418.03117Mundici, Daniele 1 2019 Word problems in Elliott monoids. Zbl 1404.46061Mundici, Daniele 6 2018 A geometric approach to MV-algebras. Zbl 1429.06014Mundici, Daniele 1 2018 Recognizing free generating sets of \(\ell\)-groups. Zbl 1473.06016Mundici, Daniele 1 2018 Classifying orbits of the affine group over the integers. Zbl 1417.37114Cabrer, Leonardo Manuel; Mundici, Daniele 6 2017 Coherence of de Finetti coherence. Zbl 1387.60009Mundici, Daniele 4 2017 Fans, decision problems and generators of free abelian \(\ell\)-groups. Zbl 1473.06023Mundici, Daniele 3 2017 Idempotent endomorphisms of free MV-algebras and unital \(\ell\)-groups. Zbl 1362.06003Cabrer, Leonardo Manuel; Mundici, Daniele 1 2017 Hopfian \(\ell\)-groups, MV-algebras and AF \({\mathrm{C}^{*}}\)-algebras. Zbl 1429.06013Mundici, Daniele 4 2016 Polyhedral MV-algebras. Zbl 1385.06003Busaniche, Manuela; Cabrer, Leonardo; Mundici, Daniele 2 2016 Classifying GL\((n,\mathbb{Z})\)-orbits of points and rational subspaces. Zbl 1369.37034Mundici, Daniele; Cabrer, Leonardo Manuel 1 2016 Logic on the \(n\)-cube. Zbl 1444.03182Mundici, Daniele 1 2016 The differential semantics of Łukasiewicz syntactic consequence. Zbl 1386.03022Mundici, Daniele 5 2015 A Stone-Weierstrass theorem for MV-algebras and unital \(\ell\)-groups. Zbl 1323.06011Cabrer, Leonardo Manuel; Mundici, Daniele 2 2015 Severi-Bouligand tangents, Frenet frames and Riesz spaces. Zbl 1322.46005Cabrer, Leonardo Manuel; Mundici, Daniele 1 2015 Invariant measure under the affine group over \(\mathbb Z\). Zbl 1298.52016Mundici, Daniele 5 2014 Bouligand-Severi tangents in MV-algebras. Zbl 1319.06009Busaniche, Manuela; Mundici, Daniele 5 2014 Interval MV-algebras and generalizations. Zbl 1326.06011Cabrer, Leonardo Manuel; Mundici, Daniele 3 2014 Universal properties of Łukasiewicz consequence. Zbl 1344.03029Mundici, Daniele 1 2014 Rational polyhedra and projective lattice-ordered abelian groups with order unit. Zbl 1275.06002Cabrer, Leonardo; Mundici, Daniele 10 2012 Confluence and combinatorics in finitely generated unital lattice-ordered abelian groups. Zbl 1277.06007Busaniche, Manuela; Cabrer, Leonardo; Mundici, Daniele 6 2012 Advanced Łukasiewicz calculus and MV-algebras. Zbl 1235.03002Mundici, Daniele 106 2011 Recent developments of feedback coding and its relations with many-valued logic. Zbl 1319.03040Cicalese, Ferdinando; Mundici, Daniele 10 2011 Revisiting the Farey AF algebra. Zbl 1269.46041Mundici, Daniele 5 2011 Finitely presented lattice-ordered abelian groups with order-unit. Zbl 1261.06022Cabrer, Leonardo; Mundici, Daniele 4 2011 Finite axiomatizability in Łukasiewicz logic. Zbl 1248.03043Mundici, Daniele 3 2011 A compact \([0,1]\)-valued first-order Łukasiewicz logic with identity on Hilbert space. Zbl 1220.03010Mundici, Daniele 2 2011 Consequence and interpolation in Łukasiewicz logic. Zbl 1242.03055Mundici, Daniele 2 2011 From free abelian groups to free abelian \(\ell \)-groups. Zbl 1265.06055Kühr, Jan; Mundici, Daniele 1 2011 Projective MV-algebras and rational polyhedra. Zbl 1196.06004Cabrer, Leonardo Manuel; Mundici, Daniele 9 2009 Interpretation of De Finetti coherence criterion in Łukasiewicz logic. Zbl 1180.03029Mundici, Daniele 7 2009 Recognizing the Farey-Stern-Brocot AF algebra. Zbl 1185.46042Mundici, Daniele 6 2009 Faithful and invariant conditional probability in Łukasiewicz logic. Zbl 1163.03016Mundici, Daniele 5 2009 Conditionals and independence in many-valued logics. Zbl 1245.03031Mundici, Daniele 1 2009 The Haar theorem for lattice-ordered abelian groups with order-unit. Zbl 1154.28007Mundici, Daniele 16 2008 Gödel incompleteness in AF C\(^*\)-algebras. Zbl 1163.46036Mundici, Daniele; Tsinakis, Constantine 6 2008 Geometry of filters in free MV-algebras. Zbl 1158.06306Mundici, 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.03076Kühr, Jan; Mundici, Daniele 48 2007 The Lebesgue state of a unital abelian lattice-ordered group. Zbl 1136.06009Marra, Vincenzo; Mundici, Daniele 19 2007 Geometry of Robinson consistency in Łukasiewicz logic. Zbl 1125.03016Busaniche, Manuela; Mundici, Daniele 12 2007 Lattice-ordered abelian groups and Schauder bases of unimodular fans. Zbl 1118.06009Manara, Corrado; Marra, Vincenzo; Mundici, Daniele 11 2007 Revisiting the free 2-generator abelian \(\ell\)-group. Zbl 1118.06010Mundici, Daniele 4 2007 Free generating sets of lattice-ordered abelian groups. Zbl 1141.06018Mundici, Daniele 3 2007 Embedding in finitely presented lattice-ordered groups: explicit presentation for constructions. Zbl 1125.06013Glass, A. M. W.; Marra, Vincenzo; Mundici, Daniele 1 2007 Bookmaking over infinite-valued events. Zbl 1123.03011Mundici, Daniele 46 2006 A characterization of the free \(n\)-generated MV-algebra. Zbl 1094.06010Mundici, Daniele 6 2006 Stone duality for Dedekind \(\sigma\)-complete \(\ell\)-groups with order-unit. Zbl 1108.06011Cignoli, Roberto; Mundici, Daniele 5 2006 Representation of \(\sigma\)-complete MV-algebras and their associated Dedekind \(\sigma\)-complete \(\ell\)-groups. Zbl 1119.06009Mundici, Daniele 4 2006 Kleene-isomorphic \(\sigma\)-complete MV-algebras with product are isomorphic. Zbl 1161.06005Cignoli, Roberto; Mundici, Daniele; Navara, Mirko 1 2006 MV-algebras: a variety for magnitudes with archimedean units. Zbl 1093.06010Gispert, Joan; Mundici, Daniele 23 2005 Extending Stone duality to multisets and locally finite MV-algebras. Zbl 1055.06004Cignoli, Roberto; Dubuc, Eduardo J.; Mundici, Daniele 30 2004 Simple Bratteli diagrams with a Gödel-incomplete C*-equivalence problem. Zbl 1042.46033Mundici, Daniele 11 2004 \(Q\)-ary Ulam-Rényi game with weighted constrained lies. Zbl 1091.68038Cicalese, Ferdinando; Deppe, Christian; Mundici, Daniele 1 2004 A Cantor-Bernstein theorem for \(\sigma \)-complete MV-algebras. Zbl 1024.06003De Simone, A.; Mundici, D.; Navara, M. 12 2003 Weierstrass approximation theorem and Łukasiewicz formulas with one quantified variable. Zbl 1046.03010Aguzzoli, Stefano; Mundici, Daniele 5 2003 Łukasiewicz logic and Chang’s MV algebras in action. Zbl 1051.03023Marra, V.; Mundici, D. 3 2003 An MV-algebraic invariant for Boolean algebras with a finite-orbit automorphism. Zbl 1064.06006Cignoli, Roberto; Dubuc, Eduardo J.; Mundici, Daniele 3 2003 Probability on MV-algebras. Zbl 1017.28002Riečan, Beloslav; Mundici, Daniele 75 2002 Least adaptive optimal search with unreliable tests. Zbl 0988.68057Cicalese, Ferdinando; Mundici, Daniele; Vaccaro, Ugo 7 2002 MV-algebras and abelian \(\ell\)-groups: a fruitful interaction. Zbl 1070.06004Marra, Vincenzo; Mundici, Daniele 3 2002 Combinatorial fans, lattice-ordered groups, and their neighbours: A short excursion. Zbl 1031.06011Marra, Vincenzo; Mundici, Daniele 2 2002 Fault-tolerance and Rota-Metropolis cubic logic. Zbl 1041.03055Mundici, Daniele 1 2002 Rota-Metropolis cubic logic and Ulam-Rényi games. Zbl 0978.03045Cicalese, F.; Mundici, D.; Vaccaro, U. 10 2001 Partial isomorphisms on totally ordered abelian groups and Hájek’s completeness theorem for basic logic. Zbl 1020.03019Cignoli, Roberto; Mundici, Daniele 4 2001 Decidable and undecidable prime theories in infinite-valued logic. Zbl 1130.03019Mundici, Daniele; Panti, Giovanni 4 2001 Algebraic foundations of many-valued reasoning. Zbl 0937.06009Cignoli, Roberto L. O.; D’Ottaviano, Itala M. Loffredo; Mundici, Daniele 448 2000 Perfect two-fault tolerant search with minimum adaptiveness. Zbl 0965.68014Cicalese, Ferdinando; Mundici, Daniele 6 2000 Reasoning on imprecisely defined functions. Zbl 1007.03024Mundici, Daniele 5 2000 Optimal coding with one asymmetric error: Below the sphere packing bound. Zbl 0996.94054Cicalese, Ferdinando; Mundici, Daniele 4 2000 Least adaptive optimal search with unreliable tests. Zbl 0966.68060Cicalese, Ferdinando; Mundici, Daniele; Vaccaro, Ugo 2 2000 Tensor products and the Loomis-Sikorski theorem for MV-algebras. Zbl 0926.06004Mundici, Daniele 65 1999 Ultraproducts of \(\mathbb{Z}\) with an application to many-valued logics. Zbl 0937.06008Gispert i Brasó, Joan; Mundici, Daniele; Torrens Torrell, Antoni 8 1999 Optimal binary search with two unreliable tests and minimum adaptiveness. Zbl 0948.91009Cicalese, Ferdinando; Mundici, Daniele 7 1999 Classes of ultrasimplicial lattice-ordered abelian groups. Zbl 0918.06009Mundici, Daniele 2 1999 Ulam game, the logic of MAXSAT, and many-valued partitions. Zbl 1122.03306Mundici, Daniele 1 1999 Twenty questions with many-valued answers. Zbl 0935.03033Mundici, Daniele; Panti, Giovanni 1 1999 A constructive proof that every 3-generated \(\ell\)-group is ultrasimplicial. Zbl 1002.06014Mundici, Daniele; Panti, Giovanni 1 1999 An elementary presentation of the equivalence between MV-algebras and \(\ell\)-groups with strong unit. Zbl 0964.06009Cignoli, Roberto; Mundici, Daniele 9 1998 Resolution and model building in the infinite-valued calculus of Łukasiewicz. Zbl 0921.03013Mundici, Daniele; Olivetti, Nicola 9 1998 Optimal comparison strategies in Ulam’s searching game with two errors. Zbl 0902.90191Mundici, Daniele; Trombetta, Alberto 12 1997 An elementary proof of Chang’s completeness theorem for the infinite-valued calculus of Łukasiewicz. Zbl 0876.03011Cignoli, Roberto; Mundici, Daniele 11 1997 An invitation to Chang’s MV algebras. Zbl 0935.06010Cignoli, Roberto; Mundici, Daniele 9 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.00048Dalla Chiara, Maria Luisa 1 1997 Łukasiewicz normal forms and toric desingularizations. Zbl 0865.03014Mundici, Daniele 6 1996 Averaging the truth-value in Łukasiewicz logic. Zbl 0836.03016Mundici, Daniele 154 1995 A proof of the completeness of the infinite-valued calculus of Łukasiewicz with one variable. Zbl 0830.03011Mundici, D.; Pasquetto, M. 3 1995 Paper machines. Zbl 0851.03010Mundici, Daniele; Sieg, Wilfried 2 1995 A constructive proof of McNaughton’s theorem in infinite-valued logic. Zbl 0807.03012Mundici, Daniele 37 1994 An algorithmic desingularization of 3-dimensional toric varieties. Zbl 0817.14036Aguzzoli, Stefano; Mundici, Daniele 7 1994 Logic of infinite quantum systems. Zbl 0799.03019Mundici, Daniele 16 1993 Reconstructing \(C^*\)-algebras from their Murray von Neumann orders. Zbl 0823.46053Cignoli, Roberto; Elliott, George A.; Mundici, Daniele 14 1993 Ulam games, Łukasiewicz logic, and AF \(C^*\)-algebras. Zbl 0780.03030Mundici, Daniele 14 1993 Extending addition in Elliott’s local semigroup. Zbl 0799.46077Mundici, Daniele; Panti, Giovanni 10 1993 A characterisation of lattice-ordered Abelian groups. Zbl 0789.06011Elliott, George A.; Mundici, Daniele 7 1993 Logic and algebra in Ulam’s searching game with lies. Zbl 0792.03042Mundici, Daniele 1 1993 The logic of Ulam’s game with lies. Zbl 0831.90131Mundici, Daniele 13 1992 ...and 38 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 648 Authors 77 Dvurečenskij, Anatolij 76 Mundici, Daniele 62 Di Nola, Antonio 37 Jakubík, Ján 34 Montagna, Franco 27 Flaminio, Tommaso 24 Pulmannová, Sylvia 21 Kühr, Jan 21 Marra, Vincenzo 21 Rachůnek, Jiří 19 Chajda, Ivan 19 Lenzi, Giacomo 19 Rump, Wolfgang 17 Cabrer, Leonardo Manuel 17 Riečan, Beloslav 16 Belluce, Lawrence Peter 16 Godo, Lluís 16 Leuştean, Ioana 15 Georgescu, George 15 Lettieri, Ada 14 Botur, Michal 14 Freytes, Hector 13 Borumand Saeid, Arsham 13 Ciungu, Lavinia Corina 13 Gerla, Brunella 12 Frič, Roman 12 Hájek, Petr 12 Kroupa, Tomáš 12 Xin, Xiaolong 12 Zahiri, Omid 11 Aguzzoli, Stefano 11 Cicalese, Ferdinando 11 Díaz Varela, José Patricio 11 Lapenta, Serafina 11 Panti, Giovanni 10 Borzooei, Rajab Ali 10 Busaniche, Manuela 10 Cignoli, Roberto 10 Foulis, David James 10 Marchioni, Enrico 10 Nganou, Jean Bernard 10 Novák, Vilém 10 Spada, Luca 10 Tsinakis, Constantine 10 Turunen, Esko 9 Navara, Mirko 9 Šalounová, Dana 8 Agliano, Paolo 8 Forouzesh, Fereshteh 8 Grigolia, Revaz 8 Halaš, Radomír 8 Hosni, Hykel 8 Jenča, Gejza 8 Ledda, Antonio 8 Wang, Guojun 8 Yang, Yichuan 7 He, Pengfei 7 Metcalfe, George 7 Paseka, Jan 7 Russo, Ciro 7 Vetterlein, Thomas 7 Zhou, Hongjun 6 Castaño, Diego Nicolás 6 Gispert, Joan 6 Giuntini, Roberto 6 Haniková, Zuzana 6 Jenčová, Anna 6 Kowalski, Tomasz 6 Liu, Lianzhen 6 Murinová, Petra 6 Paoli, Francesco 6 Papčo, Martin 6 Poveda, Yuri A. 6 Vinceková, Elena 6 Vitale, Gaetano 5 Cimadamore, Cecilia Rossana 5 Davvaz, Bijan 5 Deppe, Christian 5 Domenech, Graciela 5 Dubuc, Eduardo J. 5 Esteva, Francesc 5 Fedel, Martina 5 Holland, Wilbur Charles jun. 5 Hyčko, Marek 5 Jenei, Sándor 5 Jipsen, Peter 5 Kim, Hee Sik 5 Neggers, Joseph 5 Sergioli, Giuseppe 5 Ugolini, Sara 5 Vaccaro, Ugo 5 Wang, Juntao 5 Xu, Yang 4 Abbadini, Marco 4 Bova, Simone 4 Caicedo, Xavier 4 Castiglioni, José Luis 4 Diaconescu, Denisa 4 Eslami, Esfandiar 4 Ferraioli, Anna Rita ...and 548 more Authors all top 5 Cited in 136 Serials 128 Fuzzy Sets and Systems 100 Soft Computing 67 Mathematica Slovaca 61 Studia Logica 45 Algebra Universalis 37 Czechoslovak Mathematical Journal 35 International Journal of Theoretical Physics 35 International Journal of Approximate Reasoning 31 Journal of Algebra 31 Archive for Mathematical Logic 30 Annals of Pure and Applied Logic 24 Journal of Pure and Applied Algebra 20 Kybernetika 19 Information Sciences 19 The Journal of Symbolic Logic 19 Theoretical Computer Science 16 Mathematical Logic Quarterly (MLQ) 15 Order 13 Reports on Mathematical Physics 13 Forum Mathematicum 10 Communications in Algebra 10 Journal of the Australian Mathematical Society 9 Artificial Intelligence 9 Journal of Mathematical Analysis and Applications 9 Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica 8 Journal of Applied Non-Classical Logics 7 Advances in Applied Mathematics 7 Journal of Multiple-Valued Logic and Soft Computing 6 Discrete Mathematics 6 The Bulletin of Symbolic Logic 6 Journal of Intelligent and Fuzzy Systems 6 Journal of Applied Logic 6 Foundations of Physics 6 Iranian Journal of Fuzzy Systems 5 Discrete Applied Mathematics 5 Transactions of the American Mathematical Society 5 Annals of Mathematics and Artificial Intelligence 5 Journal of Algebra and its Applications 4 International Journal of General Systems 4 Information Processing Letters 4 Advances in Mathematics 4 Journal of Combinatorial Theory. Series A 4 New Mathematics and Natural Computation 4 Journal of Algebraic Systems 3 Archiv für Mathematische Logik und Grundlagenforschung 3 Demonstratio Mathematica 3 Semigroup Forum 3 Synthese 3 Journal of Automated Reasoning 3 Applied Categorical Structures 3 Filomat 3 Journal of Group Theory 3 Logica Universalis 3 Asian-European Journal of Mathematics 3 The Review of Symbolic Logic 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 Proceedings of the American Mathematical Society 2 Results in Mathematics 2 Bulletin of the Section of Logic 2 Topology and its Applications 2 Information and Computation 2 Erkenntnis 2 Communications in Contemporary Mathematics 2 Central European Journal of Mathematics 2 ACM Transactions on Computational Logic 2 Open Mathematics 2 Algebraic Structures and their Applications 1 Computers & Mathematics with Applications 1 Journal of Mathematical Physics 1 Mathematical Biosciences 1 Problems of Information Transmission 1 Rocky Mountain Journal of Mathematics 1 Mathematics of Computation 1 Annali di Matematica Pura ed Applicata. Serie Quarta 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 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 1 Ergodic Theory and Dynamical Systems 1 Statistics & Probability Letters 1 Revista Matemática Iberoamericana 1 International Journal of Intelligent Systems 1 SIAM Journal on Discrete Mathematics 1 Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Serie IX. Rendiconti Lincei. Matematica e Applicazioni 1 Annals of Operations Research 1 Neural Computation 1 International Journal of Algebra and Computation 1 MSCS. Mathematical Structures in Computer Science ...and 36 more Serials all top 5 Cited in 43 Fields 728 Order, lattices, ordered algebraic structures (06-XX) 593 Mathematical logic and foundations (03-XX) 111 Computer science (68-XX) 110 Quantum theory (81-XX) 76 General algebraic systems (08-XX) 55 Probability theory and stochastic processes (60-XX) 54 Functional analysis (46-XX) 51 Measure and integration (28-XX) 44 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 31 Category theory; homological algebra (18-XX) 30 Group theory and generalizations (20-XX) 30 General topology (54-XX) 21 Convex and discrete geometry (52-XX) 20 Associative rings and algebras (16-XX) 14 Information and communication theory, circuits (94-XX) 13 Combinatorics (05-XX) 13 Dynamical systems and ergodic theory (37-XX) 12 Commutative algebra (13-XX) 10 Operator theory (47-XX) 8 Number theory (11-XX) 8 Algebraic geometry (14-XX) 7 History and biography (01-XX) 6 Topological groups, Lie groups (22-XX) 6 Manifolds and cell complexes (57-XX) 6 Statistics (62-XX) 6 Operations research, mathematical programming (90-XX) 5 \(K\)-theory (19-XX) 4 General and overarching topics; collections (00-XX) 3 Algebraic topology (55-XX) 2 Field theory and polynomials (12-XX) 2 Real functions (26-XX) 2 Geometry (51-XX) 2 Systems theory; control (93-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Nonassociative rings and algebras (17-XX) 1 Functions of a complex variable (30-XX) 1 Several complex variables and analytic spaces (32-XX) 1 Partial differential equations (35-XX) 1 Difference and functional equations (39-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