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...

ver descrição completa

Detalhes bibliográficos
Autores: Font Llovet, Josep Maria, Rodríguez Pérez, Gonzalo
Formato: artículo
Estado:Versión publicada
Fecha de publicación:1992
País:España
Recursos:Universidad de Barcelona
Repositorio:Dipòsit Digital de la UB
OAI Identifier:oai:diposit.ub.edu:2445/132479
Acesso em linha:https://hdl.handle.net/2445/132479
Access Level:acceso abierto
Palavra-chave:Àlgebra
Anells (Àlgebra)
Algebra
Rings (Algebra)
id ES_1b424b46e522c115b2f7e92c8a2c2d92
oai_identifier_str oai:diposit.ub.edu:2445/132479
network_acronym_str ES
network_name_str España
repository_id_str
spelling A note on Sugihara algebrasFont Llovet, Josep MariaRodríguez Pérez, GonzaloÀlgebraAnells (Àlgebra)AlgebraRings (Algebra)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 .Universitat Autònoma de Barcelona1992info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionapplication/pdfhttps://hdl.handle.net/2445/132479Articles publicats en revistes (Matemàtiques i Informàtica)reponame:Dipòsit Digital de la UBinstname:Universidad de BarcelonaInglésReproducció del document publicat a: https://doi.org/10.5565/PUBLMAT_362A92_19Publicacions Matemàtiques, 1992, vol. 36, num. 2, p. 591-599https://doi.org/10.5565/PUBLMAT_362A92_19(c) Universitat Autònoma de Barcelona, 1992info:eu-repo/semantics/openAccessoai:diposit.ub.edu:2445/1324792026-05-27T06:46:51Z
dc.title.none.fl_str_mv A note on Sugihara algebras
title A note on Sugihara algebras
spellingShingle A note on Sugihara algebras
Font Llovet, Josep Maria
Àlgebra
Anells (Àlgebra)
Algebra
Rings (Algebra)
title_short A note on Sugihara algebras
title_full A note on Sugihara algebras
title_fullStr A note on Sugihara algebras
title_full_unstemmed A note on Sugihara algebras
title_sort A note on Sugihara algebras
dc.creator.none.fl_str_mv Font Llovet, Josep Maria
Rodríguez Pérez, Gonzalo
author Font Llovet, Josep Maria
author_facet Font Llovet, Josep Maria
Rodríguez Pérez, Gonzalo
author_role author
author2 Rodríguez Pérez, Gonzalo
author2_role author
dc.subject.none.fl_str_mv Àlgebra
Anells (Àlgebra)
Algebra
Rings (Algebra)
topic Àlgebra
Anells (Àlgebra)
Algebra
Rings (Algebra)
description 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 .
publishDate 1992
dc.date.none.fl_str_mv 1992
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv https://hdl.handle.net/2445/132479
url https://hdl.handle.net/2445/132479
dc.language.none.fl_str_mv Inglés
language_invalid_str_mv Inglés
dc.relation.none.fl_str_mv Reproducció del document publicat a: https://doi.org/10.5565/PUBLMAT_362A92_19
Publicacions Matemàtiques, 1992, vol. 36, num. 2, p. 591-599
https://doi.org/10.5565/PUBLMAT_362A92_19
dc.rights.none.fl_str_mv (c) Universitat Autònoma de Barcelona, 1992
info:eu-repo/semantics/openAccess
rights_invalid_str_mv (c) Universitat Autònoma de Barcelona, 1992
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universitat Autònoma de Barcelona
publisher.none.fl_str_mv Universitat Autònoma de Barcelona
dc.source.none.fl_str_mv Articles publicats en revistes (Matemàtiques i Informàtica)
reponame:Dipòsit Digital de la UB
instname:Universidad de Barcelona
instname_str Universidad de Barcelona
reponame_str Dipòsit Digital de la UB
collection Dipòsit Digital de la UB
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869404154710982656
score 15.300719

Registos relacionados