Switch to: References

Add citations

You must login to add citations.
  1. The Dual Adjunction between MV-algebras and Tychonoff Spaces.Vincenzo Marra & Luca Spada - 2012 - 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. (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Fuzzy logic.Petr Hajek - 2008 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Three characterizations of strict coherence on infinite-valued events.Tommaso Flaminio - 2020 - Review of Symbolic Logic 13 (3):593-610.
    This article builds on a recent paper coauthored by the present author, H. Hosni and F. Montagna. It is meant to contribute to the logical foundations of probability theory on many-valued events and, specifically, to a deeper understanding of the notion of strict coherence. In particular, we will make use of geometrical, measure-theoretical and logical methods to provide three characterizations of strict coherence on formulas of infinite-valued Łukasiewicz logic.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • An analysis of the logic of Riesz spaces with strong unit.Antonio Di Nola, Serafina Lapenta & Ioana Leuştean - 2018 - Annals of Pure and Applied Logic 169 (3):216-234.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Free Constructions in Hoops via $$\ell $$-Groups.Valeria Giustarini, Francesco Manfucci & Sara Ugolini - forthcoming - Studia Logica:1-49.
    Lattice-ordered abelian groups, or abelian$$\ell $$ ℓ -groups in what follows, are categorically equivalent to two classes of 0-bounded hoops that are relevant in the realm of the equivalent algebraic semantics of many-valued logics: liftings of cancellative hoops and perfect MV-algebras. The former generate the variety of product algebras, and the latter the subvariety of MV-algebras generated by perfect MV-algebras, that we shall call $$\textsf{DLMV}$$ DLMV. In this work we focus on these two varieties and their relation to the structures (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Encoding de Finetti's coherence within Łukasiewicz logic and MV-algebras.Tommaso Flaminio & Sara Ugolini - 2024 - Annals of Pure and Applied Logic 175 (9):103337.
    Download  
     
    Export citation  
     
    Bookmark  
  • MV-algebras, infinite dimensional polyhedra, and natural dualities.Leonardo M. Cabrer & Luca Spada - 2017 - Archive for Mathematical Logic 56 (1-2):21-42.
    We connect the dual adjunction between MV-algebras and Tychonoff spaces with the general theory of natural dualities, and provide a number of applications. In doing so, we simplify the aforementioned construction by observing that there is no need of using presentations of MV-algebras in order to obtain the adjunction. We also provide a description of the dual maps that is intrinsically geometric, and thus avoids the syntactic notion of definable map. Finally, we apply these results to better explain the relation (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation