Lower semilattice-ordered residuated semigroups and substructural logics (Q2350965)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Lower semilattice-ordered residuated semigroups and substructural logics |
scientific article |
Statements
Lower semilattice-ordered residuated semigroups and substructural logics (English)
0 references
26 June 2015
0 references
finite axiomatization
0 references
relation algebras
0 references
residuation
0 references
Lambek calculus
0 references
relevance logics
0 references
