6 found
Sort by:
  1. 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  
  2. 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  
  3. Antonio Di Nola, Revaz Grigolia & Luca Spada (2010). A Discrete Representation of Free MV-Algebras. Mathematical Logic Quarterly 56 (3):279-288.
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  4. Antonio Di Nola, Giacomo Lenzi & Luca Spada (2010). Representation of MV-Algebras by Regular Ultrapowers of [0, 1]. Archive for Mathematical Logic 49 (4):491-500.
    We present a uniform version of Di Nola Theorem, this enables to embed all MV-algebras of a bounded cardinality in an algebra of functions with values in a single non-standard ultrapower of the real interval [0,1]. This result also implies the existence, for any cardinal α, of a single MV-algebra in which all infinite MV-algebras of cardinality at most α embed. Recasting the above construction with iterated ultrapowers, we show how to construct such an algebra of values in a definable (...)
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  5. Antonio Di Nola, George Georgescu & Luca Spada (2008). Forcing in Łukasiewicz Predicate Logic. Studia Logica 89 (1):111-145.
    In this paper we study the notion of forcing for Łukasiewicz predicate logic (Ł∀, for short), along the lines of Robinson’s forcing in classical model theory. We deal with both finite and infinite forcing. As regard to the former we prove a Generic Model Theorem for Ł∀, while for the latter, we study the generic and existentially complete standard models of Ł∀.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  6. Luca Spada (2008). ŁΠ Logic with Fixed Points. Archive for Mathematical Logic 47 (7-8):741-763.
    We study a system, μŁΠ, obtained by an expansion of ŁΠ logic with fixed points connectives. The first main result of the paper is that μŁΠ is standard complete, i.e., complete with regard to the unit interval of real numbers endowed with a suitable structure. We also prove that the class of algebras which forms algebraic semantics for this logic is generated, as a variety, by its linearly ordered members and that they are precisely the interval algebras of real closed (...)
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation