Mikulás, Szabolcs (2015) Lower semilattice-ordered residuated semigroups and substructural logics. Studia Logica 103 (3), pp. 453-478. ISSN 0039-3215.
|
Text
MeetLambekBiron.pdf - Author's Accepted Manuscript Download (381kB) | Preview |
Official URL: http://dx.doi.org/10.1007/s11225-014-9574-z
Abstract
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.
Metadata
| Item Type: | Article |
|---|---|
| Additional Information: | The final publication is available at Springer via http://dx.doi.org/10.1007/s11225-014-9574-z |
| Keyword(s) / Subject(s): | Finite axiomatization, Relation algebras, Residuation, Lambek calculus, Relevance logics |
| School: | Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences |
| Depositing User: | Szabolcs Mikulas |
| Date Deposited: | 06 Nov 2015 09:46 |
| Last Modified: | 09 Aug 2023 12:37 |
| URI: | https://eprints.bbk.ac.uk/id/eprint/13343 |
Statistics
Downloads
Activity Overview
6 month trend
6 month trend
Additional statistics are available via IRStats2.
Archive Staff Only (login required)
Edit/View Item