Daniele Mundici

Publication Activity (10 Years)

Years Active: 1980-2023
Publications (10 Years): 21

Top Topics

Invariant Representation

Highest Probability

Boolean Formula

Top Venues

Ann. Pure Appl. Log.

J. Log. Comput.

Adv. Appl. Math.

Publications

Daniele Mundici
: Logic and computation. Ann. Pure Appl. Log. 174 (1) (2023)
Daniele Mundici
Computing in Łukasiewicz Logic and AF-Algebras. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Daniele Mundici
The read once formula of a series-parallel network. Discret. Appl. Math. 320 (2022)
Daniele Mundici
Polytime reductions of AF-algebraic problems. CoRR (2021)
Daniele Mundici
The differential of probabilistic entailment. Ann. Pure Appl. Log. 172 (6) (2021)
Daniele Mundici
Deciding Koopman's qualitative probability. Artif. Intell. 299 (2021)
Daniele Mundici
Rota's Fubini lectures: The first problem. Adv. Appl. Math. 125 (2021)
Daniele Mundici
What the łukasiewicz Axioms mean. J. Symb. Log. 85 (3) (2020)
Daniele Mundici
Computing on Lattice-Ordered Abelian Groups. Fields of Logic and Computation III (2020)
Daniele Mundici
Preservation properties of De Finetti Coherence. FLAP 6 (2) (2019)
Daniele Mundici
De Finetti coherence and the product law for independent events. Synth. 196 (1) (2019)
Daniele Mundici
Betting on continuous independent events. Soft Comput. 23 (7) (2019)
Daniele Mundici
Word problems in Elliott monoids. CoRR (2017)
Daniele Mundici, Claudia Picardi
Faulty sets of Boolean formulas and Łukasiewicz logic. J. Log. Comput. 27 (2) (2017)
Antonio Di Nola, Daniele Mundici, Carlo Toffalori, Aldo Ursini
Preface. Soft Comput. 21 (1) (2017)
Daniele Mundici
Coherence of de Finetti coherence. Synth. 194 (10) (2017)
Leonardo Manuel Cabrer, Daniele Mundici
Germinal theories in Łukasiewicz logic. Ann. Pure Appl. Log. 168 (5) (2017)
Manuela Busaniche, Leonardo Manuel Cabrer, Daniele Mundici
Polyhedral MV-algebras. Fuzzy Sets Syst. 292 (2016)
Daniele Mundici
-cube. J. Log. Comput. 26 (1) (2016)
Leonardo Manuel Cabrer, Daniele Mundici
Severi-Bouligand tangents, Frenet frames and Riesz spaces. Adv. Appl. Math. 64 (2015)
Leonardo Manuel Cabrer, Daniele Mundici
A Stone-Weierstrass theorem for MV-algebras and unital ℓ-groups. J. Log. Comput. 25 (3) (2015)
Daniele Mundici
Invariant Measure Under the Affine Group Over. Comb. Probab. Comput. 23 (2) (2014)
Leonardo Manuel Cabrer, Daniele Mundici
Interval MV-algebras and generalizations. Int. J. Approx. Reason. 55 (8) (2014)
Daniele Mundici
Universal Properties of Łukasiewicz Consequence. Logica Universalis 8 (1) (2014)
Lev D. Beklemishev, Guram Bezhanishvili, Daniele Mundici, Yde Venema
Foreword. Stud Logica 100 (1-2) (2012)
Daniele Mundici, Claudia Picardi
Drawing Sound Conclusions from Unsound Premises CoRR (2011)
Daniele Mundici, Itala M. Loffredo D'Ottaviano
Foreword. Stud Logica 97 (1) (2011)
Daniele Mundici
A Compact [0, 1]-valued First-order Łukasiewicz Logic with Identity on Hilbert Space. J. Log. Comput. 21 (3) (2011)
Daniele Mundici
Consequence and Interpolation in Łukasiewicz Logic. Stud Logica 99 (1-3) (2011)
Daniele Mundici
Finite axiomatizability in Łukasiewicz logic. Ann. Pure Appl. Log. 162 (12) (2011)
Daniele Mundici
Conditionals and Independence in Many-Valued Logics. ECSQARU (2009)
Daniele Mundici
Interpretation of De Finetti coherence criterion in Lukasiewicz Logic. Ann. Pure Appl. Log. 161 (2) (2009)
Shier Ju, Daniele Mundici
Many-Valued Logic and Cognition: Foreword. Stud Logica 90 (1) (2008)
Manuela Busaniche, Daniele Mundici
Geometry of Robinson consistency in Lukasiewicz logic. Ann. Pure Appl. Log. 147 (1-2) (2007)
Jan Kühr, Daniele Mundici
De Finetti theorem and Borel states in [0, 1]-valued algebraic logic. Int. J. Approx. Reason. 46 (3) (2007)
Daniele Mundici
-generated MV-algebra. Arch. Math. Log. 45 (2) (2006)
Daniele Mundici
Bookmaking over infinite-valued events. Int. J. Approx. Reason. 43 (3) (2006)
Roberto Cignoli, Daniele Mundici, Mirko Navara
Kleene-Isomorphic s -Complete MV-Algebras with Product are Isomorphic. J. Multiple Valued Log. Soft Comput. 12 (1-2) (2006)
Ferdinando Cicalese, Christian Deppe, Daniele Mundici
Q-Ary Ulam-Rényi Game with Weighted Constrained Lies. COCOON (2004)
Ferdinando Cicalese, Daniele Mundici, Ugo Vaccaro
Preface. Discret. Appl. Math. 137 (1) (2004)
Silvio Ghilardi, Daniele Mundici
Foreword. Stud Logica 73 (1) (2003)
Vincenzo Marra, Daniele Mundici
Consequence and Complexity in Infinite-Valued Logic: A Survey. ISMVL (2002)
Ferdinando Cicalese, Daniele Mundici, Ugo Vaccaro
Least adaptive optimal search with unreliable tests. Theor. Comput. Sci. 270 (1-2) (2002)
Stefano Aguzzoli, Daniele Mundici
Weierstrass Approximations by Lukasiewicz Formulas with One Quantified Variable. ISMVL (2001)
Daniele Mundici, Giovanni Panti
Decidable and undecidable prime theories in infinite-valued logic. Ann. Pure Appl. Log. 108 (1-3) (2001)
Daniele Mundici
Foreword: Logics of Uncertainty. J. Log. Lang. Inf. 9 (1) (2000)
Costas A. Drossos, Daniele Mundici
Many-Valued Points And Equality. Synth. 125 (1-2) (2000)
Ferdinando Cicalese, Daniele Mundici
Perfect Two-Fault Tolerant Search with Minimum Adaptiveness. Adv. Appl. Math. 25 (1) (2000)
Ferdinando Cicalese, Ugo Vaccaro, Daniele Mundici
Least Adaptive Optimal Search with Unreliable Tests. SWAT (2000)
Costas A. Drossos, Daniele Mundici
Many-Valued Points and Equality. Synth. 125 (1-2) (2000)
Ferdinando Cicalese, Daniele Mundici
Optimal Coding with One Asymmetric Error: Below the Sphere Packing Bound. COCOON (2000)
Ferdinando Cicalese, Daniele Mundici
Optimal Binary Search with Two Unreliable Tests and Minimum Adaptiveness. ESA (1999)
Maria Luisa Dalla Chiara, Daniele Mundici
Preface. Stud Logica 62 (2) (1999)
Daniele Mundici, Nicola Olivetti
Resolution and Model Building in the Infinite-Valued Calculus of Lukasiewicz. Theor. Comput. Sci. 200 (1-2) (1998)
Daniele Mundici
Nonboolean partitions and their logic. Soft Comput. 2 (1) (1998)
Roberto Cignoli, Daniele Mundici
An Elementary Presentation of the Equivalence Between MV-algebras and l-groups With Strong Unit. Stud Logica 61 (1) (1998)
Roberto Cignoli, Daniele Mundici
An Elementary Proof of Chang's Completeness Theorem for the Infinite-valued Calculus of Lukasiewicz. Stud Logica 58 (1) (1997)
Daniele Mundici, Alberto Trombetta
Optimal Comparison Strategies in Ulam's Searching Game with Two Errors. Theor. Comput. Sci. 182 (1-2) (1997)
Maurice Boffa, Annalisa Marcja, Daniele Mundici
Joint AILA-KGS Model Theory Meeting, Florence, Italy, 21-24 August 1995 - Preface. Ann. Pure Appl. Log. 88 (2-3) (1997)
José Carlos Cifuentes, Antonio Mario Sette, Daniele Mundici
Cauchy Completeness in Elementary Logic. J. Symb. Log. 61 (4) (1996)
Daniele Mundici
Averaging the truth-value in Lukasiewicz logic. Stud Logica 55 (1) (1995)
Daniele Mundici
A Constructive Proof of McNaughton's Theorem in Infinite-valued Logic. J. Symb. Log. 59 (2) (1994)
Daniele Mundici
Ulam Games, Lukasiewicz Logic, and AF C*-Algebras. Fundam. Informaticae 18 (1993)
Daniele Mundici
-algebras with a Two-Point Dual. Ann. Math. Artif. Intell. 6 (1-3) (1992)
Daniele Mundici
Normal Forms in Infinite-Valued Logic: The Case of One Variable. CSL (1991)
Daniele Mundici
The Complexity of Adaptive Error-Correcting Codes. CSL (1990)
Daniele Mundici
Functions Computed by Monotone Boolean Formulas with no Repeated Variables. Theor. Comput. Sci. 66 (1) (1989)
Daniele Mundici
Reducibility of Monotone Formulas to µ-Formulas. CSL (1989)
Jurek Czyzowicz, Daniele Mundici, Andrzej Pelc
Ulam's searching game with lies. J. Comb. Theory, Ser. A 52 (1) (1989)
Jurek Czyzowicz, Andrzej Pelc, Daniele Mundici
Solution of Ulam's problem on binary search with two lies. J. Comb. Theory, Ser. A 49 (2) (1988)
Daniele Mundici
Satisfiability in Many-Valued Sentential Logic is NP-Complete. Theor. Comput. Sci. 52 (1987)
Daniele Mundici
. Computation Theory and Logic (1987)
Daniele Mundici
Inverse Topological Systems and Compactness in Abstract Model Theory. J. Symb. Log. 51 (3) (1986)
Daniele Mundici
Tautologies with a unique craig interpolant, uniform vs. nonuniform complexity. Ann. Pure Appl. Log. 27 (3) (1984)
Daniele Mundici
A lower bound for the complexity of Craig's interpolants in sentential logic. Arch. Math. Log. 23 (1) (1983)
Daniele Mundici
Natural limitations of decision procedures for arithmetic with bounded quantifiers. Arch. Math. Log. 23 (1) (1983)
Daniele Mundici
Compactness, interpolation and Friedman's third problem. Ann. Math. Log. 22 (2) (1982)
Daniele Mundici
An Algebraic Result about Soft Model Theoretical Equivalence Relations with an Application to H. Friedman's Fourth Problem. J. Symb. Log. 46 (3) (1981)
Daniele Mundici
Applications of Many-Sorted Robinson Consistency Theorem. Math. Log. Q. 27 (11-12) (1981)
Daniele Mundici
Interpolation, compactness and JEP in soft model theory. Arch. Math. Log. 22 (1-2) (1980)