Representation of residuated semigroups in some algebras of relations: (The method of canonical models)
Authors:
- Wojciech Buszkowski,
- Mirosława Kołowska-Gawiejnowicz
Abstract
We prove some theorems on representation of residuated semigroups and monoids in algebras of binary relations. One of them has been proved in Andréka and Mikulás [3], and the others are new, though also closely related to some results in [3]. The main novelty of this paper is a simple method of proof, based upon a construction of canonical models for Lambek calculi by means of labeled formulas, whereas [3] uses graph-theoretic constructions. We handle labeled formulas in a way similar to Kurtonina [15] and the second author [14], but we make no use of Labeled Deductive Systems, which is an essential simplification.
- Record ID
- UAM35a30c9333194ec6bb35f02879627318
- Author
- Journal series
- Fundamenta Informaticae, ISSN 0169-2968
- Issue year
- 1997
- Vol
- 31
- Pages
- 1-12
- ASJC Classification
- ; ; ;
- DOI
- DOI:10.3233/FI-1997-3111 Opening in a new tab
- URL
- https://content.iospress.com/articles/fundamenta-informaticae/fi31-1-1 Opening in a new tab
- Language
- (en) English
- Score (nominal)
- 0
- Score source
- journalList
- Publication indicators
- = 8; = 13; : 1999 = 0.785; : 2006 (2 years) = 0.586 - 2007 (5 years) =0.774
- Citation count
- 13
Share
- Uniform Resource Identifier
- https://researchportal.amu.edu.pl/info/article/UAM35a30c9333194ec6bb35f02879627318/
- URN
urn:amu-prod:UAM35a30c9333194ec6bb35f02879627318
* presented citation count is obtained through Internet information analysis and it is close to the number calculated by the Publish or PerishOpening in a new tab system.