9 found
Sort by:
  1. Vincenzo Marra (forthcoming). The Problem of Artificial Precision in Theories of Vagueness: A Note on the Rôle of Maximal Consistency. Erkenntnis:1-12.
    The problem of artificial precision is a major objection to any theory of vagueness based on real numbers as degrees of truth. Suppose you are willing to admit that, under sufficiently specified circumstances, a predication of “is red” receives a unique, exact number from the real unit interval [0, 1]. You should then be committed to explain what is it that determines that value, settling for instance that my coat is red to degree 0.322 rather than 0.321. In this note (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. Vincenzo Marra & Luca Spada (2013). Duality, Projectivity, and Unification in Łukasiewicz Logic and MV-Algebras. Annals of Pure and Applied Logic 164 (3):192-210.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  3. Vincenzo Marra & Luca Spada (2012). The Dual Adjunction Between MV-Algebras and Tychonoff Spaces. Studia Logica 100 (1-2):253-278.
    We offer a proof of the duality theorem for finitely presented MV-algebras and rational polyhedra, a folklore and yet fundamental result. Our approach develops first a general dual adjunction between MV-algebras and subspaces of Tychonoff cubes, endowed with the transformations that are definable in the language of MV-algebras. We then show that this dual adjunction restricts to a duality between semisimple MV-algebras and closed subspaces of Tychonoff cubes. The duality theorem for finitely presented objects is obtained by a further specialisation. (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  4. Ioana Leuştean & Vincenzo Marra (2010). Algebra and Probability in Many-Valued Reasoning. Studia Logica 94 (2):147 - 150.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  5. Stefano Aguzzoli, Matteo Bianchi & Vincenzo Marra (2009). A Temporal Semantics for Basic Logic. Studia Logica 92 (2):147 - 162.
    In the context of truth-functional propositional many-valued logics, Hájek’s Basic Fuzzy Logic BL [14] plays a major rôle. The completeness theorem proved in [7] shows that BL is the logic of all continuous t -norms and their residua. This result, however, does not directly yield any meaningful interpretation of the truth values in BL per se . In an attempt to address this issue, in this paper we introduce a complete temporal semantics for BL. Specifically, we show that BL formulas (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  6. Stefano Aguzzoli, Brunella Gerla & Vincenzo Marra (2008). De Finetti's No-Dutch-Book Criterion for Gödel Logic. Studia Logica 90 (1):25 - 41.
    We extend de Finetti’s No-Dutch-Book Criterion to Gödel infinite-valued propositional logic.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  7. Stefano Aguzzoli, Brunella Gerla & Vincenzo Marra (2008). Gödel Algebras Free Over Finite Distributive Lattices. Annals of Pure and Applied Logic 155 (3):183-193.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  8. Vincenzo Marra (2008). A Characterization of MV-Algebras Free Over Finite Distributive Lattices. Archive for Mathematical Logic 47 (3):263-276.
    Mundici has recently established a characterization of free finitely generated MV-algebras similar in spirit to the representation of the free Boolean algebra with a countably infinite set of free generators as any Boolean algebra that is countable and atomless. No reference to universal properties is made in either theorem. Our main result is an extension of Mundici’s theorem to the whole class of MV-algebras that are free over some finite distributive lattice.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  9. Ottavio M. D'Antona & Vincenzo Marra (2006). Computing Coproducts of Finitely Presented Gödel Algebras. Annals of Pure and Applied Logic 142 (1):202-211.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation