A note on Sugihara algebras
In [41 Blok and Pigozzi prove syntactically that RM, the propositional calculus also called R-Mingle, is algebraizable, .and as a consequence there is a unique quasivariety (the so-called equivalent quasivariety semantics) associated to it . In [3] it is stated that this quasivariety is the variety...
| Authors: | , |
|---|---|
| Format: | article |
| Status: | Published version |
| Publication Date: | 1992 |
| Country: | España |
| Institution: | Varias* (Consorci de Biblioteques Universitáries de Catalunya, Centre de Serveis Científics i Acadèmics de Catalunya) |
| Repository: | Recercat. Dipósit de la Recerca de Catalunya |
| OAI Identifier: | oai:recercat.cat:2445/132479 |
| Online Access: | https://hdl.handle.net/2445/132479 |
| Access Level: | Open access |
| Keyword: | Àlgebra Anells (Àlgebra) Algebra Rings (Algebra) |
| Summary: | In [41 Blok and Pigozzi prove syntactically that RM, the propositional calculus also called R-Mingle, is algebraizable, .and as a consequence there is a unique quasivariety (the so-called equivalent quasivariety semantics) associated to it . In [3] it is stated that this quasivariety is the variety of Sugihara algebras . Starting from this fact, in this paper we present an equational base for this variety obtained as a subvariety of the variety of R-algebras, found in [7] to be associated in the same sense to the calculus Rof relevance logic, and we determine the totally ordered, the subdirectly irreducible, and the simple members of this variety, by using some consequences of the algebraizability of the logic RM (R-Mingle) with which they are associated . |
|---|