Negation and Implication in Quasi-Nelson Logic


Thiago Nascimento
Umberto Rivieccio


Quasi-Nelson logic is a recently-introduced generalization of Nelson’s constructive logic with strong negation to a non-involutive setting. In the present paper we axiomatize the negation-implication fragment of quasi-Nelson logic (QNI-logic), which constitutes in a sense the algebraizable core of quasi-Nelson logic. We introduce a finite Hilbert-style calculus for QNI-logic, showing completeness and algebraizability with respect to the variety of QNI-algebras. Members of the latter class, also introduced and investigated in a recent paper, are precisely the negation-implication subreducts of quasi-Nelson algebras. Relying on our completeness result, we also show how the negation-implication fragments of intuitionistic logic and Nelson’s constructive logic may both be obtained as schematic extensions of QNI-logic.






Blok, Pigozzi, 1989 – Blok, W.J., Pigozzi, D. “Algebraizable Logics”, Memoirs of the American Mathematical Society, 1989, Vol. 77.
Blok, Pigozzi, 1994 – Blok, W.J., Pigozzi, D. “On the structure of varieties with equationally definable principal congruences III”, Algebra Universalis, 1994, Vol. 32, pp. 545–608.
Brignole, Monteiro, 1967 – Brignole, D., Monteiro, A. “Caracterisation des algebres de Nelson par des egalites. I, II”, Proceedings of the Japan Academy, 1964, Vol. 43, pp. 279–285.
Cignoli, 1986 – Cignoli, R. “The class of Kleene algebras satisfying an interpolation property and Nelson algebras”, Algebra Universalis, 1986, Vol. 23, pp. 262–292.
Czelakowski, Pigozzi, 2004 – Czelakowski, J., Pigozzi, D. “Fregean logics”, Annals of Pure and Applied Logic, 2004, Vol. 127, pp. 17–76.
Font, 2016 – Font, J.M. “Abstract Algebraic Logic. An Introductory Textbook”, College Publications, 2016.
Galatos et al., 2007 – Galatos, N., Jipsen, P., Kowalski, T., and Ono, H. “Residuated Lattices: an algebraic glimpse at substructural logics”, Studies in Logic and the Foundations of Mathematics, 2007.
Hamilton, 1978 – Hamilton, A.G. “Logic for Mathematicians”, Cambridge University Press, 1978.
Liang, Nascimento, 2019 – Liang, F., Nascimento, T. “Algebraic Semantics for quasiNelson Logic”, Lecture Notes in Computer Science, 2019, Vol. 11541, pp. 450–466.
Monteiro, 1963 – Monteiro, A. “Construction des alg`ebres de Nelson finies”, Bulletin of the Polish Academy of Sciences, 1963, Vol. 11, pp. 359–362.
Nelson, 1949 – Nelson, D. “Constructible falsity”, The Journal of Symbolic Logic, 1949, Vol. 14, pp. 16–26.
Rivieccio, 2020a – Rivieccio, U. “Fragments of quasi-Nelson: The Algebraizable core”, submitted.
Rivieccio, 2020b – Rivieccio, U. “Representation of De Morgan and (Semi-)Kleene lattices”, Soft Computing, 2020, Vol. 24 (12), pp. 8685–8716.
Rivieccio, 2020c – Rivieccio, U. “Fragments of quasi-Nelson: two negations”, Journal of Applied Logic, 2020, Vol. 7, No. 4, pp. 499–559.
Rivieccio, Jansana, 2020 – Rivieccio, U., Jansana, R. “Quasi-Nelson algebras and fragments”, Mathematical Structures in Computer Science, pp. 1–29. DOI: 10.1017/S0960129521000049.
Rivieccio, Spinks, 2018 – Rivieccio, U., Spinks, M. “Quasi-Nelson algebras”, Electronic Notes in Theoretical Computer Science, 2019, Vol. 344, pp. 169–188.
Rivieccio, Spinks, 2021 – Rivieccio, U., Spinks, M. “Quasi-Nelson; or, non-involutive Nelson algebras.”, Algebraic Perspectives on Substructural Logics, ed. by D. Fazio, A. Ledda, and F. Paoli, Cham: Springer 2021, pp. 133–168.
Sendlewski, 1991 – Sendlewski, A. “Topologicality of Kleene algebras with a weak pseudocomplementation over distributive p-algebras”, Reports on Mathematical Logic, 1991, Vol. 25, pp. 13–56.