# zbMATH — the first resource for mathematics

## Mundici, Daniele

Compute Distance To:
 Author ID: mundici.daniele Published as: Mundici, D.; Mundici, Daniele; Mundici, Danile
 Documents Indexed: 176 Publications since 1979, including 12 Books Reviewing Activity: 304 Reviews Biographic References: 1 Publication
all top 5

#### Co-Authors

 100 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 Czyzowicz, Jurek 2 Doets, Kees 2 D’Ottaviano, Itala M. Loffredo 2 Dubuc, Eduardo J. 2 Elliott, George A. 2 Gispert, Joan 2 Gottlob, Georg 2 Kühr, Jan 2 Leitsch, Alexander 2 Navara, Mirko 2 Pelc, Andrzej 2 van Benthem, Johan F. A. K. 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 7 Journal of Algebra 7 Annals of Pure and Applied Logic 5 Theoretical Computer Science 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 The Journal of Symbolic Logic 4 Transactions of the American Mathematical Society 4 Advances in Applied Mathematics 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 International Journal of Approximate Reasoning 3 Lecture Notes in Computer Science 2 Journal of Combinatorial Theory. Series A 2 Journal of Functional Analysis 2 Mathematica Japonica 2 Proceedings of the American Mathematical Society 2 Synthese 2 Annales Societatis Mathematicae Polonae. Series IV 2 Journal of Logic, Language and Information 2 Discrete and Continuous Dynamical Systems 2 Soft Computing 2 Synthese Library 2 Trends in Logic – Studia Logica Library 2 Unitext 1 Discrete Applied Mathematics 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 Tohoku 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 Communications in Contemporary Mathematics 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
all top 5

#### Fields

 113 Mathematical logic and foundations (03-XX) 84 Order, lattices, ordered algebraic structures (06-XX) 27 Functional analysis (46-XX) 20 Computer science (68-XX) 18 Convex and discrete geometry (52-XX) 13 Information and communication theory, circuits (94-XX) 12 General and overarching topics; collections (00-XX) 12 Group theory and generalizations (20-XX) 12 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 9 General algebraic systems (08-XX) 8 Probability theory and stochastic processes (60-XX) 6 Measure and integration (28-XX) 6 Dynamical systems and ergodic theory (37-XX) 5 Number theory (11-XX) 5 Algebraic geometry (14-XX) 5 Algebraic topology (55-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 General topology (54-XX) 3 History and biography (01-XX) 3 Real functions (26-XX) 2 Associative rings and algebras (16-XX) 2 Operator theory (47-XX) 2 Quantum theory (81-XX) 1 Commutative algebra (13-XX) 1 $$K$$-theory (19-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)

#### Citations contained in zbMATH

128 Publications have been cited 1,988 times in 991 Documents Cited by Year
Algebraic foundations of many-valued reasoning. Zbl 0937.06009
Cignoli, Roberto L. O.; D’Ottaviano, Itala M. Loffredo; Mundici, Daniele
2000
Interpretation of AF $$C^*$$-algebras in Łukasiewicz sentential calculus. Zbl 0597.46059
Mundici, Daniele
1986
Averaging the truth-value in Łukasiewicz logic. Zbl 0836.03016
Mundici, Daniele
1995
Advanced Łukasiewicz calculus and MV-algebras. Zbl 1235.03002
Mundici, Daniele
2011
Probability on MV-algebras. Zbl 1017.28002
Riečan, Beloslav; Mundici, Daniele
2002
Tensor products and the Loomis-Sikorski theorem for MV-algebras. Zbl 0926.06004
Mundici, Daniele
1999
De Finetti theorem and Borel states in $$[0, 1]$$-valued algebraic logic. Zbl 1189.03076
Kühr, Jan; Mundici, Daniele
2007
MV-algebras are categorically equivalent to bounded commutative BCK- algebras. Zbl 0633.03066
Mundici, Daniele
1986
Bookmaking over infinite-valued events. Zbl 1123.03011
Mundici, Daniele
2006
A constructive proof of McNaughton’s theorem in infinite-valued logic. Zbl 0807.03012
Mundici, Daniele
1994
Farey stellar subdivisions, ultrasimplicial groups, and $$K_ 0$$ of AF $$C^*$$-algebras. Zbl 0678.06008
Mundici, Daniele
1988
Satisfiability in many-valued sentential logic is NP-complete. Zbl 0639.03042
Mundici, Daniele
1987
Free products in the category of Abelian $$\ell$$-groups with strong unit. Zbl 0658.06010
Mundici, Daniele
1988
Extending Stone duality to multisets and locally finite MV-algebras. Zbl 1055.06004
Cignoli, Roberto; Dubuc, Eduardo J.; Mundici, Daniele
2004
Ulam’s searching game with lies. Zbl 0674.90110
Czyzowicz, Jurek; Mundici, Daniele; Pelc, Andrzej
1989
MV-algebras: a variety for magnitudes with archimedean units. Zbl 1093.06010
Gispert, Joan; Mundici, Daniele
2005
The Lebesgue state of a unital abelian lattice-ordered group. Zbl 1136.06009
Marra, Vincenzo; Mundici, Daniele
2007
Logic of infinite quantum systems. Zbl 0799.03019
Mundici, Daniele
1993
The Haar theorem for lattice-ordered abelian groups with order-unit. Zbl 1154.28007
Mundici, Daniele
2008
Ulam games, Łukasiewicz logic, and AF $$C^*$$-algebras. Zbl 0780.03030
Mundici, Daniele
1993
Optimal comparison strategies in Ulam’s searching game with two errors. Zbl 0902.90191
Mundici, Daniele; Trombetta, Alberto
1997
Reconstructing $$C^*$$-algebras from their Murray von Neumann orders. Zbl 0823.46053
Cignoli, Roberto; Elliott, George A.; Mundici, Daniele
1993
The logic of Ulam’s game with lies. Zbl 0831.90131
Mundici, Daniele
1992
Lattice-ordered abelian groups and Schauder bases of unimodular fans. Zbl 1118.06009
Manara, Corrado; Marra, Vincenzo; Mundici, Daniele
2007
Mapping Abelian $$\ell$$-groups with strong unit one-one into MV algebras. Zbl 0579.06016
Mundici, Daniele
1986
Simple Bratteli diagrams with a Gödel-incomplete C*-equivalence problem. Zbl 1042.46033
Mundici, Daniele
2004
A Cantor-Bernstein theorem for $$\sigma$$-complete MV-algebras. Zbl 1024.06003
De Simone, A.; Mundici, D.; Navara, M.
2003
Rota-Metropolis cubic logic and Ulam-Rényi games. Zbl 0978.03045
Cicalese, F.; Mundici, D.; Vaccaro, U.
2001
An elementary proof of Chang’s completeness theorem for the infinite-valued calculus of Łukasiewicz. Zbl 0876.03011
Cignoli, Roberto; Mundici, Daniele
1997
Solution of Ulam’s problem on binary search with two lies. Zbl 0662.68059
Czyzowicz, Jurek; Pelc, Andrzej; Mundici, Daniele
1988
Rational polyhedra and projective lattice-ordered abelian groups with order unit. Zbl 1275.06002
Cabrer, Leonardo; Mundici, Daniele
2012
Recent developments of feedback coding and its relations with many-valued logic. Zbl 1319.03040
Cicalese, Ferdinando; Mundici, Daniele
2011
Geometry of Robinson consistency in Łukasiewicz logic. Zbl 1125.03016
Busaniche, Manuela; Mundici, Daniele
2007
Resolution and model building in the infinite-valued calculus of Łukasiewicz. Zbl 0921.03013
Mundici, Daniele; Olivetti, Nicola
1998
Tautologies with a unique Craig interpolant, uniform vs. nonuniform complexity. Zbl 0594.03022
Mundici, Daniele
1984
Optimal binary search with two unreliable tests and minimum adaptiveness. Zbl 0948.91009
Cicalese, Ferdinando; Mundici, Daniele
1999
An invitation to Chang’s MV algebras. Zbl 0935.06010
Cignoli, Roberto; Mundici, Daniele
1997
Projective MV-algebras and rational polyhedra. Zbl 1196.06004
Cabrer, Leonardo Manuel; Mundici, Daniele
2009
Least adaptive optimal search with unreliable tests. Zbl 0988.68057
Cicalese, Ferdinando; Mundici, Daniele; Vaccaro, Ugo
2002
Ultraproducts of $$\mathbb{Z}$$ with an application to many-valued logics. Zbl 0937.06008
Gispert i Brasó, Joan; Mundici, Daniele; Torrens Torrell, Antoni
1999
Functions computed by monotone Boolean formulas with no repeated variables. Zbl 0674.94025
Mundici, Daniele
1989
Classifying orbits of the affine group over the integers. Zbl 1417.37114
Cabrer, Leonardo Manuel; Mundici, Daniele
2017
Confluence and combinatorics in finitely generated unital lattice-ordered abelian groups. Zbl 1277.06007
Busaniche, Manuela; Cabrer, Leonardo; Mundici, Daniele
2012
Gödel incompleteness in AF C$$^*$$-algebras. Zbl 1163.46036
Mundici, Daniele; Tsinakis, Constantine
2008
A characterization of the free $$n$$-generated MV-algebra. Zbl 1094.06010
Mundici, Daniele
2006
Perfect two-fault tolerant search with minimum adaptiveness. Zbl 0965.68014
Cicalese, Ferdinando; Mundici, Daniele
2000
An elementary presentation of the equivalence between MV-algebras and $$\ell$$-groups with strong unit. Zbl 0964.06009
Cignoli, Roberto; Mundici, Daniele
1998
Łukasiewicz normal forms and toric desingularizations. Zbl 0865.03014
Mundici, Daniele
1996
An algorithmic desingularization of 3-dimensional toric varieties. Zbl 0817.14036
Aguzzoli, Stefano; Mundici, Daniele
1994
A characterisation of lattice-ordered Abelian groups. Zbl 0789.06011
Elliott, George A.; Mundici, Daniele
1993
Extending addition in Elliott’s local semigroup. Zbl 0799.46077
Mundici, Daniele; Panti, Giovanni
1993
A lower bound for the complexity of Craig’s interpolants in sentential logic. Zbl 0511.03004
Mundici, Daniele
1983
Compactness, interpolation and Friedman’s third problem. Zbl 0495.03020
Mundici, Daniele
1982
Bouligand-Severi tangents in MV-algebras. Zbl 1319.06009
Busaniche, Manuela; Mundici, Daniele
2014
Invariant measure under the affine group over $$\mathbb Z$$. Zbl 1298.52016
Mundici, Daniele
2014
Revisiting the Farey AF algebra. Zbl 1269.46041
Mundici, Daniele
2011
Interpretation of De Finetti coherence criterion in Łukasiewicz logic. Zbl 1180.03029
Mundici, Daniele
2009
Stone duality for Dedekind $$\sigma$$-complete $$\ell$$-groups with order-unit. Zbl 1108.06011
Cignoli, Roberto; Mundici, Daniele
2006
Complexity of Craig’s interpolation. Zbl 0507.03025
Mundici, Daniele
1982
Finitely presented lattice-ordered abelian groups with order-unit. Zbl 1261.06022
Cabrer, Leonardo; Mundici, Daniele
2011
Recognizing the Farey-Stern-Brocot AF algebra. Zbl 1185.46042
Mundici, Daniele
2009
Faithful and invariant conditional probability in Łukasiewicz logic. Zbl 1163.03016
Mundici, Daniele
2009
Revisiting the free 2-generator abelian $$\ell$$-group. Zbl 1118.06010
Mundici, Daniele
2007
Representation of $$\sigma$$-complete MV-algebras and their associated Dedekind $$\sigma$$-complete $$\ell$$-groups. Zbl 1119.06009
Mundici, Daniele
2006
Weierstrass approximation theorem and Łukasiewicz formulas with one quantified variable. Zbl 1046.03010
Aguzzoli, Stefano; Mundici, Daniele
2003
Reasoning on imprecisely defined functions. Zbl 1007.03024
Mundici, Daniele
2000
Optimal coding with one asymmetric error: Below the sphere packing bound. Zbl 0996.94054
Cicalese, Ferdinando; Mundici, Daniele
2000
The complexity of adaptive error-correcting codes. Zbl 0799.94010
Mundici, Daniele
1991
The derivative of truth in Łukasiewicz sentential calculus. Zbl 0648.03011
Mundici, Daniele
1988
Every Abelian $$\ell$$-group with two positive generators is ultrasimplicial. Zbl 0605.06014
Mundici, Daniele
1987
NP and Craig’s interpolation theorem. Zbl 0594.03021
Mundici, Daniele
1984
Duality between logics and equivalence relations. Zbl 0497.03018
Mundici, Daniele
1982
Robinson’s consistency theorem in soft model theory. Zbl 0519.03031
Mundici, Daniele
1981
Coherence of de Finetti coherence. Zbl 1387.60009
Mundici, Daniele
2017
Hopfian $$\ell$$-groups, MV-algebras and AF $${\mathrm{C}^{*}}$$-algebras. Zbl 1429.06013
Mundici, Daniele
2016
A Stone-Weierstrass theorem for MV-algebras and unital $$\ell$$-groups. Zbl 1323.06011
Cabrer, Leonardo Manuel; Mundici, Daniele
2015
Interval MV-algebras and generalizations. Zbl 1326.06011
Cabrer, Leonardo Manuel; Mundici, Daniele
2014
Finite axiomatizability in Łukasiewicz logic. Zbl 1248.03043
Mundici, Daniele
2011
Free generating sets of lattice-ordered abelian groups. Zbl 1141.06018
Mundici, Daniele
2007
An MV-algebraic invariant for Boolean algebras with a finite-orbit automorphism. Zbl 1064.06006
Cignoli, Roberto; Dubuc, Eduardo J.; Mundici, Daniele
2003
Partial isomorphisms on totally ordered abelian groups and Hájek’s completeness theorem for basic logic. Zbl 1020.03019
Cignoli, Roberto; Mundici, Daniele
2001
Decidable and undecidable prime theories in infinite-valued logic. Zbl 1130.03019
Mundici, Daniele; Panti, Giovanni
2001
Least adaptive optimal search with unreliable tests. Zbl 0966.68060
Cicalese, Ferdinando; Mundici, Daniele; Vaccaro, Ugo
2000
A proof of the completeness of the infinite-valued calculus of Łukasiewicz with one variable. Zbl 0830.03011
Mundici, D.; Pasquetto, M.
1995
Normal forms in infinite-valued logic: The case of one variable. Zbl 0783.03010
Mundici, D.
1992
The $$C^*$$-algebras of three-valued logic. Zbl 0694.03017
Mundici, Daniele
1989
Interpolation, compactness and jep in soft model theory. Zbl 0495.03019
Mundici, Daniele
1982
An algebraic result about soft model theoretical equivalence relations with an application to H. Friedman’s fourth problem. Zbl 0465.03020
Mundici, Daniele
1981
Applications of many-sorted Robinson consistency theorem. Zbl 0463.03023
Mundici, Daniele
1981
The differential semantics of Łukasiewicz syntactic consequence. Zbl 1386.03022
Mundici, Daniele
2015
Consequence and interpolation in Łukasiewicz logic. Zbl 1242.03055
Mundici, Daniele
2011
A compact $$[0,1]$$-valued first-order Łukasiewicz logic with identity on Hilbert space. Zbl 1220.03010
Mundici, Daniele
2011
Geometry of filters in free MV-algebras. Zbl 1158.06306
Mundici, Daniele
2008
$$Q$$-ary Ulam-Rényi game with weighted constrained lies. Zbl 1091.68038
Cicalese, Ferdinando; Deppe, Christian; Mundici, Daniele
2004
Combinatorial fans, lattice-ordered groups, and their neighbours: A short excursion. Zbl 1031.06011
Marra, Vincenzo; Mundici, Daniele
2002
Classes of ultrasimplicial lattice-ordered abelian groups. Zbl 0918.06009
Mundici, Daniele
1999
Paper machines. Zbl 0851.03010
Mundici, Daniele; Sieg, Wilfried
1995
Turing complexity of Behncke-Leptin $$C^*$$-algebras with a two-point dual. Zbl 0865.03033
Mundici, Daniele
1992
The Turing complexity of AF C *-algebras with lattice-ordered $$K_ 0$$. Zbl 0639.03043
Mundici, Daniele
1987
Bounded commutative BCK-algebras have the amalgamation property. Zbl 0634.03069
Mundici, Daniele
1987
Word problems in Elliott monoids. Zbl 1404.46061
Mundici, Daniele
2018
Classifying orbits of the affine group over the integers. Zbl 1417.37114
Cabrer, Leonardo Manuel; Mundici, Daniele
2017
Coherence of de Finetti coherence. Zbl 1387.60009
Mundici, Daniele
2017
Fans, decision problems and generators of free abelian $$\ell$$-groups. Zbl 06814715
Mundici, Daniele
2017
Hopfian $$\ell$$-groups, MV-algebras and AF $${\mathrm{C}^{*}}$$-algebras. Zbl 1429.06013
Mundici, Daniele
2016
Polyhedral MV-algebras. Zbl 1385.06003
Busaniche, Manuela; Cabrer, Leonardo; Mundici, Daniele
2016
Classifying GL$$(n,\mathbb{Z})$$-orbits of points and rational subspaces. Zbl 1369.37034
Mundici, Daniele; Cabrer, Leonardo Manuel
2016
Logic on the $$n$$-cube. Zbl 1444.03182
Mundici, Daniele
2016
A Stone-Weierstrass theorem for MV-algebras and unital $$\ell$$-groups. Zbl 1323.06011
Cabrer, Leonardo Manuel; Mundici, Daniele
2015
The differential semantics of Łukasiewicz syntactic consequence. Zbl 1386.03022
Mundici, Daniele
2015
Severi-Bouligand tangents, Frenet frames and Riesz spaces. Zbl 1322.46005
Cabrer, Leonardo Manuel; Mundici, Daniele
2015
Bouligand-Severi tangents in MV-algebras. Zbl 1319.06009
Busaniche, Manuela; Mundici, Daniele
2014
Invariant measure under the affine group over $$\mathbb Z$$. Zbl 1298.52016
Mundici, Daniele
2014
Interval MV-algebras and generalizations. Zbl 1326.06011
Cabrer, Leonardo Manuel; Mundici, Daniele
2014
Universal properties of Łukasiewicz consequence. Zbl 1344.03029
Mundici, Daniele
2014
Rational polyhedra and projective lattice-ordered abelian groups with order unit. Zbl 1275.06002
Cabrer, Leonardo; Mundici, Daniele
2012
Confluence and combinatorics in finitely generated unital lattice-ordered abelian groups. Zbl 1277.06007
Busaniche, Manuela; Cabrer, Leonardo; Mundici, Daniele
2012
Advanced Łukasiewicz calculus and MV-algebras. Zbl 1235.03002
Mundici, Daniele
2011
Recent developments of feedback coding and its relations with many-valued logic. Zbl 1319.03040
Cicalese, Ferdinando; Mundici, Daniele
2011
Revisiting the Farey AF algebra. Zbl 1269.46041
Mundici, Daniele
2011
Finitely presented lattice-ordered abelian groups with order-unit. Zbl 1261.06022
Cabrer, Leonardo; Mundici, Daniele
2011
Finite axiomatizability in Łukasiewicz logic. Zbl 1248.03043
Mundici, Daniele
2011
Consequence and interpolation in Łukasiewicz logic. Zbl 1242.03055
Mundici, Daniele
2011
A compact $$[0,1]$$-valued first-order Łukasiewicz logic with identity on Hilbert space. Zbl 1220.03010
Mundici, Daniele
2011
From free abelian groups to free abelian $$\ell$$-groups. Zbl 1265.06055
Kühr, Jan; Mundici, Daniele
2011
Projective MV-algebras and rational polyhedra. Zbl 1196.06004
Cabrer, Leonardo Manuel; Mundici, Daniele
2009
Interpretation of De Finetti coherence criterion in Łukasiewicz logic. Zbl 1180.03029
Mundici, Daniele
2009
Recognizing the Farey-Stern-Brocot AF algebra. Zbl 1185.46042
Mundici, Daniele
2009
Faithful and invariant conditional probability in Łukasiewicz logic. Zbl 1163.03016
Mundici, Daniele
2009
The Haar theorem for lattice-ordered abelian groups with order-unit. Zbl 1154.28007
Mundici, Daniele
2008
Gödel incompleteness in AF C$$^*$$-algebras. Zbl 1163.46036
Mundici, Daniele; Tsinakis, Constantine
2008
Geometry of filters in free MV-algebras. Zbl 1158.06306
Mundici, Daniele
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
Ju, Shier (ed.); Mundici, Daniele (ed.)
2008
De Finetti theorem and Borel states in $$[0, 1]$$-valued algebraic logic. Zbl 1189.03076
Kühr, Jan; Mundici, Daniele
2007
The Lebesgue state of a unital abelian lattice-ordered group. Zbl 1136.06009
Marra, Vincenzo; Mundici, Daniele
2007
Lattice-ordered abelian groups and Schauder bases of unimodular fans. Zbl 1118.06009
Manara, Corrado; Marra, Vincenzo; Mundici, Daniele
2007
Geometry of Robinson consistency in Łukasiewicz logic. Zbl 1125.03016
Busaniche, Manuela; Mundici, Daniele
2007
Revisiting the free 2-generator abelian $$\ell$$-group. Zbl 1118.06010
Mundici, Daniele
2007
Free generating sets of lattice-ordered abelian groups. Zbl 1141.06018
Mundici, Daniele
2007
Embedding in finitely presented lattice-ordered groups: explicit presentation for constructions. Zbl 1125.06013
Glass, A. M. W.; Marra, Vincenzo; Mundici, Daniele
2007
Bookmaking over infinite-valued events. Zbl 1123.03011
Mundici, Daniele
2006
A characterization of the free $$n$$-generated MV-algebra. Zbl 1094.06010
Mundici, Daniele
2006
Stone duality for Dedekind $$\sigma$$-complete $$\ell$$-groups with order-unit. Zbl 1108.06011
Cignoli, Roberto; Mundici, Daniele
2006
Representation of $$\sigma$$-complete MV-algebras and their associated Dedekind $$\sigma$$-complete $$\ell$$-groups. Zbl 1119.06009
Mundici, Daniele
2006
Kleene-isomorphic $$\sigma$$-complete MV-algebras with product are isomorphic. Zbl 1161.06005
Cignoli, Roberto; Mundici, Daniele; Navara, Mirko
2006
MV-algebras: a variety for magnitudes with archimedean units. Zbl 1093.06010
Gispert, Joan; Mundici, Daniele
2005
Extending Stone duality to multisets and locally finite MV-algebras. Zbl 1055.06004
Cignoli, Roberto; Dubuc, Eduardo J.; Mundici, Daniele
2004
Simple Bratteli diagrams with a Gödel-incomplete C*-equivalence problem. Zbl 1042.46033
Mundici, Daniele
2004
$$Q$$-ary Ulam-Rényi game with weighted constrained lies. Zbl 1091.68038
Cicalese, Ferdinando; Deppe, Christian; Mundici, Daniele
2004
A Cantor-Bernstein theorem for $$\sigma$$-complete MV-algebras. Zbl 1024.06003
De Simone, A.; Mundici, D.; Navara, M.
2003
Weierstrass approximation theorem and Łukasiewicz formulas with one quantified variable. Zbl 1046.03010
Aguzzoli, Stefano; Mundici, Daniele
2003
An MV-algebraic invariant for Boolean algebras with a finite-orbit automorphism. Zbl 1064.06006
Cignoli, Roberto; Dubuc, Eduardo J.; Mundici, Daniele
2003
Łukasiewicz logic and Chang’s MV algebras in action. Zbl 1051.03023
Marra, V.; Mundici, D.
2003
Probability on MV-algebras. Zbl 1017.28002
Riečan, Beloslav; Mundici, Daniele
2002
Least adaptive optimal search with unreliable tests. Zbl 0988.68057
Cicalese, Ferdinando; Mundici, Daniele; Vaccaro, Ugo
2002
Combinatorial fans, lattice-ordered groups, and their neighbours: A short excursion. Zbl 1031.06011
Marra, Vincenzo; Mundici, Daniele
2002
MV-algebras and abelian $$\ell$$-groups: a fruitful interaction. Zbl 1070.06004
Marra, Vincenzo; Mundici, Daniele
2002
Fault-tolerance and Rota-Metropolis cubic logic. Zbl 1041.03055
Mundici, Daniele
2002
Rota-Metropolis cubic logic and Ulam-Rényi games. Zbl 0978.03045
Cicalese, F.; Mundici, D.; Vaccaro, U.
2001
Partial isomorphisms on totally ordered abelian groups and Hájek’s completeness theorem for basic logic. Zbl 1020.03019
Cignoli, Roberto; Mundici, Daniele
2001
Decidable and undecidable prime theories in infinite-valued logic. Zbl 1130.03019
Mundici, Daniele; Panti, Giovanni
2001
Algebraic foundations of many-valued reasoning. Zbl 0937.06009
Cignoli, Roberto L. O.; D’Ottaviano, Itala M. Loffredo; Mundici, Daniele
2000
Perfect two-fault tolerant search with minimum adaptiveness. Zbl 0965.68014
Cicalese, Ferdinando; Mundici, Daniele
2000
Reasoning on imprecisely defined functions. Zbl 1007.03024
Mundici, Daniele
2000
Optimal coding with one asymmetric error: Below the sphere packing bound. Zbl 0996.94054
Cicalese, Ferdinando; Mundici, Daniele
2000
Least adaptive optimal search with unreliable tests. Zbl 0966.68060
Cicalese, Ferdinando; Mundici, Daniele; Vaccaro, Ugo
2000
Tensor products and the Loomis-Sikorski theorem for MV-algebras. Zbl 0926.06004
Mundici, Daniele
1999
Optimal binary search with two unreliable tests and minimum adaptiveness. Zbl 0948.91009
Cicalese, Ferdinando; Mundici, Daniele
1999
Ultraproducts of $$\mathbb{Z}$$ with an application to many-valued logics. Zbl 0937.06008
Gispert i Brasó, Joan; Mundici, Daniele; Torrens Torrell, Antoni
1999
Classes of ultrasimplicial lattice-ordered abelian groups. Zbl 0918.06009
Mundici, Daniele
1999
Ulam game, the logic of MAXSAT, and many-valued partitions. Zbl 1122.03306
Mundici, Daniele
1999
A constructive proof that every 3-generated $$\ell$$-group is ultrasimplicial. Zbl 1002.06014
Mundici, Daniele; Panti, Giovanni
1999
Twenty questions with many-valued answers. Zbl 0935.03033
Mundici, Daniele; Panti, Giovanni
1999
Resolution and model building in the infinite-valued calculus of Łukasiewicz. Zbl 0921.03013
Mundici, Daniele; Olivetti, Nicola
1998
An elementary presentation of the equivalence between MV-algebras and $$\ell$$-groups with strong unit. Zbl 0964.06009
Cignoli, Roberto; Mundici, Daniele
1998
Optimal comparison strategies in Ulam’s searching game with two errors. Zbl 0902.90191
Mundici, Daniele; Trombetta, Alberto
1997
An elementary proof of Chang’s completeness theorem for the infinite-valued calculus of Łukasiewicz. Zbl 0876.03011
Cignoli, Roberto; Mundici, Daniele
1997
An invitation to Chang’s MV algebras. Zbl 0935.06010
Cignoli, Roberto; Mundici, Daniele
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; Doets, Kees (ed.); Mundici, Daniele (ed.); van Benthem, Johan (ed.)
1997
Łukasiewicz normal forms and toric desingularizations. Zbl 0865.03014
Mundici, Daniele
1996
Averaging the truth-value in Łukasiewicz logic. Zbl 0836.03016
Mundici, Daniele
1995
A proof of the completeness of the infinite-valued calculus of Łukasiewicz with one variable. Zbl 0830.03011
Mundici, D.; Pasquetto, M.
1995
Paper machines. Zbl 0851.03010
Mundici, Daniele; Sieg, Wilfried
1995
A constructive proof of McNaughton’s theorem in infinite-valued logic. Zbl 0807.03012
Mundici, Daniele
1994
An algorithmic desingularization of 3-dimensional toric varieties. Zbl 0817.14036
Aguzzoli, Stefano; Mundici, Daniele
1994
Logic of infinite quantum systems. Zbl 0799.03019
Mundici, Daniele
1993
Ulam games, Łukasiewicz logic, and AF $$C^*$$-algebras. Zbl 0780.03030
Mundici, Daniele
1993
Reconstructing $$C^*$$-algebras from their Murray von Neumann orders. Zbl 0823.46053
Cignoli, Roberto; Elliott, George A.; Mundici, Daniele
1993
A characterisation of lattice-ordered Abelian groups. Zbl 0789.06011
Elliott, George A.; Mundici, Daniele
1993
Extending addition in Elliott’s local semigroup. Zbl 0799.46077
Mundici, Daniele; Panti, Giovanni
1993
Logic and algebra in Ulam’s searching game with lies. Zbl 0792.03042
Mundici, Daniele
1993
The logic of Ulam’s game with lies. Zbl 0831.90131
Mundici, Daniele
1992
Normal forms in infinite-valued logic: The case of one variable. Zbl 0783.03010
Mundici, D.
1992
Turing complexity of Behncke-Leptin $$C^*$$-algebras with a two-point dual. Zbl 0865.03033
Mundici, Daniele
1992
The complexity of adaptive error-correcting codes. Zbl 0799.94010
Mundici, Daniele
1991
Solution of Rota’s problem on the order of series-parallel networks. Zbl 0748.94024
Mundici, Daniele
1991
Ulam’s searching game with lies. Zbl 0674.90110
Czyzowicz, Jurek; Mundici, Daniele; Pelc, Andrzej
1989
Functions computed by monotone Boolean formulas with no repeated variables. Zbl 0674.94025
Mundici, Daniele
1989
The $$C^*$$-algebras of three-valued logic. Zbl 0694.03017
Mundici, Daniele
1989
Farey stellar subdivisions, ultrasimplicial groups, and $$K_ 0$$ of AF $$C^*$$-algebras. Zbl 0678.06008
Mundici, Daniele
1988
...and 28 more Documents
all top 5

#### Cited by 620 Authors

 77 Dvurečenskij, Anatolij 69 Mundici, Daniele 57 Di Nola, Antonio 37 Jakubík, Ján 36 Montagna, Franco 27 Flaminio, Tommaso 23 Pulmannová, Sylvia 23 Rachůnek, Jiří 21 Kühr, Jan 20 Chajda, Ivan 19 Marra, Vincenzo 18 Godo, Lluís 17 Cabrer, Leonardo Manuel 17 Riečan, Beloslav 16 Belluce, Lawrence Peter 15 Freytes, Hector 15 Georgescu, George 15 Lettieri, Ada 15 Leuştean, Ioana 15 Rump, Wolfgang 14 Botur, Michal 13 Gerla, Brunella 13 Lenzi, Giacomo 12 Ciungu, Lavinia Corina 12 Hájek, Petr 11 Aguzzoli, Stefano 11 Cicalese, Ferdinando 11 Ledda, Antonio 11 Panti, Giovanni 11 Šalounová, Dana 11 Tsinakis, Constantine 10 Busaniche, Manuela 10 Cignoli, Roberto 10 Foulis, David James 10 Frič, Roman 10 Kroupa, Tomáš 10 Marchioni, Enrico 10 Navara, Mirko 10 Novák, Vilém 9 Díaz Varela, José Patricio 9 Halaš, Radomír 9 Paoli, Francesco 9 Turunen, Esko 8 Borumand Saeid, Arsham 8 Hosni, Hykel 8 Jenča, Gejza 8 Paseka, Jan 8 Spada, Luca 8 Wang, Guojun 8 Xin, Xiaolong 8 Zahiri, Omid 7 Agliano, Paolo 7 Esteva, Francesc 7 Grigolia, Revaz 7 Vetterlein, Thomas 6 Borzooei, Rajab Ali 6 Giuntini, Roberto 6 Kowalski, Tomasz Marek 6 Lapenta, Serafina 6 Liu, Lianzhen 6 Metcalfe, George 6 Nganou, Jean Bernard 6 Russo, Ciro 6 Vinceková, Elena 6 Zhou, Hongjun 5 Cintula, Petr 5 Deppe, Christian 5 Domenech, Graciela 5 Dubuc, Eduardo J. 5 Fedel, Martina 5 Forouzesh, Fereshteh 5 Gispert, Joan 5 Haniková, Zuzana 5 Holland, Wilbur Charles jun. 5 Hyčko, Marek 5 Jenčová, Anna 5 Kim, Hee Sik 5 Neggers, Joseph 5 Noguera, Carles 5 Papčo, Martin 5 Poveda, Yuri A. 5 Sergioli, Giuseppe 5 Vaccaro, Ugo 5 Xu, Yang 5 Yang, Yi-Chuan 4 Bova, Simone 4 Caicedo, Xavier 4 Castaño, Diego N. 4 Castiglioni, José Luis 4 Chakraborty, Mihir Kumar 4 Cimadamore, Cecilia Rossana 4 Davvaz, Bijan 4 Diaconescu, Denisa 4 Eslami, Esfandiar 4 Ferraioli, Anna Rita 4 Galatos, Nikolaos 4 Hager, Anthony W. 4 He, Pengfei 4 Hoo, Cheong-Seng 4 Lachman, Dominik ...and 520 more Authors
all top 5

#### Cited in 118 Serials

 134 Fuzzy Sets and Systems 88 Soft Computing 58 Mathematica Slovaca 58 Studia Logica 41 Algebra Universalis 37 Czechoslovak Mathematical Journal 35 International Journal of Theoretical Physics 30 International Journal of Approximate Reasoning 29 Journal of Algebra 29 Archive for Mathematical Logic 27 Annals of Pure and Applied Logic 24 Information Sciences 23 Journal of Pure and Applied Algebra 20 Kybernetika 19 Theoretical Computer Science 16 Mathematical Logic Quarterly (MLQ) 15 The Journal of Symbolic Logic 14 Order 12 Reports on Mathematical Physics 10 Communications in Algebra 9 Artificial Intelligence 9 Journal of Mathematical Analysis and Applications 9 Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica 9 Forum Mathematicum 9 Journal of the Australian Mathematical Society 9 Journal of Applied Logic 6 Discrete Mathematics 6 Advances in Applied Mathematics 6 Journal of Applied Non-Classical Logics 6 The Bulletin of Symbolic Logic 6 Journal of Intelligent and Fuzzy Systems 6 Foundations of Physics 5 Transactions of the American Mathematical Society 5 Annals of Mathematics and Artificial Intelligence 4 Discrete Applied Mathematics 4 International Journal of General Systems 4 Information Processing Letters 4 Journal of Combinatorial Theory. Series A 3 Archiv für Mathematische Logik und Grundlagenforschung 3 Advances in Mathematics 3 Demonstratio Mathematica 3 Journal of Automated Reasoning 3 Applied Categorical Structures 3 Journal of Group Theory 3 Central European Journal of Mathematics 3 Journal of Multiple-Valued Logic and Soft Computing 3 New Mathematics and Natural Computation 3 Logica Universalis 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 Proceedings of the American Mathematical Society 2 Results in Mathematics 2 Semigroup Forum 2 Synthese 2 Topology and its Applications 2 Information and Computation 2 Erkenntnis 2 ACM Transactions on Computational Logic 2 Journal of Algebra and its Applications 2 Iranian Journal of Fuzzy Systems 2 Open Mathematics 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 Annali di Matematica Pura ed Applicata. Serie Quarta 1 Commentationes Mathematicae Universitatis Carolinae 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 Notre Dame Journal of Formal Logic 1 Pacific Journal of Mathematics 1 Rendiconti del Circolo Matemàtico di Palermo. Serie II 1 Rendiconti del Seminario Matematico della Università di Padova 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 MSCS. Mathematical Structures in Computer Science 1 Expositiones Mathematicae 1 Cybernetics and Systems Analysis 1 Annales de la Faculté des Sciences de Toulouse. Mathématiques. Série VI 1 Combinatorics, Probability and Computing 1 Discrete and Continuous Dynamical Systems 1 Theory of Computing Systems 1 Discrete Dynamics in Nature and Society 1 Acta Mathematica Sinica. English Series 1 Communications in Contemporary Mathematics 1 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 1 Logic and Logical Philosophy 1 Theory and Practice of Logic Programming ...and 18 more Serials
all top 5

#### Cited in 41 Fields

 651 Order, lattices, ordered algebraic structures (06-XX) 560 Mathematical logic and foundations (03-XX) 107 Quantum theory (81-XX) 100 Computer science (68-XX) 62 General algebraic systems (08-XX) 48 Measure and integration (28-XX) 47 Probability theory and stochastic processes (60-XX) 45 Functional analysis (46-XX) 36 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 29 General topology (54-XX) 27 Category theory; homological algebra (18-XX) 26 Group theory and generalizations (20-XX) 21 Convex and discrete geometry (52-XX) 16 Associative rings and algebras (16-XX) 13 Dynamical systems and ergodic theory (37-XX) 13 Information and communication theory, circuits (94-XX) 11 Commutative algebra (13-XX) 10 Combinatorics (05-XX) 8 Operator theory (47-XX) 8 Operations research, mathematical programming (90-XX) 7 Algebraic geometry (14-XX) 6 Number theory (11-XX) 6 Statistics (62-XX) 5 History and biography (01-XX) 5 Topological groups, Lie groups (22-XX) 5 Manifolds and cell complexes (57-XX) 4 General and overarching topics; collections (00-XX) 4 Algebraic topology (55-XX) 3 Real functions (26-XX) 3 Systems theory; control (93-XX) 2 Field theory and polynomials (12-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 $$K$$-theory (19-XX) 2 Geometry (51-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 Mechanics of particles and systems (70-XX) 1 Relativity and gravitational theory (83-XX) 1 Biology and other natural sciences (92-XX) 1 Mathematics education (97-XX)