Please use this identifier to cite or link to this item:
http://hdl.handle.net/2445/132479
Title: | A note on Sugihara algebras |
Author: | Font Llovet, Josep Maria Rodríguez Pérez, Gonzalo |
Keywords: | Àlgebra Anells (Àlgebra) Algebra Rings (Algebra) |
Issue Date: | 1992 |
Publisher: | Universitat Autònoma de Barcelona |
Abstract: | 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 . |
Note: | Reproducció del document publicat a: https://doi.org/10.5565/PUBLMAT_362A92_19 |
It is part of: | Publicacions Matemàtiques, 1992, vol. 36, num. 2, p. 591-599 |
URI: | http://hdl.handle.net/2445/132479 |
Related resource: | https://doi.org/10.5565/PUBLMAT_362A92_19 |
ISSN: | 0214-1493 |
Appears in Collections: | Articles publicats en revistes (Matemàtiques i Informàtica) Articles publicats en revistes (Matemàtica Econòmica, Financera i Actuarial) |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
074360.pdf | 250.59 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.