32 found
Sort by:
  1. Daniele Mundici & Wilfried Sieg, Mathematics Studies Machines.
    Machines were introduced as calculating devices to simulate operations carried out by human computors following fixed algorithms: this is true for the early mechanical calculators devised by Pascal and Leibniz, for the analytical engine built by Babbage, and the theoretical machines introduced by Turing. The distinguishing feature of the latter is their universality: They are claimed to be able to capture any algorithm whatsoever and, conversely, any procedure they can carry out is evidently algorithmic. The study of such "paper machines" (...)
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  2. Daniele Mundici (2014). Universal Properties of Łukasiewicz Consequence. Logica Universalis 8 (1):17-24.
    Boolean logic deals with {0, 1}-observables and yes–no events, as many-valued logic does for continuous ones. Since every measurement has an error, continuity ensures that small measurement errors on elementary observables have small effects on compound observables. Continuity is irrelevant for {0, 1}-observables. Functional completeness no longer holds when n-ary connectives are understood as [0, 1]-valued maps defined on [0, 1] n . So one must envisage suitable selection criteria for [0, 1]-connectives. Łukasiewicz implication has a well known characterization as (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. Evandro Agazzi, Ítala M. Loffredo D'ottaviano & Daniele Mundici (2012). Foreword. Principia 15 (2):223.
    Foreword DOI:10.5007/1808-1711.2011v15n2p223.
    No categories
    Direct download (12 more)  
     
    My bibliography  
     
    Export citation  
  4. Lev Beklemishev, Guram Bezhanishvili, Daniele Mundici & Yde Venema (2012). Foreword. Studia Logica 100 (1-2):1-7.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  5. Daniele Mundici (2011). Consequence and Interpolation in Łukasiewicz Logic. Studia Logica 99 (1-3):269-278.
    Building on Wójcicki’s work on infinite-valued Łukasiewicz logic Ł ∞ , we give a self-contained proof of the deductive interpolation theorem for Ł ∞ . This paper aims at introducing the reader to the geometry of Łukasiewicz logic.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  6. Daniele Mundici (2011). Finite Axiomatizability in Łukasiewicz Logic. Annals of Pure and Applied Logic 162 (12):1035-1047.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  7. Daniele Mundici (2009). Interpretation of De Finetti Coherence Criterion in Łukasiewicz Logic. Annals of Pure and Applied Logic 161 (2):235-245.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  8. Shier Ju & Daniele Mundici (2008). Many-Valued Logic and Cognition: Foreword. Studia Logica 90 (1):1-2.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  9. Manuela Busaniche & Daniele Mundici (2007). Geometry of Robinson Consistency in Łukasiewicz Logic. Annals of Pure and Applied Logic 147 (1):1-22.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  10. Daniele Mundici (2006). A Characterization of the Free N-Generated MV-Algebra. Archive for Mathematical Logic 45 (2):239-247.
    An MV-algebra A=(A,0,¬,⊕) is an abelian monoid (A,0,⊕) equipped with a unary operation ¬ such that ¬¬x=x,x⊕¬0=¬0, and y⊕¬(y⊕¬x)=x⊕¬(x⊕¬y). Chang proved that the equational class of MV-algebras is generated by the real unit interval [0,1] equipped with the operations ¬x=1−x and x⊕y=min(1,x+y). Therefore, the free n-generated MV-algebra Free n is the algebra of [0,1]-valued functions over the n-cube [0,1] n generated by the coordinate functions ξ i ,i=1, . . . ,n, with pointwise operations. Any such function f is a (...)
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  11. Daniele Mundici (2005). Decidability and godel incompleteness in af c*-algebras. Manuscrito 28 (2).
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  12. Silvio Ghilardi & Daniele Mundici (2003). Foreword. Studia Logica 73 (1):1-1.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  13. Daniele Mundici & Giovanni Panti (2001). Decidable and Undecidable Prime Theories in Infinite-Valued Logic. Annals of Pure and Applied Logic 108 (1-3):269-278.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  14. Costas Drossos & Daniele Mundici (2000). Many-Valued Points and Equality. Synthese 125 (1-2):77-95.
    In 1999, da Silva, D'Ottaviano and Sette proposed a general definition for the term translation between logics and presented an initial segment of its theory. Logics are characterized, in the most general sense, as sets with consequence relations and translations between logics as consequence-relation preserving maps. In a previous paper the authors introduced the concept of conservative translation between logics and studied some general properties of the co-complete category constituted by logics and conservative translations between them. In this paper we (...)
    Direct download (11 more)  
     
    My bibliography  
     
    Export citation  
  15. Daniele Mundici (2000). Foreword: Logics of Uncertainty. [REVIEW] Journal of Logic, Language and Information 9 (1):1-3.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  16. MariaLuisa Dalla Chiara & Daniele Mundici (1999). Preface. Studia Logica 62 (2):117-120.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  17. Roberto Cignoli & Daniele Mundici (1998). An Elementary Presentation of the Equivalence Between MV-Algebras and L-Groups with Strong Unit. Studia Logica 61 (1):49-64.
    Aim of this paper is to provide a self-contained presentation of the natural equivalence between MV-algebras and lattice-ordered abelian groups with strong unit.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  18. Daniele Mundici (1998). Foreword. Studia Logica 61 (1):1-1.
    Direct download (14 more)  
     
    My bibliography  
     
    Export citation  
  19. Maurice Boffa, Annalisa Marcja & Daniele Mundici (1997). Preface. Annals of Pure and Applied Logic 88 (2-3):93.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  20. Roberto Cignoli & Daniele Mundici (1997). An Elementary Proof of Chang's Completeness Theorem for the Infinite-Valued Calculus of Lukasiewicz. Studia Logica 58 (1):79-97.
    The interpretation of propositions in Lukasiewicz's infinite-valued calculus as answers in Ulam's game with lies--the Boolean case corresponding to the traditional Twenty Questions game--gives added interest to the completeness theorem. The literature contains several different proofs, but they invariably require technical prerequisites from such areas as model-theory, algebraic geometry, or the theory of ordered groups. The aim of this paper is to provide a self-contained proof, only requiring the rudiments of algebra and convexity in finite-dimensional vector spaces.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  21. Daniele Mundici (1997). Gödel's Incompleteness Theorem and Quantum Thermodynamic Limits. In Evandro Agazzi & György Darvas (eds.), Philosophy of Mathematics Today. Kluwer. 287--298.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  22. Daniele Mundici (1995). Averaging the Truth-Value in Łukasiewicz Logic. Studia Logica 55 (1):113 - 127.
    Chang's MV algebras are the algebras of the infinite-valued sentential calculus of ukasiewicz. We introduce finitely additive measures (called states) on MV algebras with the intent of capturing the notion of average degree of truth of a proposition. Since Boolean algebras coincide with idempotent MV algebras, states yield a generalization of finitely additive measures. Since MV algebras stand to Boolean algebras as AFC*-algebras stand to commutative AFC*-algebras, states are naturally related to noncommutativeC*-algebraic measures.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  23. Daniele Mundici & Wilfried Seig (1995). Paper Machines. Philosophia Mathematica 3 (1):5-30.
    Machines were introduced as calculating devices to simulate operations carried out by human computers following fixed algorithms. The mathematical study of (paper) machines is the topic of our essay. The first three sections provide necessary logical background, examine the analyses of effective calculability given in the thirties, and describe results that are central to recursion theory, reinforcing the conceptual analyses. In the final section we pursue our investigation in a quite different way and focus on principles that govern the operations (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  24. Daniele Mundici (1994). A Constructive Proof of McNaughton's Theorem in Infinite-Valued Logic. Journal of Symbolic Logic 59 (2):596-602.
    We give a constructive proof of McNaughton's theorem stating that every piecewise linear function with integral coefficients is representable by some sentence in the infinite-valued calculus of Lukasiewicz. For the proof we only use Minkowski's convex body theorem and the rudiments of piecewise linear topology.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  25. Daniele Mundici & Wilfried Sieg, Computability Theory.
    Daniele Mundici and Wilfred Sieg. Computability Theory.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  26. Daniele Mundici (1987). Review: Johan van Benthem, Alice ter Meulen, Generalized Quantifiers in Natural Language. [REVIEW] Journal of Symbolic Logic 52 (3):876-878.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  27. Daniele Mundici (1986). Inverse Topological Systems and Compactness in Abstract Model Theory. Journal of Symbolic Logic 51 (3):785-794.
    Given an abstract logic L = L(Q i ) i ∈ I generated by a set of quantifiers Q i , one can construct for each type τ a topological space S τ exactly as one constructs the Stone space for τ in first-order logic. Letting T be an arbitrary directed set of types, the set $S_T = \{(S_\tau, \pi^\tau_\sigma)\mid\sigma, \tau \in T, \sigma \subset \tau\}$ is an inverse topological system whose bonding mappings π τ σ are naturally determined by (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  28. Daniele Mundici (1984). Tautologies with a Unique Craig Interpolant, Uniform Vs. Nonuniform Complexity. Annals of Pure and Applied Logic 27 (3):265-273.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  29. Daniele Mundici (1982). Compactness, Interpolation and Friedman's Third Problem. Annals of Mathematical Logic 22 (2):197-211.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  30. Daniele Mundici (1981). An Algebraic Result About Soft Model Theoretical Equivalence Relations with an Application to H. Friedman's Fourth Problem. Journal of Symbolic Logic 46 (3):523-530.
    We prove the following algebraic characterization of elementary equivalence: $\equiv$ restricted to countable structures of finite type is minimal among the equivalence relations, other than isomorphism, which are preserved under reduct and renaming and which have the Robinson property; the latter is a faithful adaptation for equivalence relations of the familiar model theoretical notion. We apply this result to Friedman's fourth problem by proving that if L = L ωω (Q i ) i ∈ ω 1 is an (ω 1 (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  31. Daniele Mundici (1981). A Group-Theoretical Invariant for Elementary Equivalence and its Role in Representations of Elementary Classes. Studia Logica 40 (3):253 - 267.
    There is a natural map which assigns to every modelU of typeτ, (U ε Stτ) a groupG (U) in such a way that elementarily equivalent models are mapped into isomorphic groups.G(U) is a subset of a collection whose members are called Fraisse arrows (they are decreasing sequences of sets of partial isomorphisms) and which arise in connection with the Fraisse characterization of elementary equivalence. LetEC λ U be defined as {U εStr τ: ℬ ≡U and |ℬ|=λ; thenEG λ U can (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  32. Daniele Mundici (1981). Applications of Many‐Sorted Robinson Consistency Theorem. Mathematical Logic Quarterly 27 (11‐12):181-188.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation