×
Author ID: mundici.daniele Recent zbMATH articles by "Mundici, Daniele"
Published as: Mundici, Daniele; Mundici, D.; Mundici, Danile
Homepage: http://web.math.unifi.it/users/mundici/
External Links: MGP
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 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

Publications by Year

Citations contained in zbMATH Open

140 Publications have been cited 2,380 times in 1,186 Documents Cited by Year
Algebraic foundations of many-valued reasoning. Zbl 0937.06009
Cignoli, Roberto L. O.; D’Ottaviano, Itala M. Loffredo; Mundici, Daniele
544
2000
Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus. Zbl 0597.46059
Mundici, Daniele
432
1986
Averaging the truth-value in Łukasiewicz logic. Zbl 0836.03016
Mundici, Daniele
159
1995
Advanced Łukasiewicz calculus and MV-algebras. Zbl 1235.03002
Mundici, Daniele
127
2011
Model-theoretic logics. (Parts A-C). Zbl 0587.03001
89
1985
Probability on MV-algebras. Zbl 1017.28002
Riečan, Beloslav; Mundici, Daniele
81
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
50
1986
Bookmaking over infinite-valued events. Zbl 1123.03011
Mundici, Daniele
49
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
40
1987
A constructive proof of McNaughton’s theorem in infinite-valued logic. Zbl 0807.03012
Mundici, Daniele
38
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
31
2004
Free products in the category of Abelian \(\ell\)-groups with strong unit. Zbl 0658.06010
Mundici, Daniele
30
1988
MV-algebras: a variety for magnitudes with archimedean units. Zbl 1093.06010
Gispert, Joan; Mundici, Daniele
26
2005
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
Logic of infinite quantum systems. Zbl 0799.03019
Mundici, Daniele
17
1993
Mapping Abelian \(\ell\)-groups with strong unit one-one into MV algebras. Zbl 0579.06016
Mundici, Daniele
16
1986
The Haar theorem for lattice-ordered abelian groups with order-unit. Zbl 1154.28007
Mundici, Daniele
16
2008
Ulam games, Łukasiewicz logic, and AF \(C^*\)-algebras. Zbl 0780.03030
Mundici, Daniele
14
1993
Reconstructing \(C^*\)-algebras from their Murray von Neumann orders. Zbl 0823.46053
Cignoli, Roberto; Elliott, George A.; Mundici, Daniele
14
1993
Geometry of Robinson consistency in Łukasiewicz logic. Zbl 1125.03016
Busaniche, Manuela; Mundici, Daniele
13
2007
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
Optimal comparison strategies in Ulam’s searching game with two errors. Zbl 0902.90191
Mundici, Daniele; Trombetta, Alberto
12
1997
Lattice-ordered abelian groups and Schauder bases of unimodular fans. Zbl 1118.06009
Manara, Corrado; Marra, Vincenzo; Mundici, Daniele
12
2007
Simple Bratteli diagrams with a Gödel-incomplete C*-equivalence problem. Zbl 1042.46033
Mundici, Daniele
12
2004
A Cantor-Bernstein theorem for \(\sigma \)-complete MV-algebras. Zbl 1024.06003
De Simone, A.; Mundici, D.; Navara, M.
12
2003
Extending addition in Elliott’s local semigroup. Zbl 0799.46077
Mundici, Daniele; Panti, Giovanni
11
1993
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
Rota-Metropolis cubic logic and Ulam-Rényi games. Zbl 0978.03045
Cicalese, F.; Mundici, D.; Vaccaro, U.
10
2001
Resolution and model building in the infinite-valued calculus of Łukasiewicz. Zbl 0921.03013
Mundici, Daniele; Olivetti, Nicola
10
1998
Recent developments of feedback coding and its relations with many-valued logic. Zbl 1319.03040
Cicalese, Ferdinando; Mundici, Daniele
10
2011
Projective MV-algebras and rational polyhedra. Zbl 1196.06004
Cabrer, Leonardo Manuel; Mundici, Daniele
9
2009
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
Tautologies with a unique Craig interpolant, uniform vs. nonuniform complexity. Zbl 0594.03022
Mundici, Daniele
9
1984
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
Optimal binary search with two unreliable tests and minimum adaptiveness. Zbl 0948.91009
Cicalese, Ferdinando; Mundici, Daniele
8
1999
Model-theoretic logics. (Parts D-F). Zbl 0587.03002
8
1985
Least adaptive optimal search with unreliable tests. Zbl 0988.68057
Cicalese, Ferdinando; Mundici, Daniele; Vaccaro, Ugo
7
2002
Interpretation of De Finetti coherence criterion in Łukasiewicz logic. Zbl 1180.03029
Mundici, Daniele
7
2009
Weierstrass approximation theorem and Łukasiewicz formulas with one quantified variable. Zbl 1046.03010
Aguzzoli, Stefano; Mundici, Daniele
7
2003
An algorithmic desingularization of 3-dimensional toric varieties. Zbl 0817.14036
Aguzzoli, Stefano; Mundici, Daniele
7
1994
A characterisation of lattice-ordered Abelian groups. Zbl 0789.06011
Elliott, George A.; Mundici, Daniele
7
1993
Classifying orbits of the affine group over the integers. Zbl 1417.37114
Cabrer, Leonardo Manuel; Mundici, Daniele
7
2017
Compactness, interpolation and Friedman’s third problem. Zbl 0495.03020
Mundici, Daniele
6
1982
Complexity of Craig’s interpolation. Zbl 0507.03025
Mundici, Daniele
6
1982
A lower bound for the complexity of Craig’s interpolants in sentential logic. Zbl 0511.03004
Mundici, Daniele
6
1983
Confluence and combinatorics in finitely generated unital lattice-ordered abelian groups. Zbl 1277.06007
Busaniche, Manuela; Cabrer, Leonardo; Mundici, Daniele
6
2012
A characterization of the free \(n\)-generated MV-algebra. Zbl 1094.06010
Mundici, Daniele
6
2006
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
Łukasiewicz normal forms and toric desingularizations. Zbl 0865.03014
Mundici, Daniele
6
1996
Word problems in Elliott monoids. Zbl 1404.46061
Mundici, Daniele
6
2018
Bouligand-Severi tangents in MV-algebras. Zbl 1319.06009
Busaniche, Manuela; Mundici, Daniele
6
2014
Robinson’s consistency theorem in soft model theory. Zbl 0519.03031
Mundici, Daniele
5
1981
Revisiting the Farey AF algebra. Zbl 1269.46041
Mundici, Daniele
5
2011
Stone duality for Dedekind \(\sigma\)-complete \(\ell\)-groups with order-unit. Zbl 1108.06011
Cignoli, Roberto; Mundici, Daniele
5
2006
Faithful and invariant conditional probability in Łukasiewicz logic. Zbl 1163.03016
Mundici, Daniele
5
2009
The differential semantics of Łukasiewicz syntactic consequence. Zbl 1386.03022
Mundici, Daniele
5
2015
Reasoning on imprecisely defined functions. Zbl 1007.03024
Mundici, Daniele
5
2000
Invariant measure under the affine group over \(\mathbb Z\). Zbl 1298.52016
Mundici, Daniele
5
2014
The derivative of truth in Łukasiewicz sentential calculus. Zbl 0648.03011
Mundici, Daniele
4
1988
Representation of \(\sigma\)-complete MV-algebras and their associated Dedekind \(\sigma\)-complete \(\ell\)-groups. Zbl 1119.06009
Mundici, Daniele
4
2006
Duality between logics and equivalence relations. Zbl 0497.03018
Mundici, Daniele
4
1982
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
Revisiting the free 2-generator abelian \(\ell\)-group. Zbl 1118.06010
Mundici, Daniele
4
2007
Coherence of de Finetti coherence. Zbl 1387.60009
Mundici, Daniele
4
2017
Decidable and undecidable prime theories in infinite-valued logic. Zbl 1130.03019
Mundici, Daniele; Panti, Giovanni
4
2001
Optimal coding with one asymmetric error: Below the sphere packing bound. Zbl 0996.94054
Cicalese, Ferdinando; Mundici, Daniele
4
2000
The complexity of adaptive error-correcting codes. Zbl 0799.94010
Mundici, Daniele
4
1991
Hopfian \(\ell\)-groups, MV-algebras and AF \({\mathrm{C}^{*}}\)-algebras. Zbl 1429.06013
Mundici, Daniele
4
2016
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
Free generating sets of lattice-ordered abelian groups. Zbl 1141.06018
Mundici, Daniele
3
2007
Interpolation, compactness and jep in soft model theory. Zbl 0495.03019
Mundici, Daniele
3
1982
MV-algebras and abelian \(\ell\)-groups: a fruitful interaction. Zbl 1070.06004
Marra, Vincenzo; Mundici, Daniele
3
2002
A proof of the completeness of the infinite-valued calculus of Łukasiewicz with one variable. Zbl 0830.03011
Mundici, D.; Pasquetto, M.
3
1995
Consequence and interpolation in Łukasiewicz logic. Zbl 1242.03055
Mundici, Daniele
3
2011
Least adaptive optimal search with unreliable tests. Zbl 0966.68060
Cicalese, Ferdinando; Mundici, Daniele; Vaccaro, Ugo
3
2000
Łukasiewicz logic and Chang’s MV algebras in action. Zbl 1051.03023
Marra, V.; Mundici, D.
3
2003
Geometry of filters in free MV-algebras. Zbl 1158.06306
Mundici, Daniele
3
2008
Every Abelian \(\ell\)-group with two positive generators is ultrasimplicial. Zbl 0605.06014
Mundici, Daniele
3
1987
An MV-algebraic invariant for Boolean algebras with a finite-orbit automorphism. Zbl 1064.06006
Cignoli, Roberto; Dubuc, Eduardo J.; Mundici, Daniele
3
2003
Applications of many-sorted Robinson consistency theorem. Zbl 0463.03023
Mundici, Daniele
3
1981
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
Normal forms in infinite-valued logic: The case of one variable. Zbl 0783.03010
Mundici, D.
3
1992
Interval MV-algebras and generalizations. Zbl 1326.06011
Cabrer, Leonardo Manuel; Mundici, Daniele
3
2014
Fans, decision problems and generators of free abelian \(\ell\)-groups. Zbl 1473.06023
Mundici, Daniele
3
2017
Bounded commutative BCK-algebras have the amalgamation property. Zbl 0634.03069
Mundici, Daniele
2
1987
The Turing complexity of AF C *-algebras with lattice-ordered \(K_ 0\). Zbl 0639.03043
Mundici, Daniele
2
1987
Paper machines. Zbl 0851.03010
Mundici, Daniele; Sieg, Wilfried
2
1995
Compactness\(=JEP\) in any logic. Zbl 0564.03034
Mundici, Daniele
2
1983
Polyhedral MV-algebras. Zbl 1385.06003
Busaniche, Manuela; Cabrer, Leonardo; Mundici, Daniele
2
2016
Deciding Koopman’s qualitative probability. Zbl 07418682
Mundici, Daniele
1
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
Word problems in Elliott monoids. Zbl 1404.46061
Mundici, Daniele
6
2018
A geometric approach to MV-algebras. Zbl 1429.06014
Mundici, Daniele
1
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
Coherence of de Finetti coherence. Zbl 1387.60009
Mundici, Daniele
4
2017
Fans, decision problems and generators of free abelian \(\ell\)-groups. Zbl 1473.06023
Mundici, Daniele
3
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
6
2012
Advanced Łukasiewicz calculus and MV-algebras. Zbl 1235.03002
Mundici, Daniele
127
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
9
2009
Interpretation of De Finetti coherence criterion in Łukasiewicz logic. Zbl 1180.03029
Mundici, Daniele
7
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
49
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
26
2005
Extending Stone duality to multisets and locally finite MV-algebras. Zbl 1055.06004
Cignoli, Roberto; Dubuc, Eduardo J.; Mundici, Daniele
31
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
Łukasiewicz logic and Chang’s MV algebras in action. Zbl 1051.03023
Marra, V.; Mundici, D.
3
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
Probability on MV-algebras. Zbl 1017.28002
Riečan, Beloslav; Mundici, Daniele
81
2002
Least adaptive optimal search with unreliable tests. Zbl 0988.68057
Cicalese, Ferdinando; Mundici, Daniele; Vaccaro, Ugo
7
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
544
2000
Perfect two-fault tolerant search with minimum adaptiveness. Zbl 0965.68014
Cicalese, Ferdinando; Mundici, Daniele
6
2000
Reasoning on imprecisely defined functions. Zbl 1007.03024
Mundici, Daniele
5
2000
Optimal coding with one asymmetric error: Below the sphere packing bound. Zbl 0996.94054
Cicalese, Ferdinando; Mundici, Daniele
4
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
Classes of ultrasimplicial lattice-ordered abelian groups. Zbl 0918.06009
Mundici, Daniele
2
1999
Ulam game, the logic of MAXSAT, and many-valued partitions. Zbl 1122.03306
Mundici, Daniele
1
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
10
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
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
Computational logic and proof theory. 5th Kurt Gödel Colloquium, KGC ’97. Vienna, Austria. August 25–29, 1997. Proceedings. Zbl 0870.00023
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
159
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
38
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
Ulam games, Łukasiewicz logic, and AF \(C^*\)-algebras. Zbl 0780.03030
Mundici, Daniele
14
1993
Reconstructing \(C^*\)-algebras from their Murray von Neumann orders. Zbl 0823.46053
Cignoli, Roberto; Elliott, George A.; Mundici, Daniele
14
1993
Extending addition in Elliott’s local semigroup. Zbl 0799.46077
Mundici, Daniele; Panti, Giovanni
11
1993
A characterisation of lattice-ordered Abelian groups. Zbl 0789.06011
Elliott, George A.; Mundici, Daniele
7
1993
Logic and algebra in Ulam’s searching game with lies. Zbl 0792.03042
Mundici, Daniele
1
1993
...and 40 more Documents
all top 5

Cited by 712 Authors

87 Dvurečenskij, Anatolij
79 Mundici, Daniele
63 Di Nola, Antonio
37 Jakubík, Ján
36 Montagna, Franco
30 Flaminio, Tommaso
25 Pulmannová, Sylvia
24 Rump, Wolfgang
23 Marra, Vincenzo
23 Rachůnek, Jiří
21 Godo, Lluís
21 Kühr, Jan
21 Lenzi, Giacomo
20 Chajda, Ivan
18 Cabrer, Leonardo Manuel
17 Riečan, Beloslav
16 Belluce, Lawrence Peter
16 Georgescu, George
16 Leuştean, Ioana
15 Borumand Saeid, Arsham
15 Lettieri, Ada
14 Borzooei, Rajab Ali
14 Botur, Michal
14 Ciungu, Lavinia Corina
14 Freytes, Hector
13 Aguzzoli, Stefano
13 Frič, Roman
13 Gerla, Brunella
13 Kroupa, Tomáš
13 Novák, Vilém
13 Xin, Xiaolong
12 Busaniche, Manuela
12 Hájek, Petr
12 Zahiri, Omid
11 Agliano, Paolo
11 Díaz Varela, José Patricio
11 Lapenta, Serafina
11 Nganou, Jean Bernard
11 Panti, Giovanni
11 Šalounová, Dana
11 Spada, Luca
11 Turunen, Esko
10 Cignoli, Roberto
10 Forouzesh, Fereshteh
10 Foulis, David James
10 Hosni, Hykel
10 Marchioni, Enrico
10 Navara, Mirko
10 Tsinakis, Constantine
9 Grigolia, Revaz
9 Halaš, Radomír
9 Haniková, Zuzana
9 He, Pengfei
9 Yang, Yichuan
8 Jenča, Gejza
8 Ledda, Antonio
8 Paseka, Jan
8 Wang, Guojun
7 Esteva, Francesc
7 Gispert, Joan
7 Jenčová, Anna
7 Metcalfe, George
7 Murinová, Petra
7 Paoli, Francesco
7 Russo, Ciro
7 Ugolini, Sara
7 Vetterlein, Thomas
7 Vitale, Gaetano
7 Wang, Juntao
7 Zhou, Hongjun
6 Castaño, Diego Nicolás
6 Cicalese, Ferdinando
6 Jenei, Sándor
6 Kowalski, Tomasz
6 Liu, Lianzhen
6 Papčo, Martin
6 Poveda, Yuri A.
6 Vinceková, Elena
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 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
5 Senturk, Ibrahim
5 Sergioli, Giuseppe
5 Teheux, Bruno
5 Vaccaro, Ugo
...and 612 more Authors
all top 5

Cited in 145 Serials

145 Fuzzy Sets and Systems
101 Soft Computing
67 Mathematica Slovaca
65 Studia Logica
46 Algebra Universalis
38 International Journal of Theoretical Physics
37 Czechoslovak Mathematical Journal
36 International Journal of Approximate Reasoning
34 Journal of Algebra
33 Archive for Mathematical Logic
32 Annals of Pure and Applied Logic
25 Information Sciences
25 Journal of Pure and Applied Algebra
20 Kybernetika
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
11 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
9 Journal of Applied Non-Classical Logics
8 Journal of Applied Logic
7 Advances in Applied Mathematics
7 Journal of Multiple-Valued Logic and Soft Computing
6 Discrete Mathematics
6 The Bulletin of Symbolic Logic
6 Central European Journal of Mathematics
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 Applied Categorical Structures
5 Annals of Mathematics and Artificial Intelligence
5 New Mathematics and Natural Computation
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 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 Bulletin of the Section of Logic
3 Journal of Automated Reasoning
3 Filomat
3 Journal of Group Theory
3 Erkenntnis
3 Logica Universalis
3 Asian-European Journal of Mathematics
3 Axioms
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 Topology and its Applications
2 Information and Computation
2 MSCS. Mathematical Structures in Computer Science
2 Communications in Contemporary Mathematics
2 Logic and Logical Philosophy
2 ACM Transactions on Computational Logic
2 Logical Methods in Computer Science
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 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 Tôhoku Mathematical Journal. Second Series
1 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik
1 Ergodic Theory and Dynamical Systems
1 Statistics & Probability Letters
1 Journal of Symbolic Computation
1 Revista Matemática Iberoamericana
1 International Journal of Intelligent Systems
...and 45 more Serials
all top 5

Cited in 44 Fields

781 Order, lattices, ordered algebraic structures (06-XX)
656 Mathematical logic and foundations (03-XX)
124 Computer science (68-XX)
114 Quantum theory (81-XX)
80 General algebraic systems (08-XX)
59 Probability theory and stochastic processes (60-XX)
56 Functional analysis (46-XX)
54 Measure and integration (28-XX)
44 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
38 Category theory; homological algebra (18-XX)
37 General topology (54-XX)
34 Group theory and generalizations (20-XX)
24 Associative rings and algebras (16-XX)
22 Convex and discrete geometry (52-XX)
17 Information and communication theory, circuits (94-XX)
15 Commutative algebra (13-XX)
15 Dynamical systems and ergodic theory (37-XX)
15 Operator theory (47-XX)
13 Combinatorics (05-XX)
9 History and biography (01-XX)
9 Number theory (11-XX)
8 Algebraic geometry (14-XX)
7 Statistics (62-XX)
6 Topological groups, Lie groups (22-XX)
6 Manifolds and cell complexes (57-XX)
6 Operations research, mathematical programming (90-XX)
5 \(K\)-theory (19-XX)
4 General and overarching topics; collections (00-XX)
3 Field theory and polynomials (12-XX)
3 Real functions (26-XX)
3 Geometry (51-XX)
3 Algebraic topology (55-XX)
2 Linear and multilinear algebra; matrix theory (15-XX)
2 Functions of a complex variable (30-XX)
2 Systems theory; control (93-XX)
1 Nonassociative rings and algebras (17-XX)
1 Several complex variables and analytic spaces (32-XX)
1 Partial differential equations (35-XX)
1 Difference and functional equations (39-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