Daniele Mundici

Q: What Schools Are Affiliated With Daniele Mundici

Daniele Mundici is affiliated with the following schools: University of Milan, University of Siena, University of Florence

Daniele Mundici's AcademicInfluence.com Rankings

Daniele Mundici

Mathematics

#7261

World Rank

#9900

Historical Rank

Measure Theory

#2000

World Rank

#2427

Historical Rank

mathematics Degrees

Download Badge

Mathematics

Daniele Mundici's Degrees

PhD Mathematics University of Milan

Why Is Daniele Mundici Influential?

(Suggest an Edit or Addition)

(See a Problem?)

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: