Mikulás, Szabolcs (2015) The equational theories of representable residuated semigroups. Synthese 192 (7), pp. 2151-2158. ISSN 0039-7857.
This is the latest version of this item.
|
Text
Mik-Synt-rev-biron.pdf - Author's Accepted Manuscript Download (264kB) | Preview |
Official URL: http://dx.doi.org/10.1007/s11229-014-0513-3
Abstract
We show that the equational theory of representable lower semilattice-ordered residuated semigroups is finitely based. We survey related results.
Metadata
| Item Type: | Article |
|---|---|
| Keyword(s) / Subject(s): | Finite axiomatizability, Relation algebras, Residuation, Free algebra |
| School: | Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences |
| Depositing User: | Szabolcs Mikulas |
| Date Deposited: | 06 Nov 2015 09:50 |
| Last Modified: | 09 Aug 2023 12:37 |
| URI: | https://eprints.bbk.ac.uk/id/eprint/13342 |
Available Versions of this Item
-
The equational theories of representable residuated semigroups. (deposited 30 Jul 2014 14:32)
- The equational theories of representable residuated semigroups. (deposited 06 Nov 2015 09:50) [Currently Displayed]
Statistics
Downloads
Activity Overview
6 month trend
6 month trend
Additional statistics are available via IRStats2.
Archive Staff Only (login required)
Edit/View Item