4 found
Order:
  1.  16
    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  
  2.  36
    Varieties of BL-Algebras III: Splitting Algebras.Paolo Aglianó - 2019 - Studia Logica 107 (6):1235-1259.
    In this paper we investigate splitting algebras in varieties of logics, with special consideration for varieties of BL-algebras and similar structures. In the case of the variety of all BL-algebras a complete characterization of the splitting algebras is obtained.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  24
    Varieties of BL-Algebras III: Splitting Algebras.Paolo Aglianó - 2019 - Studia Logica 107 (6):1235-1259.
    In this paper we investigate splitting algebras in varieties of logics, with special consideration for varieties of BL-algebras and similar structures. In the case of the variety of all BL-algebras a complete characterization of the splitting algebras is obtained.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  13
    Splittings in Subreducts of Hoops.Paolo Aglianò - 2022 - Studia Logica 110 (5):1155-1187.
    In this paper we extend to various classes of subreducts of hoops some results about splitting algebras. In particular we prove that every finite chain in the purely implicational fragment of basic hoops is splitting and that every finite chain in the \ fragment of hoops is splitting. We also produce explicitly the splitting equations in most cases.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark