4 found
Order:
  1.  35
    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.  74
    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   2 citations  
  3.  20
    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   1 citation  
  4.  3
    Structurally complete finitary extensions of positive Łukasiewicz logic.Paolo Aglianò & Francesco Manfucci - forthcoming - Logic Journal of the IGPL.
    In this paper we study |$\mathcal{M}\mathcal{V}^{+}$|⁠, i.e. the positive fragment of Łukasiewicz infinite-valued Logic |$\mathcal{M}\mathcal{V}$|⁠. Using mainly algebraic techniques we characterize all the finitary extensions of |$\mathcal{M}\mathcal{V}^{+}$| that are structurally complete and those that are hereditarily structurally complete.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark