D. Mundici

发表

MV-algebras are categorically equivalent to bounded commutative BCK-algebras

D. Mundici, 1986 .

Algebraic Foundations of Many-Valued Reasoning

D. Mundici, R. Cignoli, I. L. D'Ottaviano, 1999 .

Interpretation of AF -algebras in ukasiewicz sentential calculus

D. Mundici, 1986 .

Advanced Łukasiewicz calculus and MV-algebras

D. Mundici, 2011 .

Mapping abelian l-groups with strong unit one-one into MV algebras

D. Mundici, 1986 .

Mundici ∆-tautologies , uniform and non-uniform upper bounds in computation theory

D. Mundici, Matematiche Naturali, Delle Sedute, 2018 .

Rota-Metropolis cubic logic and Ulam-Rényi games

D. Mundici, U. Vaccaro, F. Cicalese, 2001 .

Logic and Algebra in Ulam's Searching Game with Lies

D. Mundici, 2005 .

MV-algebras: a variety for magnitudes with archimedean units

Daniele Mundici, Joan Gispert, D. Mundici, 2005 .

Satisfiability in Many-Valued Sentential Logic is NP-Complete

Daniele Mundici, D. Mundici, 1987, Theor. Comput. Sci..

The Differential Semantics of Łukasiewicz Syntactic Consequence

D. Mundici, 2015 .

The differential semantics of Lukasiewicz syntactic consequence

D. Mundici, 2012, 1207.5713.

Łukasiewicz Logic and Chang’s MV Algebras in Action

D. Mundici, V. Marra, 2003 .

Weierstrass approximation theorem and Łukasiewicz formulas with one quantified variable

D. Mundici, Stefano Aguzzoli, 2003 .

Simple Bratteli diagrams with a Gödel-incomplete C*-equivalence problem

Daniele Mundici, D. Mundici, 2003 .

Ulam Game, the Logic of Maxsat, and Many-Valued Partitions

Daniele Mundici, D. Mundici, 1999 .

Logic of infinite quantum systems

Daniele Mundici, D. Mundici, 1993 .

Every abelian l-group with two positive generators is ultrasimplicial

Daniele Mundici, D. Mundici, 1987 .

The Resolution Method

Daniele Mundici, D. Mundici, 2012 .

Applications, Further Reading, Selected Problems

D. Mundici, 2011 .

Rota, Probability, Algebra and Logic

D. Mundici, 2009 .

A Rényi Conditional in Łukasiewicz Logic

D. Mundici, D. Mundici, 2011 .

A Cantor-Bernstein Theorem for σ-Complete MV-Algebras

M. Navara, D. Mundici, D. Mundici, 2003 .

A characterisation of lattice-ordered abelian groups

D. Mundici, G. Elliott, 1993 .

Finitely Generated Projective MV-Algebras

D. Mundici, 2011 .

Projective MV-algebras and rational polyhedra

Daniele Mundici, Leonardo Manuel Cabrer, D. Mundici, 2009 .

Idempotent endomorphisms of free MV-algebras and unital ℓ-groups

D. Mundici, L. Cabrer, 2017 .

Turing, the Mathematician

D. Mundici, W. Sieg, 2017 .

Coherence of the Product Law for Independent Continuous Events

D. Mundici, 2018 .

States and the Kroupa–Panti Theorem

D. Mundici, 2011 .

The Haar theorem for lattice-ordered abelian groups with order-unit

D. Mundici, 2008 .

Proceedings of the Third Kurt Gödel Colloquium on Computational Logic and Proof Theory

Georg Gottlob, Alexander Leitsch, Daniele Mundici, 1993 .

Computational Logic and Proof Theory

Georg Gottlob, Alexander Leitsch, Daniele Mundici, 1997, Lecture Notes in Computer Science.

The Turing Complexity of AF C*-algebras with Lattice-ordered Ko

Daniele Mundici, D. Mundici, 1987, Computation Theory and Logic.

Fault-Tolerance and Rota-Metropolis Cubic Logic

Daniele Mundici, D. Mundici, 2002 .

Abstract model-theory and nets of C*-algebras: Noncommutative interpolation and preservation properties

D. Mundici, 1984 .

AF-algebras with lattice-ordered K0: Logic and computation

D. Mundici, 2022, Ann. Pure Appl. Log..

The Euler characteristic and valuations on MV-algebras

D. Mundici, A. Pedrini, 2014 .

Bouligand-Severi Tangents in MV-Algebras

D. Mundici, M. Busaniche, 2012, 1204.2147.

Logic and Scientific Methods

J.F.A.K. van Benthem, Daniele Mundici, M. L. Dalla Chiara, 1997 .

Mathematics Studies Machines

D. Mundici, W. Sieg, 1993 .

Complete and computable orbit invariants in the geometry of the affine group over the integers

D. Mundici, 2020 .

Fans, decision problems and generators of free abelian ℓ \ell -groups

D. Mundici, 2017 .

CLASSIFYING GL(n,Z)-ORBITS OF POINTS AND RATIONAL SUBSPACES

D. Mundici, L. Cabrer, 2016 .

Rational Polyhedra, Interpolation, Amalgamation

D. Mundici, 2011 .

Complete and computable orbit invariants in the geometry of the affine group over the integers

D. Mundici, 2020, Annali di Matematica Pura ed Applicata (1923 -).

Recognizing free generating sets of (cid:2) -groups

D. Mundici, 2018 .

Betting on continuous independent events

D. Mundici, 2018, Soft Computing.

Coherence of de Finetti coherence

D. Mundici, 2017, Synthese.

A constructive proof of McNaughton's theorem in infinite-valued logic

Daniele Mundici, D. Mundici, 1994, Journal of Symbolic Logic (JSL).

Interval MV-algebras and generalizations

Daniele Mundici, Leonardo Manuel Cabrer, D. Mundici, 2014, Int. J. Approx. Reason..

Deciding Koopman's qualitative probability

Daniele Mundici, D. Mundici, 2021, Artif. Intell..

Betting on continuous independent events

Daniele Mundici, D. Mundici, 2018, Soft Comput..

De Finetti coherence and the product law for independent events

Daniele Mundici, D. Mundici, 2017, Synthese.

De Finetti for mathematics undergraduates

Daniele Mundici, D. Mundici, 2021, 2107.00250.

Prologue: de Finetti Coherence Criterion and Łukasiewicz Logic

D. Mundici, 2011 .

An Elementary Proof of Chang's Completeness Theorem for the Infinite-valued Calculus of Lukasiewicz

Daniele Mundici, Roberto Cignoli, D. Mundici, 1997, Stud Logica.

FOUNDATIONS OF MANY-VALUED REASONING

D. Mundici, 2006 .

A Characterization of the free n-generated MV-algebra

Daniele Mundici, D. Mundici, 2006, Arch. Math. Log..

Conditionals and Independence in Many-Valued Logics

Daniele Mundici, D. Mundici, 2009, ECSQARU.

Hopfian $\ell$-groups, MV-algebras and AF~{C}*-algebras

D. Mundici, 2015, 1509.03230.

Multiple-valued Logic

Peter H. Schmitt, Daniele Mundici, Lotfi Zadeh, 2008 .

Optimal Comparison Strategies in Ulam's Searching Game with Two Errors

Alberto Trombetta, Daniele Mundici, Alberto Trombetta, 1997, Theor. Comput. Sci..

Ulam's searching game with lies

Andrzej Pelc, Jurek Czyzowicz, Daniele Mundici, 1989, J. Comb. Theory, Ser. A.

Solution of Ulam's problem on binary search with two lies

Andrzej Pelc, Jurek Czyzowicz, Daniele Mundici, 1988, J. Comb. Theory, Ser. A.

Learning and the Art of Fault-tolerant Guesswork

Ferdinando Cicalese, Daniele Mundici, D. Mundici, 2003 .

Effective Procedures for \hbox{\L}_{\infty} and MV-Algebras

D. Mundici, D. Mundici, 2011 .

Triangles in diophantine approximation

D. Mundici, 2019, Journal of Number Theory.

Diophantine approximation by almost equilateral triangles

D. Mundici, 2017, 1705.03344.

Confluence and combinatorics in finitely generated unital lattice-ordered abelian groups

D. Mundici, L. Cabrer, M. Busaniche, 2012 .

De Finetti theorem and Borel states in [0, 1]-valued algebraic logic

Jan Kühr, Daniele Mundici, D. Mundici, 2007, Int. J. Approx. Reason..

Bookmaking over infinite-valued events

Daniele Mundici, D. Mundici, 2006, Int. J. Approx. Reason..

Least adaptive optimal search with unreliable tests

Ugo Vaccaro, Ferdinando Cicalese, Daniele Mundici, 2000, Theor. Comput. Sci..

Classifying $\mathsf{GL}(n,\mathbb Z)$-orbits of points and rational subspaces

D. Mundici, L. Cabrer, 2015, 1507.06826.

Classifying orbits of the affine group over the integers

D. Mundici, L. Cabrer, 2014, Ergodic Theory and Dynamical Systems.

Classifying $GL(2,\mathbb Z) \ltimes \mathbb Z^{2}$-orbits by subgroups of $\mathbb R$

D. Mundici, 2014, 1401.3708.

Perfect Two-Fault Tolerant Search with Minimum Adaptiveness

Ferdinando Cicalese, Daniele Mundici, D. Mundici, 2000, Adv. Appl. Math..

The differential of probabilistic entailment

Daniele Mundici, D. Mundici, 2021, Ann. Pure Appl. Log..

Consequence and complexity in infinite-valued logic: a survey

Vincenzo Marra, Daniele Mundici, D. Mundici, 2002, Proceedings 32nd IEEE International Symposium on Multiple-Valued Logic.

Computing on Lattice-Ordered Abelian Groups

Daniele Mundici, D. Mundici, 2020, Fields of Logic and Computation III.

An algorithmic desingularization of $3$-dimensional toric varieties

Stefano Aguzzoli, Daniele Mundici, D. Mundici, 1994 .

Ergodic undefinability in set theory and recursion theory

D. Mundici, 1981 .

Rota's Fubini lectures: The first problem

Daniele Mundici, D. Mundici, 2021, Adv. Appl. Math..

Stone duality for Dedekind σ-complete ℓ-groups with order-unit☆

D. Mundici, R. Cignoli, 2006 .

Recurrence, Probability, Measure

D. Mundici, 2011 .

Averaging the truth-value in Łukasiewicz logic

DANIELE MUNDICI, D. Mundici, 1995, Stud Logica.

Revisiting the Farey AF Algebra

D. Mundici, 2011 .

Extending Stone duality to multisets and locally finite MV-algebras ☆

Daniele Mundici, Roberto Cignoli, Eduardo J. Dubuc, 2004 .

Invariant Measure Under the Affine Group Over ${\mathbb{Z}$

Daniele Mundici, D. Mundici, 2014, Combinatorics, Probability and Computing.

Measure theory in the geometry of $GL(n,\mathbb Z) \ltimes \mathbb Z^{n}$

D. Mundici, 2011, 1102.0897.

De Finetti coherence and the product law for independent events

D. Mundici, 2017, Synthese.

Structures and Norms in Science

J.F.A.K. van Benthem, Daniele Mundici, M. L. Dalla Chiara, 1997 .

A Stone-Weierstrass theorem for MV-algebras and unital ℓ-groups

Daniele Mundici, Leonardo Manuel Cabrer, D. Mundici, 2015, J. Log. Comput..

A Stone-Weierstrass theorem for MV-algebras and unital $\ell$-groups

D. Mundici, L. Cabrer, 2013, 1312.7515.

Rational polyhedra and projective lattice-ordered abelian groups with order unit

D. Mundici, L. Cabrer, 2009, 0907.3064.

A Geometric Approach to MV-Algebras

Daniele Mundici, D. Mundici, 2016, On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory.

MV-Algebras and Abelian l -Groups: a Fruitful Interaction

Vincenzo Marra, Daniele Mundici, D. Mundici, 2002 .

Cauchy completeness in elementary logic

Daniele Mundici, Antonio Mario Sette, A. M. Sette, 1996, Journal of Symbolic Logic.

Geometry of Robinson consistency in Lukasiewicz logic

Daniele Mundici, Manuela Busaniche, D. Mundici, 2007, Ann. Pure Appl. Log..

Gödel incompleteness in AF C*-algebras

C. Tsinakis, D. Mundici, 2008 .

Compactness, interpolation and Friedman's third problem

Daniele Mundici, D. Mundici, 1982, Ann. Math. Log..

A group-theoretical invariant for elementary equivalence and its role in representations of elementary classes

D. Mundici, 1981 .

Interpolation, compactness and JEP in soft model theory

Daniele Mundici, D. Mundici, 1980, Arch. Math. Log..

Applications of Many-Sorted Robinson Consistency Theorem

Daniele Mundici, D. Mundici, 1981, Math. Log. Q..

Polyhedral MV-algebras

Daniele Mundici, Manuela Busaniche, Leonardo Manuel Cabrer, 2016, Fuzzy Sets Syst..

Severi-Bouligand tangents, Frenet frames and Riesz spaces

Daniele Mundici, Leonardo Manuel Cabrer, D. Mundici, 2013, Adv. Appl. Math..

Fans and generators of free abelian l-groups

D. Mundici, 2015, 1507.00958.

Classes of Ultrasimplicial Lattice-Ordered Abelian Groups

D. Mundici, 1999 .

Natural limitations of decision procedures for arithmetic with bounded quantifiers

Daniele Mundici, D. Mundici, 1983, Arch. Math. Log..

Logic on the n-cube

Daniele Mundici, D. Mundici, 2012, J. Log. Comput..

Optimal Coding with One Asymmetric Error: Below the Sphere Packing Bound

Ferdinando Cicalese, Daniele Mundici, D. Mundici, 2000, COCOON.

Logic and scientific methods. Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

J.F.A.K. van Benthem, H. C. Doets, Daniele Mundici, 1997 .

A generalization of abstract model theory

Daniele Mundici, D. Mundici, 1984 .