Order:
  1.  36
    Structural and universal completeness in algebra and logic.Paolo Aglianò & Sara Ugolini - 2024 - Annals of Pure and Applied Logic 175 (3):103391.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  96
    The Algebras of Lewis Counterfactuals.Giuliano Rosella & Sara Ugolini - manuscript
    The logico-algebraic study of Lewis's hierarchy of variably strict conditional logics has been essentially unexplored, hindering our understanding of their mathematical foundations, and the connections with other logical systems. This work aims to fill this gap by providing a comprehensive logico-algebraic analysis of Lewis's logics. We begin by introducing novel finite axiomatizations for varying strengths of Lewis's logics, distinguishing between global and local consequence relations on Lewisian sphere models. We then demonstrate that the global consequence relation is strongly algebraizable in (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  47
    A Categorical Equivalence for Product Algebras.Franco Montagna & Sara Ugolini - 2015 - Studia Logica 103 (2):345-373.
    In this paper we provide a categorical equivalence for the category \ of product algebras, with morphisms the homomorphisms. The equivalence is shown with respect to a category whose objects are triplets consisting of a Boolean algebra B, a cancellative hoop C and a map \ from B × C into C satisfying suitable properties. To every product algebra P, the equivalence associates the triplet consisting of the maximum boolean subalgebra B, the maximum cancellative subhoop C, of P, and the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  4.  8
    The algebras of Lewis’s counterfactuals: axiomatizations and algebraizability.Giuliano Rosella & Sara Ugolini - forthcoming - Review of Symbolic Logic:1-27.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  9
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  22
    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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark