Switch to: References

Add citations

You must login to add citations.
  1. The equational theories of representable residuated semigroups.Szabolcs Mikulás - 2015 - Synthese 192 (7):2151-2158.
    We show that the equational theory of representable lower semilattice-ordered residuated semigroups is finitely based. We survey related results.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Lower Semilattice-Ordered Residuated Semigroups and Substructural Logics.Szabolcs Mikulás - 2015 - Studia Logica 103 (3):453-478.
    We look at lower semilattice-ordered residuated semigroups and, in particular, the representable ones, i.e., those that are isomorphic to algebras of binary relations. We will evaluate expressions in representable algebras and give finite axiomatizations for several notions of validity. These results will be applied in the context of substructural logics.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark