Nelson Conuclei and Nuclei: The Twist Construction Beyond Involutivity

Studia Logica:1-39 (forthcoming)
  Copy   BIBTEX

Abstract

Recent work by Busaniche, Galatos and Marcos introduced a very general twist construction, based on the notion of _conucleus_, which subsumes most existing approaches. In the present paper we extend this framework one step further, so as to allow us to construct and represent algebras which possess a negation that is not necessarily involutive. Our aim is to capture the main properties of the largest class that admits such a representation, as well as to be able to recover the well-known cases—such as _(quasi-)Nelson algebras_ and _(quasi-)N4-lattices_—as particular instances of the general construction. We pursue two approaches, one that directly generalizes the classical Rasiowa construction for Nelson algebras, and an alternative one that allows us to study twist-algebras within the theory of residuated lattices.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Fragments of quasi-Nelson: residuation.U. Rivieccio - 2023 - Journal of Applied Non-Classical Logics 33 (1):52-119.
Inviting a Scandalous Look: Detecting the Fabulous Fabula Promoted by the Twist Film.Ed Cameron - 2017 - Journal of Aesthetics and Art Criticism 75 (2):155-167.
Twist-structures semantics for the logics of the hierarchy InPk.Fernando M. Ramos & Víctor L. Fernández - 2009 - Journal of Applied Non-Classical Logics 19 (2):183-209.
Fragments of Quasi-Nelson: The Algebraizable Core.Umberto Rivieccio - 2022 - Logic Journal of the IGPL 30 (5):807-839.
Nelson algebras through Heyting ones: I.Andrzej Sendlewski - 1990 - Studia Logica 49 (1):105-126.
Nelson’s logic ????Thiago Nascimento, Umberto Rivieccio, João Marcos & Matthew Spinks - 2020 - Logic Journal of the IGPL 28 (6):1182-1206.
Inconsistent models of artihmetic Part II : The general case.Graham Priest - 2000 - Journal of Symbolic Logic 65 (4):1519-1529.
Inconsistent models of arithmetic Part II: the general case.Graham Priest - 2000 - Journal of Symbolic Logic 65 (4):1519-1529.

Analytics

Added to PP
2024-01-10

Downloads
3 (#1,690,426)

6 months
3 (#1,002,413)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Umberto Rivieccio
Universidad Nacional de Educación a Distancia

Citations of this work

No citations found.

Add more citations

References found in this work

Fragments of quasi-Nelson: residuation.U. Rivieccio - 2023 - Journal of Applied Non-Classical Logics 33 (1):52-119.
On the representation of n4-lattices.Sergei P. Odintsov - 2004 - Studia Logica 76 (3):385 - 405.
Fragments of Quasi-Nelson: The Algebraizable Core.Umberto Rivieccio - 2022 - Logic Journal of the IGPL 30 (5):807-839.

View all 8 references / Add more references