Daniele Mundici
#157,980
Most Influential Person Now
Italian mathematician
Daniele Mundici's AcademicInfluence.com Rankings
Daniele Mundicimathematics Degrees
Mathematics
#7261
World Rank
#9900
Historical Rank
Measure Theory
#2000
World Rank
#2427
Historical Rank

Download Badge
Mathematics
Daniele Mundici's Degrees
- PhD Mathematics University of Milan
Why Is Daniele Mundici Influential?
(Suggest an Edit or Addition)Daniele Mundici's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- Algebraic Foundations of Many-Valued Reasoning (1999) (942)
- Interpretation of AF -algebras in ukasiewicz sentential calculus (1986) (661)
- Averaging the truth-value in Łukasiewicz logic (1995) (286)
- Advanced Łukasiewicz calculus and MV-algebras (2011) (235)
- Satisfiability in Many-Valued Sentential Logic is NP-Complete (1987) (142)
- Tensor Products and the Loomis-Sikorski Theorem for MV-Algebras (1999) (118)
- MV-algebras are categorically equivalent to bounded commutative BCK-algebras (1986) (117)
- A constructive proof of McNaughton's theorem in infinite-valued logic (1994) (98)
- Bookmaking over infinite-valued events (2006) (97)
- De Finetti theorem and Borel states in [0, 1]-valued algebraic logic (2007) (83)
- Logic and Scientific Methods (1997) (70)
- Farey stellar subdivisions, ultrasimplicial groups, and K0 of AF C∗-algebras (1988) (61)
- Extending Stone duality to multisets and locally finite MV-algebras ☆ (2004) (56)
- Ulam's searching game with lies (1989) (55)
- MV-algebras: a variety for magnitudes with archimedean units (2005) (53)
- Tautologies with a unique craig interpolant, uniform vs. nonuniform complexity (1984) (52)
- Ulam Games, Lukasiewicz Logic, and AF C*-Algebras (1993) (48)
- Structures and Norms in Science (1997) (44)
- Multiple-valued Logic (2008) (43)
- Free products in the category of abelian l-groups with strong unit (1988) (39)
- The Lebesgue state of a unital abelian lattice-ordered group (2007) (38)
- The Haar theorem for lattice-ordered abelian groups with order-unit (2008) (38)
- Resolution and Model Building in the Infinite-Valued Calculus of Lukasiewicz (1998) (38)
- Least adaptive optimal search with unreliable tests (2000) (36)
- An Elementary Proof of Chang's Completeness Theorem for the Infinite-valued Calculus of Lukasiewicz (1997) (36)
- Optimal Coding with One Asymmetric Error: Below the Sphere Packing Bound (2000) (33)
- Optimal Comparison Strategies in Ulam's Searching Game with Two Errors (1997) (33)
- Knowledge, belief, and strategic interaction: The logic of Ulam's games with lies (1992) (32)
- Mapping abelian l-groups with strong unit one-one into MV algebras (1986) (30)
- Functions Computed by Monotone Boolean Formulas with no Repeated Variables (1989) (29)
- Logic of infinite quantum systems (1993) (29)
- A Cantor-Bernstein Theorem for σ-Complete MV-Algebras (2003) (28)
- Extending Addition in Elliott′s Local Semigroup (1993) (28)
- Rational polyhedra and projective lattice-ordered abelian groups with order unit (2009) (26)
- Rota-Metropolis cubic logic and Ulam-Rényi games (2001) (25)
- Projective MV-algebras and rational polyhedra (2009) (24)
- Optimal Binary Search with Two Unreliable Tests and Minimum Adaptiveness (1999) (24)
- CHAPTER 21 – Probability on MV-Algebras (2002) (23)
- Solution of Ulam's problem on binary search with two lies (1988) (22)
- Reconstructing C*-Algebras from Their Murray von Neumann Orders (1993) (22)
- A lower bound for the complexity of Craig's interpolants in sentential logic (1983) (22)
- Perfect Two-Fault Tolerant Search with Minimum Adaptiveness (2000) (21)
- An algorithmic desingularization of $3$-dimensional toric varieties (1994) (21)
- Geometry of Robinson consistency in Lukasiewicz logic (2007) (19)
- NP and Craig's Interpolation Theorem (1984) (18)
- An Elementary Presentation of the Equivalence Between MV-algebras and l-groups With Strong Unit (1998) (18)
- Ultraproducts of Z with an Application to Many-Valued Logics☆ (1999) (18)
- Simple Bratteli diagrams with a Gödel-incomplete C*-equivalence problem (2003) (17)
- The Complexity of Adaptive Error-Correcting Codes (1990) (17)
- Faithful and Invariant Conditional Probability in Łukasiewicz Logic (2009) (16)
- Solution of Rota's problem on the order of series — Parallel networks (1991) (15)
- Classifying orbits of the affine group over the integers (2014) (15)
- Recent Developments of Feedback Coding and Its Relations with Many-Valued Logic (2011) (15)
- Irreversibility, uncertainty, relativity and computer limitations (1981) (15)
- FINITELY PRESENTED LATTICE-ORDERED ABELIAN GROUPS WITH ORDER-UNIT (2010) (14)
- A characterisation of lattice-ordered abelian groups (1993) (14)
- Recognizing the Farey–Stern–Brocot AF algebra (2009) (13)
- Confluence and combinatorics in finitely generated unital lattice-ordered abelian groups (2012) (13)
- Interpretation of De Finetti coherence criterion in Lukasiewicz Logic (2009) (13)
- Duality between logics and equivalence relations (1982) (13)
- Q-Ary Ulam-Rényi Game with Weighted Constrained Lies (2004) (13)
- Nonboolean partitions and their logic (1998) (12)
- Normal Forms in Infinite-Valued Logic: The Case of One Variable (1991) (12)
- Robinson’s consistency theorem in soft model theory (1979) (12)
- Learning and the Art of Fault-tolerant Guesswork (2003) (12)
- Revisiting the Farey AF Algebra (2011) (11)
- Lukasiewicz normal forms and toric desingularizations (1996) (11)
- An invitation to Chang’s MV algebras (2019) (11)
- Decidable and undecidable prime theories in infinite-valued logic (2001) (11)
- MV-Algebras and Abelian l -Groups: a Fruitful Interaction (2002) (10)
- A generalization of abstract model theory (1984) (10)
- FOUNDATIONS OF MANY-VALUED REASONING (2006) (10)
- Fault-Tolerance and Rota-Metropolis Cubic Logic (2002) (9)
- Stone duality for Dedekind σ-complete ℓ-groups with order-unit☆ (2006) (9)
- Gödel incompleteness in AF C*-algebras (2008) (9)
- A proof of the completeness of the infinite-valued calculus of Łukasiewicz with one variable (1995) (9)
- Word problems in Elliott monoids (2017) (9)
- Invariant Measure Under the Affine Group Over ${\mathbb{Z}$ (2014) (9)
- Kleene-Isomorphic s -Complete MV-Algebras with Product are Isomorphic (2006) (9)
- A Characterization of the free n-generated MV-algebra (2006) (8)
- Weierstrass approximations by Lukasiewicz formulas with one quantified variable (2001) (8)
- Reasoning on imprecisely defined functions (2000) (8)
- Interval MV-algebras and generalizations (2014) (8)
- Partial isomorphisms on totally ordered abelian groups and Hajek completeness theorem for basic logic (2001) (8)
- Bouligand-Severi Tangents in MV-Algebras (2012) (8)
- Logic and scientific methods. Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 (1997) (8)
- Compactness, interpolation and Friedman's third problem (1982) (8)
- Combinatorial fans, lattice-ordered groups, and their neighbours: A short excursion. (2002) (7)
- Weierstrass approximation theorem and Łukasiewicz formulas with one quantified variable (2003) (7)
- The Turing Complexity of AF C*-algebras with Lattice-ordered Ko (1987) (7)
- The Differential Semantics of Łukasiewicz Syntactic Consequence (2015) (7)
- Interpolation, compactness and JEP in soft model theory (1980) (7)
- Fans, decision problems and generators of free abelian ℓ \ell -groups (2017) (6)
- Applications of Many-Sorted Robinson Consistency Theorem (1981) (6)
- Łukasiewicz Logic and Chang’s MV Algebras in Action (2003) (6)
- If-Then-Else and Rule Extraction from Two Sets of Rules (2002) (6)
- Ulam Game, the Logic of Maxsat, and Many-Valued Partitions (1999) (6)
- De Finetti coherence and the product law for independent events (2017) (6)
- Coherence of de Finetti coherence (2017) (6)
- Every abelian l-group with two positive generators is ultrasimplicial (1987) (5)
- Finite axiomatizability in Łukasiewicz logic (2011) (5)
- A Compact [0, 1]-valued First-order Łukasiewicz Logic with Identity on Hilbert Space (2011) (5)
- An algebraic result about soft model theoretical equivalence relations with an application to H. Friedman's fourth problem (1981) (5)
- Abstract model-theory and nets of C*-algebras: Noncommutative interpolation and preservation properties (1984) (5)
- A Stone-Weierstrass theorem for MV-algebras and unital ℓ-groups (2015) (5)
- Polyhedral MV-algebras (2016) (5)
- Inverse topological systems and compactness in abstract model theory (1986) (4)
- Craig's interpolation theorem, in computation theory (1981) (4)
- THE DERIVATIVE OF TRUTH IN LUKASIEWICZ SENTENTIAL CALCULUS (1988) (4)
- Computational Logic and Proof Theory (1997) (4)
- Turing, the Mathematician (2017) (4)
- Cauchy completeness in elementary logic (1996) (4)
- Revisiting the free 2-generator abelian ℓ-group (2007) (4)
- The Resolution Method (2012) (4)
- Structures and norms in science. Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 (1997) (4)
- Reducibility of Monotone Formulas to µ-Formulas (1989) (3)
- Compactness=JEP in any logic (1983) (3)
- Natural limitations of decision procedures for arithmetic with bounded quantifiers (1983) (3)
- WHAT THE ŁUKASIEWICZ AXIOMS MEAN (2020) (3)
- Severi-Bouligand tangents, Frenet frames and Riesz spaces (2013) (3)
- Classes of Ultrasimplicial Lattice-Ordered Abelian Groups (1999) (3)
- Turing complexity of Behncke-LeptinC*-algebras with a two-point dual (1992) (3)
- Consequence and Interpolation in Łukasiewicz Logic (2011) (3)
- Deciding Koopman's qualitative probability (2021) (3)
- Hopfian $\ell$-groups, MV-algebras and AF~{C}*-algebras (2015) (3)
- Joint AILA-KGS Model Theory Meeting, Florence, Italy, 21-24 August 1995 - Preface (1997) (3)
- Free generating sets of lattice-ordered abelian groups (2007) (3)
- Proceedings of the Third Kurt Gödel Colloquium on Computational Logic and Proof Theory (1993) (2)
- Logic: a Brief Course (2012) (2)
- Foreword: Logics of Uncertainty (2000) (2)
- The differential semantics of Lukasiewicz syntactic consequence (2012) (2)
- Idempotent endomorphisms of free MV-algebras and unital ℓ-groups (2017) (2)
- Other Quantifiers: An Overview (2016) (2)
- [Computer tomography-guided stereotaxic biopsy of intracranial lesions. Simple technic for the calculation of coordinates; method for the reduction of operative risk in the critical areas of the brain]. (1987) (2)
- Universal Properties of Łukasiewicz Consequence (2014) (2)
- Computational Logic and Proof Theory 5th Kurt Gödel Colloquium, Kgc '97, Vienna, Austria, August 25-29, 1997 : Proceedings' (1997) (2)
- A Rényi Conditional in Łukasiewicz Logic (2011) (2)
- Logic on the n-cube (2012) (2)
- Classification of finitely generated lattice-ordered abelian groups with order-unit (2009) (1)
- Many-Valued Logic and Cognition: Foreword (2008) (1)
- Computational Logic and Proof Theory: Third Kurt Godel Colloquium, Kgc'93, Brno, Czech Republic, August 24-27, 1993 Proceedings (1993) (1)
- Recognizing free generating sets of (cid:2) -groups (2018) (1)
- Embedding in finitely generated lattice-ordered groups : explicit presentations for constructions (2007) (1)
- Logic and Algebra in Ulam's Searching Game with Lies (2005) (1)
- Bratteli diagrams via the De Concini–Procesi theorem (2020) (1)
- Betting on continuous independent events (2018) (1)
- Mathematics Studies Machines (1993) (1)
- The Turing complexity of AFC algebras—algebras with lattice-ordered K 0 (1987) (1)
- CLASSIFYING GL(n,Z)-ORBITS OF POINTS AND RATIONAL SUBSPACES (2016) (1)
- Classifying $\mathsf{GL}(n,\mathbb Z)$-orbits of points and rational subspaces (2015) (1)
- Embeddings, amalgamation and elementary equivalence: the representation of compact logics (1984) (1)
- A constructive proof that every 3-generated l-group is ultrasimplicial (1999) (1)
- Recognizing free generating sets of $$\ell $$ℓ-groups (2018) (1)
- From free abelian groups to free abelian ℓ-groups (2011) (1)
- Retractions of free MV-algebras and unital $\ell$-groups (2015) (1)
- A proof of the completeness of the in?nite-valued calculus of Lukasiewicz with one variable (1995) (1)
- Consequence and complexity in infinite-valued logic: a survey (2002) (1)
- Classifying $GL(2,\mathbb Z) \ltimes \mathbb Z^{2}$-orbits by subgroups of $\mathbb R$ (2014) (1)
- Ergodic undefinability in set theory and recursion theory (1981) (1)
- A Geometric Approach to MV-Algebras (2016) (1)
- Conditionals and Independence in Many-Valued Logics (2009) (1)
- The Euler characteristic and valuations on MV-algebras (2014) (1)
- A group-theoretical invariant for elementary equivalence and its role in representations of elementary classes (1981) (0)
- Syntax of Predicate Logic (2012) (0)
- Computing in Łukasiewicz Logic and AF-Algebras (2022) (0)
- Complete and computable orbit invariants in the geometry of the affine group over the integers (2020) (0)
- Mundici ∆-tautologies , uniform and non-uniform upper bounds in computation theory (2018) (0)
- Measure theory in the geometry of $GL(n,\mathbb Z) \ltimes \mathbb Z^{n}$ (2011) (0)
- A Stone-Weierstrass theorem for MV-algebras and unital $\ell$-groups (2013) (0)
- Riemann average truth-value of Łukasiewicz formulas (2006) (0)
- Dalla Macchina di Turing a P/NP (2013) (0)
- Diophantine approximation by almost equilateral triangles (2017) (0)
- $\Delta$-tautologies, uniform and non-uniform upper bounds in computation theory (1983) (0)
- Łukasiewicz Logic and Approximately Finite-Dimensional C*-Algebras (2022) (0)
- Rota's Fubini lectures: The first problem (2021) (0)
- $\bf{L}$-embedding, Amalgamation and $\bf{L}$-elementary equivalence (1982) (0)
- Generalized quantifiers in natural language, edited by Johan van Benthem and Alice ter Meulen, Groningen-Amsterdam studies in semantics, no. 4, Foris Publications, Dordrecht and Cinnaminson, N.J., 1985, vii + 169 pp.—Therein: (1987) (0)
- Chapter VI: Other Quantifiers: An Overview (1985) (0)
- Decidability and Gödel Incompleteness in AF C*-Algebras (2005) (0)
- Polytime reductions of AF-algebraic problems (2021) (0)
- [3] F. Cicalese and D. Mundici, Optimal coding with one asymmetric error: below the (0)
- Propositional Logic: Semantics (2012) (0)
- Approaching central projections in AF-algebras (2018) (0)
- Germinal theories in Łukasiewicz logic (2017) (0)
- De Concini–Procesi Theorem and Schauder Bases (2011) (0)
- theorem for σ-complete MV-algebras (2016) (0)
- Chang completeness theorem (2000) (0)
- Bases and Finitely Presented MV-Algebras (2011) (0)
- Measuring Polyhedra and Averaging Truth-Values (2011) (0)
- Rota, Probability, Algebra and Logic (2009) (0)
- Review: Johan van Benthem, Alice ter Meulen, Generalized Quantifiers in Natural Language (1987) (0)
- States and the Kroupa–Panti Theorem (2011) (0)
- Fundamental Logical Notions (2012) (0)
- Many-Valued Points And Equality (2004) (0)
- De Finetti coherence and the product law for independent events (2017) (0)
- Fast Classes for DPP (2012) (0)
- Triangles in diophantine approximation (2019) (0)
- Coherence of the Product Law for Independent Continuous Events (2018) (0)
- The Galois Connection (Mod, Th) in Ł\infty (2011) (0)
- The read once formula of a series-parallel network (2022) (0)
- The Meaning of Clauses (2012) (0)
- Basic geometry of the affine group over Z (2019) (0)
- A simple construction of Robinson equivalence relations (1987) (0)
- Gödel’s Compactness Theorem (2012) (0)
- The MV-Algebraic Stone–von Neumann Theorem (2011) (0)
- Logic: a brief course / Daniele Mundici (2012) (0)
- Łukasiewicz ∞-valued calculus (2000) (0)
- The Quantifiers “There Exists” and “For All” (2012) (0)
- Conditionals for Continuous Events : Axioms and Models (2010) (0)
- Drawing Sound Conclusions from Unsound Premises (2011) (0)
- Universal Properties of Lukasiewicz Consequence (2014) (0)
- The Predicate Logic L (2012) (0)
- The Spectral and the Maximal Spectral Space (2011) (0)
- Faulty sets of Boolean formulas and Łukasiewicz logic (2014) (0)
- Consequence Relations with Real Truth Values (2021) (0)
- van Benthem J. F. A. K.. The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse . Synthese library, vol. 156. D. Reidel Publishing Company, Dordrecht, Boston, and London, 1983, xvi + 260 pp. (1987) (0)
- Preface (2004) (0)
- Proceedings of the 5th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods (1996) (0)
- AF-algebras with lattice-ordered K0: Logic and computation (2022) (0)
- The Free Product of MV-Algebras (2011) (0)
- Rational Polyhedra, Interpolation, Amalgamation (2011) (0)
- Prologue: de Finetti Coherence Criterion and Łukasiewicz Logic (2011) (0)
- Finitely Generated Projective MV-Algebras (2011) (0)
- Coherence of de Finetti coherence (2016) (0)
- A First-Order Łukasiewicz Logic with [0, 1]-Identity (2011) (0)
- THE "PARAMOUNT POWER OF SELECTION": FROM DARWIN TO KAUFFMAN (2013) (0)
- Finite and infinite primes in models of PA (2022) (0)
- The Lebesgue State and the Completion of \({\mathsf {FREE}}_n\) (2011) (0)
- Fans and generators of free abelian l-groups (2015) (0)
- The differential of probabilistic entailment (2021) (0)
- Gödel’s Incompleteness Theorem and Quantum Thermodynamic Limits (1997) (0)
- Betting on continuous independent events (2018) (0)
- Proceedings 10th International Congress on Logic, Methodology and Philosophy of Science. Florence 1995; Two volumes ("Logic and Scientific Methods", "Structures and Norms in Science") (1996) (0)
- The Euler valuation on MV-algebras (2014) (0)
- Chapter XIX: Abstract Equivalence Relations (1985) (0)
- Finitely presented MV-algebras, unital lattice ordered abelian groups and rational polyhedra - together (2014) (0)
- The MV-Algebraic Loomis–Sikorski Theorem (2011) (0)
- Summer School on Algebra and Ordered Sets (2015) (0)
- De Finetti for mathematics undergraduates (2021) (0)
- Propositional Logic: Syntax (2012) (0)
- Effective Procedures for \hbox{\L}_{\infty} and MV-Algebras (2011) (0)
- Lattice-theoretical properties (2000) (0)
- Universal Properties of Łukasiewicz Consequence (2013) (0)
- Abstract Equivalence Relations (2016) (0)
- Applications, Further Reading, Selected Problems (2011) (0)
- Recap: Expressivity and Efficiency (2012) (0)
- Preface (2017) (0)
- Keynote Address Abstract (2010) (0)
- Varieties of MV-algebras (2000) (0)
- Direct Limits, Confluence and Multisets (2011) (0)
- MV-algebras and ℓ-groups (2000) (0)
- Gödel’s Completeness Theorem for the Logic of Clauses (2012) (0)
- Computing on Lattice-Ordered Abelian Groups (2020) (0)
- Complete and computable orbit invariants in the geometry of the affine group over the integers (2020) (0)
- Preservation properties of De Finetti Coherence (2019) (0)
- Robinson’s Completeness Theorem (2012) (0)
- Recurrence, Probability, Measure (2011) (0)
- Multiple Valued Logic (Dagstuhl Seminar 9744) (2021) (0)
This paper list is powered by the following services:
What Schools Are Affiliated With Daniele Mundici?
Daniele Mundici is affiliated with the following schools: