Interpolation, compactness and JEP in soft model theory. - Daniele Mundici (Arch. Math. Log., 1980)

An Algebraic Result about Soft Model Theoretical Equivalence Relations with an Application to H. Friedman's Fourth Problem. - Daniele Mundici (J. Symb. Log., 1981)

Applications of Many-Sorted Robinson Consistency Theorem. - Daniele Mundici (Math. Log. Q., 1981)

Compactness, interpolation and Friedman's third problem. - Daniele Mundici (Ann. Math. Log., 1982)

A lower bound for the complexity of Craig's interpolants in sentential logic. - Daniele Mundici (Arch. Math. Log., 1983)

Natural limitations of decision procedures for arithmetic with bounded quantifiers. - Daniele Mundici (Arch. Math. Log., 1983)

Tautologies with a unique craig interpolant, uniform vs. nonuniform complexity. - Daniele Mundici (Ann. Pure Appl. Log., 1984)

Inverse Topological Systems and Compactness in Abstract Model Theory. - Daniele Mundici (J. Symb. Log., 1986)

The Turing Complexity of AF C*-algebras with Lattice-ordered Ko. - Daniele Mundici (Computation Theory and Logic, 1987)

Satisfiability in Many-Valued Sentential Logic is NP-Complete. - Daniele Mundici (Theor. Comput. Sci., 1987)

Solution of Ulam's problem on binary search with two lies. - Jurek Czyzowicz; Andrzej Pelc; Daniele Mundici (J. Comb. Theory A, 1988)

Reducibility of Monotone Formulas to µ-Formulas. - Daniele Mundici (CSL, 1989)

Ulam's searching game with lies. - Jurek Czyzowicz; Daniele Mundici; Andrzej Pelc (J. Comb. Theory A, 1989)

Functions Computed by Monotone Boolean Formulas with no Repeated Variables. - Daniele Mundici (Theor. Comput. Sci., 1989)

The Complexity of Adaptive Error-Correcting Codes. - Daniele Mundici (CSL, 1990)

Normal Forms in Infinite-Valued Logic: The Case of One Variable. - Daniele Mundici (CSL, 1991)

Turing Complexity of Behncke-Leptin C*-algebras with a Two-Point Dual. - Daniele Mundici (Ann. Math. Artif. Intell., 1992)

Ulam Games, Lukasiewicz Logic, and AF C*-Algebras. - Daniele Mundici (Fundam. Informaticae, 1993)

A Constructive Proof of McNaughton's Theorem in Infinite-valued Logic. - Daniele Mundici (J. Symb. Log., 1994)

Averaging the truth-value in Lukasiewicz logic. - Daniele Mundici (Stud Logica, 1995)

Cauchy Completeness in Elementary Logic. - José Carlos Cifuentes; Antonio Mario Sette; Daniele Mundici (J. Symb. Log., 1996)

Joint AILA-KGS Model Theory Meeting, Florence, Italy, 21-24 August 1995 - Preface. - Maurice Boffa; Annalisa Marcja; Daniele Mundici (Ann. Pure Appl. Log., 1997)

An Elementary Proof of Chang's Completeness Theorem for the Infinite-valued Calculus of Lukasiewicz. - Roberto Cignoli; Daniele Mundici (Stud Logica, 1997)

Optimal Comparison Strategies in Ulam's Searching Game with Two Errors. - Daniele Mundici; Alberto Trombetta (Theor. Comput. Sci., 1997)

An Elementary Presentation of the Equivalence Between MV-algebras and l-groups With Strong Unit. - Roberto Cignoli; Daniele Mundici (Stud Logica, 1998)

Nonboolean partitions and their logic. - Daniele Mundici (Soft Comput., 1998)

Resolution and Model Building in the Infinite-Valued Calculus of Lukasiewicz. - Daniele Mundici; Nicola Olivetti (Theor. Comput. Sci., 1998)

Optimal Binary Search with Two Unreliable Tests and Minimum Adaptiveness. - Ferdinando Cicalese; Daniele Mundici (ESA, 1999)

Preface. - Maria Luisa Dalla Chiara; Daniele Mundici (Stud Logica, 1999)

Optimal Coding with One Asymmetric Error: Below the Sphere Packing Bound. - Ferdinando Cicalese; Daniele Mundici (COCOON, 2000)

Perfect Two-Fault Tolerant Search with Minimum Adaptiveness. - Ferdinando Cicalese; Daniele Mundici (Adv. Appl. Math., 2000)

Foreword: Logics of Uncertainty. - Daniele Mundici (J. Log. Lang. Inf., 2000)

Many-Valued Points and Equality. - Costas A. Drossos; Daniele Mundici (Synth., 2000)

Weierstrass Approximations by Lukasiewicz Formulas with One Quantified Variable. - Stefano Aguzzoli; Daniele Mundici (ISMVL, 2001)

Decidable and undecidable prime theories in infinite-valued logic. - Daniele Mundici; Giovanni Panti (Ann. Pure Appl. Log., 2001)

Consequence and Complexity in Infinite-Valued Logic: A Survey. - Vincenzo Marra; Daniele Mundici (ISMVL, 2002)

Least adaptive optimal search with unreliable tests. - Ferdinando Cicalese; Daniele Mundici; Ugo Vaccaro (Theor. Comput. Sci., 2002)

Foreword. - Silvio Ghilardi; Daniele Mundici (Stud Logica, 2003)

Q-Ary Ulam-Rényi Game with Weighted Constrained Lies. - Ferdinando Cicalese; Christian Deppe; Daniele Mundici (COCOON, 2004)

Preface. - Ferdinando Cicalese; Daniele Mundici; Ugo Vaccaro (Discret. Appl. Math., 2004)

A Characterization of the free n-generated MV-algebra. - Daniele Mundici (Arch. Math. Log., 2006)

Bookmaking over infinite-valued events. - Daniele Mundici (Int. J. Approx. Reason., 2006)

Kleene-Isomorphic s -Complete MV-Algebras with Product are Isomorphic. - Roberto Cignoli; Daniele Mundici; Mirko Navara (J. Multiple Valued Log. Soft Comput., 2006)

Geometry of Robinson consistency in Lukasiewicz logic. - Manuela Busaniche; Daniele Mundici (Ann. Pure Appl. Log., 2007)

De Finetti theorem and Borel states in [0, 1]-valued algebraic logic. - Jan Kühr; Daniele Mundici (Int. J. Approx. Reason., 2007)

Many-Valued Logic and Cognition: Foreword. - Shier Ju; Daniele Mundici (Stud Logica, 2008)

Faithful and Invariant Conditional Probability in Łukasiewicz Logic. - Daniele Mundici (Towards Mathematical Philosophy, 2009)

Conditionals and Independence in Many-Valued Logics. - Daniele Mundici (ECSQARU, 2009)

Interpretation of De Finetti coherence criterion in Lukasiewicz Logic. - Daniele Mundici (Ann. Pure Appl. Log., 2009)

Recent Developments of Feedback Coding and Its Relations with Many-Valued Logic. - Ferdinando Cicalese; Daniele Mundici (Proof, Computation and Agency, 2011)

Finite axiomatizability in Łukasiewicz logic. - Daniele Mundici (Ann. Pure Appl. Log., 2011)

Drawing Sound Conclusions from Unsound Premises - Daniele Mundici; Claudia Picardi (CoRR, 2011)

A Compact [0, 1]-valued First-order Łukasiewicz Logic with Identity on Hilbert Space. - Daniele Mundici (J. Log. Comput., 2011)

Consequence and Interpolation in Łukasiewicz Logic. - Daniele Mundici (Stud Logica, 2011)

Foreword. - Daniele Mundici; Itala M. Loffredo D'Ottaviano (Stud Logica, 2011)

Foreword. - Lev D. Beklemishev; Guram Bezhanishvili; Daniele Mundici; Yde Venema (Stud Logica, 2012)

Invariant Measure Under the Affine Group Over. - Daniele Mundici (Comb. Probab. Comput., 2014)

Interval MV-algebras and generalizations. - Leonardo Manuel Cabrer; Daniele Mundici (Int. J. Approx. Reason., 2014)

Universal Properties of Łukasiewicz Consequence. - Daniele Mundici (Logica Universalis, 2014)

Severi-Bouligand tangents, Frenet frames and Riesz spaces. - Leonardo Manuel Cabrer; Daniele Mundici (Adv. Appl. Math., 2015)

A Stone-Weierstrass theorem for MV-algebras and unital ℓ-groups. - Leonardo Manuel Cabrer; Daniele Mundici (J. Log. Comput., 2015)

Polyhedral MV-algebras. - Manuela Busaniche; Leonardo Manuel Cabrer; Daniele Mundici (Fuzzy Sets Syst., 2016)

Logic on the n-cube. - Daniele Mundici (J. Log. Comput., 2016)

A Geometric Approach to MV-Algebras. - Daniele Mundici (On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory, 2016)

Germinal theories in Łukasiewicz logic. - Leonardo Manuel Cabrer; Daniele Mundici (Ann. Pure Appl. Log., 2017)

Word problems in Elliott monoids. - Daniele Mundici (CoRR, 2017)

Faulty sets of Boolean formulas and Łukasiewicz logic. - Daniele Mundici; Claudia Picardi (J. Log. Comput., 2017)

Preface. - Antonio Di Nola; Daniele Mundici; Carlo Toffalori; Aldo Ursini (Soft Comput., 2017)

Coherence of de Finetti coherence. - Daniele Mundici (Synth., 2017)

Preservation properties of De Finetti Coherence. - Daniele Mundici (FLAP, 2019)

Betting on continuous independent events. - Daniele Mundici (Soft Comput., 2019)

De Finetti coherence and the product law for independent events. - Daniele Mundici (Synth., 2019)

Computing on Lattice-Ordered Abelian Groups. - Daniele Mundici (Fields of Logic and Computation III, 2020)

What the łukasiewicz Axioms mean. - Daniele Mundici (J. Symb. Log., 2020)

Rota's Fubini lectures: The first problem. - Daniele Mundici (Adv. Appl. Math., 2021)

Deciding Koopman's qualitative probability. - Daniele Mundici (Artif. Intell., 2021)

The differential of probabilistic entailment. - Daniele Mundici (Ann. Pure Appl. Log., 2021)

Polytime reductions of AF-algebraic problems. - Daniele Mundici (CoRR, 2021)

Computing in Łukasiewicz Logic and AF-Algebras. - Daniele Mundici (The Logic of Software. A Tasting Menu of Formal Methods, 2022)

The read once formula of a series-parallel network. - Daniele Mundici (Discret. Appl. Math., 2022)

AF-algebras with lattice-ordered K0: Logic and computation. - Daniele Mundici (Ann. Pure Appl. Log., 2023)

Logics from Ultrafilters. - Daniele Mundici (Rev. Symb. Log., 2025)