TY - JOUR
TI - On the relation of negations in Nelson algebras
AU - Gomez, Conrado
AU - Marcos, Miguel Andres
AU - San Martin, Hernan Javier
TI - On the relation of negations in Nelson algebras
AB - The aim of this paper is to investigate the relation between the strong and the "weak" or intuitionistic negation in Nelson algebras. To do this, we define the variety of Kleene algebras with intuitionistic negation and explore the Kalman's construction for pseudocomplemented distributive lattices. We also study the centered algebras of this variety.
VL - 2021
IS - Number 56
PY - 2021
SN - 0137-2904
C1 - 2084-2589
SP - 15
EP - 56
DO - 10.4467/20842589RM.21.002.14374
UR - https://ejournals.eu/en/journal/reports-on-mathematical-logic/article/on-the-relation-of-negations-in-nelson-algebras
KW - negations
KW - A Nelson algebras
KW - pseudocomplemented distributive lattices
KW - Kleene algebras.