Amb motiu del tancament d'estiu, la validació de documents es reprendrà a partir del 28 d'agost de 2026. Disculpeu les molèsties.
Con motivo del cierre de verano, la validación de documentos se reanudará a partir del 28 de agosto de 2026. Disculpad las molestias
Due to the summer closure, document validation will resume starting August 28, 2026. We apologize for any inconvenience.

Files

074360.pdf (250.59 KB)

Document type

Article

Version

Published version

Publication date

1992

All rights reserved

Please use this identifier to cite or link to this item: https://hdl.handle.net/2445/132479

A note on Sugihara algebras

Journal Title

Authors

Director/Tutor

Journal ISSN

Volume Title

Related resource

https://doi.org/10.5565/PUBLMAT_362A92_19

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 .

Subject

Àlgebra, Anells (Àlgebra)

Subject (English)

Algebra, Rings (Algebra)

Citation

Collections

Articles publicats en revistes (Matemàtiques i Informàtica)
Articles publicats en revistes (Matemàtica Econòmica, Financera i Actuarial)

Citation

FONT LLOVET, Josep Maria and RODRÍGUEZ PÉREZ, Gonzalo. A note on Sugihara algebras. Publicacions Matemàtiques. 1992. Vol. 36, num. 2, pags. 591-599. ISSN 0214-1493. [consulted: 9 of August of 2026]. Available at: https://hdl.handle.net/2445/132479

Export metadata

JSON - METS

Share record