Fragments of Quasi-Nelson: The Algebraizable Core

Logic Journal of the IGPL 30 (5):807-839 (2022)
  Copy   BIBTEX

Abstract

This is the second of a series of papers that investigate fragments of quasi-Nelson logic (QNL) from an algebraic logic standpoint. QNL, recently introduced as a common generalization of intuitionistic and Nelson’s constructive logic with strong negation, is the axiomatic extension of the substructural logic |$FL_{ew}$| (full Lambek calculus with exchange and weakening) by the Nelson axiom. The algebraic counterpart of QNL (quasi-Nelson algebras) is a class of commutative integral residuated lattices (a.k.a. |$FL_{ew}$|-algebras) that includes both Heyting and Nelson algebras and can be characterized algebraically in several alternative ways. The present paper focuses on the algebraic counterpart (a class we dub quasi-Nelson implication algebras, QNI-algebras) of the implication–negation fragment of QNL, corresponding to the connectives that witness the algebraizability of QNL. We recall the main known results on QNI-algebras and establish a number of new ones. Among these, we show that QNI-algebras form a congruence-distributive variety (Cor. 3.15) that enjoys equationally definable principal congruences and the strong congruence extension property (Prop. 3.16); we also characterize the subdirectly irreducible QNI-algebras in terms of the underlying poset structure (Thm. 4.23). Most of these results are obtained thanks to twist representations for QNI-algebras, which generalize the known ones for Nelson and quasi-Nelson algebras; we further introduce a Hilbert-style calculus that is algebraizable and has the variety of QNI-algebras as its equivalent algebraic semantics.

Links

PhilArchive



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

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

Nelson’s logic ????Thiago Nascimento, Umberto Rivieccio, João Marcos & Matthew Spinks - 2020 - Logic Journal of the IGPL 28 (6):1182-1206.
Strict core fuzzy logics and quasi-witnessed models.Marco Cerami & Francesc Esteva - 2011 - Archive for Mathematical Logic 50 (5-6):625-641.
Equivalential and algebraizable logics.Burghard Herrmann - 1996 - Studia Logica 57 (2-3):419 - 436.
Anshakov-Rychkov Algebras.Olga Ambas - 2001 - Notre Dame Journal of Formal Logic 42 (4):211-224.
Implicit connectives of algebraizable logics.Xavier Caicedo - 2004 - Studia Logica 78 (1-2):155 - 170.
Implicit connectives of algebraizable logics.Xavier Caicedo - 2004 - Studia Logica 78 (1-2):155-170.
Quasi-O-Minimal Structures.Oleg Belegradek, Ya'acov Peterzil & Frank Wagner - 2000 - Journal of Symbolic Logic 65 (3):1115-1132.
Order algebraizable logics.James G. Raftery - 2013 - Annals of Pure and Applied Logic 164 (3):251-283.
Weakly algebraizable logics.Janusz Czelakowski & Ramon Jansana - 2000 - Journal of Symbolic Logic 65 (2):641-668.

Analytics

Added to PP
2021-07-11

Downloads
13 (#950,112)

6 months
11 (#170,645)

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

Fragments of quasi-Nelson: residuation.U. Rivieccio - 2023 - Journal of Applied Non-Classical Logics 33 (1):52-119.

Add more citations

References found in this work

Algebraizable Logics.W. J. Blok & Don Pigozzi - 2022 - Advanced Reasoning Forum.
An algebraic approach to non-classical logics.Helena Rasiowa - 1974 - Warszawa,: PWN - Polish Scientific Publishers.
Constructible falsity.David Nelson - 1949 - Journal of Symbolic Logic 14 (1):16-26.
Categories of models of R-mingle.Wesley Fussner & Nick Galatos - 2019 - Annals of Pure and Applied Logic 170 (10):1188-1242.

Add more references