Switch to: References

Add citations

You must login to add citations.
  1. 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.
    Download  
     
    Export citation  
     
    Bookmark  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   1 citation