Lower semilattice-ordered residuated semigroups and substructural logics
- Publisher: Springer
arxiv: Computer Science::Logic in Computer Science | Mathematics::Logic
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 (terms, sequents, equations, quasi-equations) in representable algebras and give finite axiomatizations for several notions of validity. These results will be applied in the context of substructural logics.
13 references, page 1 of 2
views in local repository
downloads in local repository
The information is available from the following content providers: