Implicative twist-structures

Rivieccio, Umberto

Publicación:
Implicative twist-structures

dc.contributor.author	Rivieccio, Umberto
dc.date.accessioned	2024-12-02T13:16:49Z
dc.date.available	2024-12-02T13:16:49Z
dc.date.issued	2014-09-03
dc.description	Este es el manuscrito aceptado del artículo. La versión registrada fue publicada por primera vez en Algebra Universalis,(2014) 71, 2, 2014, p. 155-186, está disponible en línea en el sitio web del editor: https://doi.org/10.1007/s00012-014-0272-5 This is the accepted manuscript of the article. The registered version was first published in Algebra Universalis, (2014) 71, 2, 2014, p. 155-186, is available online at the publisher's website: https://doi.org/10.1007/s00012-014-0272-5
dc.description.abstract	The twist-structure construction is used to represent algebras related to non-classical logics (e.g., Nelson algebras, bilattices) as a special kind of power of better-known algebraic structures (distributive lattices, Heyting algebras). We study a specific type of twist-structure (called implicative twist-structure) obtained as a power of a generalized Boolean algebra, focusing on the implication-negation fragment of the usual algebraic language of twist-structures. We prove that implicative twist-structures form a variety which is semisimple, congruence-distributive, finitely generated, and has equationally definable principal congruences. We characterize the congruences of each algebra in the variety in terms of the congruences of the associated generalized Boolean algebra. We classify and axiomatize the subvarieties of implicative twist-structures. We define a corresponding logic and prove that it is algebraizable with respect to our variety.	en
dc.description.version	versión final
dc.identifier.citation	Umberto Rivieccio, Implicative twist-structures. Algebra Universalis,(2014) 71, 2, 2014, p. 155-186; https://doi.org/10.1007/s00012-014-0272-5
dc.identifier.doi	https://doi.org/10.1007/s00012-014-0272-5
dc.identifier.issn	0002-5240
dc.identifier.uri	https://hdl.handle.net/20.500.14468/24643
dc.journal.issue	2
dc.journal.title	Algebra Universalis
dc.journal.volume	71
dc.language.iso	en
dc.page.final	186
dc.page.initial	155
dc.publisher	Springer Alemania
dc.relation.center	Facultades y escuelas::Facultad de Filosofía
dc.relation.department	Lógica, Historia y Filosofía de la Ciencia
dc.rights	info:eu-repo/semantics/openAccess
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/4.0/deed.es
dc.subject	11 Lógica
dc.subject.keywords	twist-structure	en
dc.subject.keywords	implicative bilattice	en
dc.subject.keywords	N4-lattice	en
dc.subject.keywords	Nelson lattice	en
dc.subject.keywords	representation	en
dc.subject.keywords	subreducts	en
dc.subject.keywords	algebraic logic	en
dc.title	Implicative twist-structures	en
dc.type	artículo	es
dc.type	journal article	en
dspace.entity.type	Publication
relation.isAuthorOfPublication	78477d31-191f-4cbb-b9ff-32b8ec63d72b
relation.isAuthorOfPublication.latestForDiscovery	78477d31-191f-4cbb-b9ff-32b8ec63d72b