Publicación:
Quasi-Nelson algebras and fragments

Vista sencilla de ítem
dc.contributor.authorRivieccio, Umberto
dc.contributor.authorJansana, Ramon
dc.date.accessioned2025-10-29T10:49:39Z
dc.date.available2025-10-29T10:49:39Z
dc.date.issued2021-05-11
dc.descriptionThe registered version of this article, first published in “Mathematical Structures in Computer Science, 31, 2021", is available online at the publisher's website: Cambridge University Press https://doi.org/10.1017/S0960129521000049
dc.descriptionLa versión registrada de este artículo, publicado por primera vez en “Mathematical Structures in Computer Science, 31, 2021", está disponible en línea en el sitio web del editor: Cambridge University Press https://doi.org/10.1017/S0960129521000049
dc.description.abstractThe variety of quasi-Nelson algebras (QNAs) has been recently introduced and characterised in several equivalent ways: among others, as (1) the class of bounded commutative integral (but non-necessarily involutive) residuated lattices satisfying the Nelson identity, as well as (2) the class of (0, 1)-congruence orderable commutative integral residuated lattices. Logically, QNAs are the algebraic counterpart of quasi-Nelson logic, which is the (algebraisable) extension of the substructural logic ℱℒew (Full Lambek calculus with Exchange and Weakening) by the Nelson axiom. In the present paper, we collect virtually all the results that are currently known on QNAs, including solutions to certain questions left open in earlier publications. Furthermore, we extend our study to some subreducts of QNAs, that is, classes of algebras corresponding to fragments of the algebraic language obtained by eliding either the implication or the lattice operations.es
dc.description.versionversión final
dc.identifier.citationRamon Jansana, Umberto Rivieccio, Quasi-Nelson algebras and fragments. Mathematical Structures in Computer Science, 31, 2021, pp. 257–285. Preprint. doi: 10.1017/S0960129521000049
dc.identifier.doihttps://doi.org/10.1017/S0960129521000049
dc.identifier.issn0960-1295 | eISSN 1469-8072
dc.identifier.urihttps://hdl.handle.net/20.500.14468/30678
dc.journal.issue3
dc.journal.titleMathematical Structures in Computer Science
dc.journal.volume31
dc.language.isoen
dc.page.final285
dc.page.initial257
dc.publisherCambridge University Press
dc.relation.centerFacultad de Filosofía
dc.relation.departmentLógica, Historia y Filosofía de la Ciencia
dc.rightsinfo:eu-repo/semantics/openAccess
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/deed.es
dc.subject11 Lógica
dc.subject72 Filosofía
dc.subject.keywords(quasi-)Nelson algebrasen
dc.subject.keywords(quasi-)Kleene algebrasen
dc.subject.keywordsweakly pseudo-complementeden
dc.subject.keywordstwist-structuresen
dc.titleQuasi-Nelson algebras and fragmentsen
dc.typeartículoes
dc.typejournal articleen
dspace.entity.typePublication
relation.isAuthorOfPublication78477d31-191f-4cbb-b9ff-32b8ec63d72b
relation.isAuthorOfPublication.latestForDiscovery78477d31-191f-4cbb-b9ff-32b8ec63d72b
Archivos
Bloque original
Mostrando 1 - 1 de 1
Miniatura
Nombre:
Rivieccio_Umberto_Quasi_Nelson_UMBERTO RIVIECCIO.pdf
Tamaño:
331.13 KB
Formato:
Adobe Portable Document Format
Descargar
Bloque de licencias
Mostrando 1 - 1 de 1
No hay miniatura disponible
Nombre:
license.txt
Tamaño:
3.62 KB
Formato:
Item-specific license agreed to upon submission
Descripción:
Descargar
Colecciones
Artículos y papers