Open AccessOn the relation of negations in Nelson algebras
Author(s) -
Conrado Gomez,
Miguel Andrés Marcos,
Hernán Javier San Martín
Publication year - 2021
Publication title -
reports on mathematical logic
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.101
H-Index - 6
eISSN - 2084-2589
pISSN - 0137-2904
DOI - 10.4467/20842589rm.21.002.14374
Subject(s) - negation , distributive property , variety (cybernetics) , mathematics , relation (database) , pure mathematics , algebra over a field , computer science , programming language , data mining , statistics
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.