A note on Sugihara algebras
-
Autores: Josep Maria Font i Llobet
, Gonzalo Rodríguez Pérez
- Localización: Publicacions matematiques, ISSN 0214-1493, Vol. 36, Nº 2, 1, 1992 (Ejemplar dedicado a: la memória de Pere Menal i Brufal), págs. 591-599
- Idioma: inglés
- DOI: 10.5565/publmat_362a92_19
- Títulos paralelos:
- Una nota sobre álgebras de Sugihara
- Enlaces
-
Resumen
In [4] 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 R of 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.
