Twist structures and Nelson conuclei

DOI10.1007/s11225-022-09988-zOpenAlexW3185436550MaRDI QIDQ2157599

Manuela Busaniche, Nikolaos Galatos, Miguel Andrés Marcos

Publication date: 22 July 2022

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2107.14198

zbMATH Keywords

paraconsistent logicresiduated latticesNelson conucleustwist structures

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (1)

Fragments of quasi-Nelson: residuation

Cites Work

• Unnamed Item
• Unnamed Item
• *-autonomous categories. With an appendix by Po-Hsiang Chu
• Nelson algebras through Heyting ones. I
• The structure of generalized BI-algebras and weakening relation algebras
• Residuated lattices. An algebraic glimpse at substructural logics
• Constructive logic with strong negation is a substructural logic. I
• Constructive negations and paraconsistency
• Constructive logic with strong negation is a substructural logic. II
• The class of Kleene algebras satisfying an interpolation property and Nelson algebras
• An algebraic approach to non-classical logics
• Notes on \(\eta\)-lattices and constructive logic with strong negation
• On extensions of intermediate logics by strong negation
• Adding involution to residuated structures
• On the representation of \(\mathbf{N4}\)-lattices
• Minimal varieties of involutive residuated lattices
• The subvariety of commutative residuated lattices represented by twist-products
• Implicative twist-structures
• THE STRUCTURE OF RESIDUATED LATTICES
• N-lattices and constructive logic with strong negation
• Non-involutive twist-structures
• Constructive Logic with Strong Negation as a Substructural Logic
• Residuated Lattices as an Algebraic Semantics for Paraconsistent Nelson's Logic
• Equivalences between subcategories of MTL-algebras via Boolean algebras and prelinear semihoops
• A general framework for product representations: bilattices and beyond
• THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
• Idempotent residuated structures: Some category equivalences and their applications
• Lattices With Involution
• Constructible falsity
• Varieties of K-lattices

This page was built for publication: Twist structures and Nelson conuclei