Daniele Mundici

88 papers A 1B 4C 1Misc 2Journal 69Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
Ulam-Rényi Games, MV-Algebras, Specker ℓ-Groups.
Stud Logica
Daniele Mundici
2025 J jnl
Logics from Ultrafilters.
Rev. Symb. Log.
Daniele Mundici
2023 J jnl
AF-algebras with lattice-ordered
Ann. Pure Appl. Log.
Daniele Mundici
2022 — conf
Computing in Łukasiewicz Logic and AF-Algebras.
The Logic of Software. A Tasting Menu of Formal Methods
Daniele Mundici
2022 J jnl
The read once formula of a series-parallel network.
Discret. Appl. Math.
Daniele Mundici
2021 J jnl
Deciding Koopman's qualitative probability.
Artif. Intell.
Daniele Mundici
2021 J jnl
Polytime reductions of AF-algebraic problems.
CoRR
Daniele Mundici
2021 J jnl
Rota's Fubini lectures: The first problem.
Adv. Appl. Math.
Daniele Mundici
2021 J jnl
The differential of probabilistic entailment.
Ann. Pure Appl. Log.
Daniele Mundici
2020 — conf
Computing on Lattice-Ordered Abelian Groups.
Fields of Logic and Computation III
Daniele Mundici
2020 J jnl
What the łukasiewicz Axioms mean.
J. Symb. Log.
Daniele Mundici
2019 J jnl
Betting on continuous independent events.
Soft Comput.
Daniele Mundici
2019 J jnl
De Finetti coherence and the product law for independent events.
Synth.
Daniele Mundici
2019 J jnl
Preservation properties of De Finetti Coherence.
FLAP
Daniele Mundici
2017 J jnl
Coherence of de Finetti coherence.
Synth.
Daniele Mundici
2017 J jnl
Faulty sets of Boolean formulas and Łukasiewicz logic.
J. Log. Comput.
Daniele Mundici, Claudia Picardi
2017 J jnl
Germinal theories in Łukasiewicz logic.
Ann. Pure Appl. Log.
Leonardo Manuel Cabrer, Daniele Mundici
2017 J jnl
Preface.
Soft Comput.
Antonio Di Nola, Daniele Mundici, Carlo Toffalori, Aldo Ursini
2017 J jnl
Word problems in Elliott monoids.
CoRR
Daniele Mundici
2016 — ch.
A Geometric Approach to MV-Algebras.
On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory
Daniele Mundici
2016 J jnl
Logic on the
J. Log. Comput.
Daniele Mundici
2016 J jnl
Polyhedral MV-algebras.
Fuzzy Sets Syst.
Manuela Busaniche, Leonardo Manuel Cabrer, Daniele Mundici
2015 J jnl
A Stone-Weierstrass theorem for MV-algebras and unital ℓ-groups.
J. Log. Comput.
Leonardo Manuel Cabrer, Daniele Mundici
2015 J jnl
Severi-Bouligand tangents, Frenet frames and Riesz spaces.
Adv. Appl. Math.
Leonardo Manuel Cabrer, Daniele Mundici
2014 J jnl
Interval MV-algebras and generalizations.
Int. J. Approx. Reason.
Leonardo Manuel Cabrer, Daniele Mundici
2014 J jnl
Invariant Measure Under the Affine Group Over.
Comb. Probab. Comput.
Daniele Mundici
2014 J jnl
Universal Properties of Łukasiewicz Consequence.
Logica Universalis
Daniele Mundici
2012 J jnl
Foreword.
Stud Logica
Lev D. Beklemishev, Guram Bezhanishvili, Daniele Mundici, Yde Venema
2011 J jnl
A Compact [0, 1]-valued First-order Łukasiewicz Logic with Identity on Hilbert Space.
J. Log. Comput.
Daniele Mundici
2011 J jnl
Consequence and Interpolation in Łukasiewicz Logic.
Stud Logica
Daniele Mundici
2011 J jnl
Drawing Sound Conclusions from Unsound Premises
CoRR
Daniele Mundici, Claudia Picardi
2011 J jnl
Finite axiomatizability in Łukasiewicz logic.
Ann. Pure Appl. Log.
Daniele Mundici
2011 J jnl
Foreword.
Stud Logica
Daniele Mundici, Itala M. Loffredo D'Ottaviano
2011 — ch.
Recent Developments of Feedback Coding and Its Relations with Many-Valued Logic.
Proof, Computation and Agency
Ferdinando Cicalese, Daniele Mundici
2009 C conf
Conditionals and Independence in Many-Valued Logics.
ECSQARU
Daniele Mundici
2009 — ch.
Faithful and Invariant Conditional Probability in Łukasiewicz Logic.
Towards Mathematical Philosophy
Daniele Mundici
2009 J jnl
Interpretation of De Finetti coherence criterion in Lukasiewicz Logic.
Ann. Pure Appl. Log.
Daniele Mundici
2008 J jnl
Many-Valued Logic and Cognition: Foreword.
Stud Logica
Shier Ju, Daniele Mundici
2007 J jnl
De Finetti theorem and Borel states in [0, 1]-valued algebraic logic.
Int. J. Approx. Reason.
Jan Kühr, Daniele Mundici
2007 J jnl
Geometry of Robinson consistency in Lukasiewicz logic.
Ann. Pure Appl. Log.
Manuela Busaniche, Daniele Mundici
2006 J jnl
A Characterization of the free
Arch. Math. Log.
Daniele Mundici
2006 J jnl
Bookmaking over infinite-valued events.
Int. J. Approx. Reason.
Daniele Mundici
2006 J jnl
Kleene-Isomorphic s -Complete MV-Algebras with Product are Isomorphic.
J. Multiple Valued Log. Soft Comput.
Roberto Cignoli, Daniele Mundici, Mirko Navara
2004 J jnl
Preface.
Discret. Appl. Math.
Ferdinando Cicalese, Daniele Mundici, Ugo Vaccaro
2004 Misc conf
Q-Ary Ulam-Rényi Game with Weighted Constrained Lies.
COCOON
Ferdinando Cicalese, Christian Deppe, Daniele Mundici
2003 J jnl
Foreword.
Stud Logica
Silvio Ghilardi, Daniele Mundici
2002 — conf
Consequence and Complexity in Infinite-Valued Logic: A Survey.
ISMVL
Vincenzo Marra, Daniele Mundici
2002 J jnl
Least adaptive optimal search with unreliable tests.
Theor. Comput. Sci.
Ferdinando Cicalese, Daniele Mundici, Ugo Vaccaro
2001 J jnl
Decidable and undecidable prime theories in infinite-valued logic.
Ann. Pure Appl. Log.
Daniele Mundici, Giovanni Panti
2001 — conf
Weierstrass Approximations by Lukasiewicz Formulas with One Quantified Variable.
ISMVL
Stefano Aguzzoli, Daniele Mundici
2000 J jnl
Foreword: Logics of Uncertainty.
J. Log. Lang. Inf.
Daniele Mundici
2000 — conf
Least Adaptive Optimal Search with Unreliable Tests.
SWAT
Ferdinando Cicalese, Ugo Vaccaro, Daniele Mundici
2000 J jnl
Many-Valued Points And Equality.
Synth.
Costas A. Drossos, Daniele Mundici
2000 J jnl
Many-Valued Points and Equality.
Synth.
Costas A. Drossos, Daniele Mundici
2000 Misc conf
Optimal Coding with One Asymmetric Error: Below the Sphere Packing Bound.
COCOON
Ferdinando Cicalese, Daniele Mundici
2000 J jnl
Perfect Two-Fault Tolerant Search with Minimum Adaptiveness.
Adv. Appl. Math.
Ferdinando Cicalese, Daniele Mundici
1999 A conf
Optimal Binary Search with Two Unreliable Tests and Minimum Adaptiveness.
ESA
Ferdinando Cicalese, Daniele Mundici
1999 J jnl
Preface.
Stud Logica
Maria Luisa Dalla Chiara, Daniele Mundici
1998 J jnl
An Elementary Presentation of the Equivalence Between MV-algebras and l-groups With Strong Unit.
Stud Logica
Roberto Cignoli, Daniele Mundici
1998 J jnl
Nonboolean partitions and their logic.
Soft Comput.
Daniele Mundici
1998 J jnl
Resolution and Model Building in the Infinite-Valued Calculus of Lukasiewicz.
Theor. Comput. Sci.
Daniele Mundici, Nicola Olivetti
1997 J jnl
An Elementary Proof of Chang's Completeness Theorem for the Infinite-valued Calculus of Lukasiewicz.
Stud Logica
Roberto Cignoli, Daniele Mundici
1997 — ed.
Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings
Kurt Gödel Colloquium
Georg Gottlob, Alexander Leitsch, Daniele Mundici
1997 J jnl
Joint AILA-KGS Model Theory Meeting, Florence, Italy, 21-24 August 1995 - Preface.
Ann. Pure Appl. Log.
Maurice Boffa, Annalisa Marcja, Daniele Mundici
1997 J jnl
Optimal Comparison Strategies in Ulam's Searching Game with Two Errors.
Theor. Comput. Sci.
Daniele Mundici, Alberto Trombetta
1996 J jnl
Cauchy Completeness in Elementary Logic.
J. Symb. Log.
José Carlos Cifuentes, Antonio Mario Sette, Daniele Mundici
1996 B ed.
Theorem Proving with Analytic Tableaux and Related Methods, 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996, Proceedings
TABLEAUX
Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi
1995 J jnl
Averaging the truth-value in Lukasiewicz logic.
Stud Logica
Daniele Mundici
1994 J jnl
A Constructive Proof of McNaughton's Theorem in Infinite-valued Logic.
J. Symb. Log.
Daniele Mundici
1993 — ed.
Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings
Kurt Gödel Colloquium
Georg Gottlob, Alexander Leitsch, Daniele Mundici
1993 J jnl
Ulam Games, Lukasiewicz Logic, and AF C*-Algebras.
Fundam. Informaticae
Daniele Mundici
1992 J jnl
Turing Complexity of Behncke-Leptin C
Ann. Math. Artif. Intell.
Daniele Mundici
1991 B conf
Normal Forms in Infinite-Valued Logic: The Case of One Variable.
CSL
Daniele Mundici
1990 B conf
The Complexity of Adaptive Error-Correcting Codes.
CSL
Daniele Mundici
1989 J jnl
Functions Computed by Monotone Boolean Formulas with no Repeated Variables.
Theor. Comput. Sci.
Daniele Mundici
1989 B conf
Reducibility of Monotone Formulas to µ-Formulas.
CSL
Daniele Mundici
1989 J jnl
Ulam's searching game with lies.
J. Comb. Theory A
Jurek Czyzowicz, Daniele Mundici, Andrzej Pelc
1988 J jnl
Solution of Ulam's problem on binary search with two lies.
J. Comb. Theory A
Jurek Czyzowicz, Andrzej Pelc, Daniele Mundici
1987 J jnl
Satisfiability in Many-Valued Sentential Logic is NP-Complete.
Theor. Comput. Sci.
Daniele Mundici
1987 — conf
The Turing Complexity of AF C
Computation Theory and Logic
Daniele Mundici
1986 J jnl
Inverse Topological Systems and Compactness in Abstract Model Theory.
J. Symb. Log.
Daniele Mundici
1984 J jnl
Tautologies with a unique craig interpolant, uniform vs. nonuniform complexity.
Ann. Pure Appl. Log.
Daniele Mundici
1983 J jnl
A lower bound for the complexity of Craig's interpolants in sentential logic.
Arch. Math. Log.
Daniele Mundici
1983 J jnl
Natural limitations of decision procedures for arithmetic with bounded quantifiers.
Arch. Math. Log.
Daniele Mundici
1982 J jnl
Compactness, interpolation and Friedman's third problem.
Ann. Math. Log.
Daniele Mundici
1981 J jnl
An Algebraic Result about Soft Model Theoretical Equivalence Relations with an Application to H. Friedman's Fourth Problem.
J. Symb. Log.
Daniele Mundici
1981 J jnl
Applications of Many-Sorted Robinson Consistency Theorem.
Math. Log. Q.
Daniele Mundici
1980 J jnl
Interpolation, compactness and JEP in soft model theory.
Arch. Math. Log.
Daniele Mundici