On the relation of negations in Nelson algebras
On the relation of negations in Nelson algebras
Author(s): Conrado Gomez, Miguel Andres Marcos, Hernan J. San MartinSubject(s): Logic
Published by: Wydawnictwo Uniwersytetu Jagiellońskiego
Keywords: negations; A Nelson algebras; pseudocomplemented distributive lattices; Kleene algebras
Summary/Abstract: 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.
Journal: Reports on Mathematical Logic
- Issue Year: 2021
- Issue No: 56
- Page Range: 15-56
- Page Count: 42
- Language: English
