Access the full text.
Sign up today, get DeepDyve free for 14 days.
U. Rivieccio, M. Spinks (2019)
Quasi-Nelson Algebras
D. Nelson (1949)
Constructible falsityJournal of Symbolic Logic, 14
(1994)
On the structure of varieties with equationally definable principal congruences III, 32
Willem Blok, J. Raftery (1997)
Varieties of Commutative Residuated Integral Pomonoids and Their Residuation SubreductsJournal of Algebra, 190
U. Rivieccio (2021)
Fragments of Quasi-Nelson: The Algebraizable CoreLog. J. IGPL, 30
(1989)
Algebraizable logics
S. Celani, R. Jansana (2012)
On the free implicative semilattice extension of a Hilbert algebraMathematical Logic Quarterly, 58
U. Rivieccio (2021)
Quasi-N4-latticesSoft Computing, 26
Thiago Nascimento, U. Rivieccio (2021)
Negation and Implication in Quasi-Nelson LogicLogical Investigations
M. Busaniche, R. Cignoli (2014)
The subvariety of commutative residuated lattices represented by twist-productsAlgebra universalis, 71
S. Burris, H. Sankappanavar (1981)
A course in universal algebra, 78
P. Aglianó, M. Marcos (2020)
Varieties of bounded K-latticesFuzzy Sets Syst., 442
(1993)
Hoops and their implicational reducts, 28
P. Aglianó, I. Ferreirim, F. Montagna (2007)
Basic Hoops: an Algebraic Study of Continuous t-normsStudia Logica, 87
F. Esteva, L. Godo, P. Hájek, F. Montagna (2003)
Hoops and Fuzzy LogicJ. Log. Comput., 13
S. Celani, D. Montangie (2020)
Algebraic semantics of the $\left\{ \rightarrow , \square \right\} $-fragment of Propositional Lax LogicSoft Comput., 24
(1969)
A representation theory for prime and implicative semilattices, 136
M. Spinks, R. Veroff (2008)
Constructive Logic with Strong Negation is a Substructural Logic. IStudia Logica, 88
U. Rivieccio (2020)
Representation of De Morgan and (Semi-)Kleene LatticesSoft Computing, 24
W. Blok, I. Ferreirim (2000)
On the structure of hoopsalgebra universalis, 43
Paolo Aglian'o, M. Marcos (2020)
Varieties of K-latticesFuzzy Sets Syst., 442
M. Busaniche, Nikolaos Galatos, M. Marcos (2021)
Twist Structures and Nelson ConucleiStudia Logica, 110
U. Rivieccio (2014)
Implicative twist-structuresAlgebra universalis, 71
T. Flaminio, U. Rivieccio (2022)
Prelinearity in (quasi-)Nelson logicFuzzy Sets Syst., 445
Quasi-Nelson logic (QNL) was recently introduced as a common generalisation of intuitionistic logic and Nelson's constructive logic with strong negation. Viewed as a substructural logic, QNL is the axiomatic extension of the Full Lambek Calculus with Exchange and Weakening by the Nelson axiom, and its algebraic counterpart is a variety of residuated lattices called quasi-Nelson algebras. Nelson's logic, in turn, may be obtained as the axiomatic extension of QNL by the double negation (or involutivity) axiom, and intuitionistic logic as the extension of QNL by the contraction axiom. A recent series of papers by the author and collaborators initiated the study of fragments of QNL, which correspond to subreducts of quasi-Nelson algebras. In the present paper we focus on fragments that contain the connectives forming a residuated pair (the monoid conjunction and the so-called strong Nelson implication), these being the most interesting ones from a substructural logic perspective. We provide quasi-equational (whenever possible, equational) axiomatisations for the corresponding classes of algebras, obtain twist representations for them, study their congruence properties and take a look at a few notable subvarieties. Our results specialise to the involutive case, yielding characterisations of the corresponding fragments of Nelson's logic and their algebraic counterparts.
Journal of Applied Non-Classical Logics – Taylor & Francis
Published: Jan 2, 2023
Keywords: Nelson's constructive logic with strong negation; non-involutive; twist-structures; pocrims; subreducts
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.