On the relation of negations in Nelson algebras

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 distribu...

Full description

Saved in:
Bibliographic Details
Published inReports on mathematical logic Vol. 56; no. 56; pp. 15 - 56
Main Authors Gomez, Conrado, Marcos, Miguel Andres, San Martin, Hernan J
Format Journal Article
LanguageEnglish
Published Kraków Wydawnictwo Uniwersytetu Jagiellońskiego 2021
Jagiellonian University Press
Jagiellonian University-Jagiellonian University Press
Subjects
Algebra
Lattices
Logic
Kleene algebras
A Nelson algebras
negations
pseudocomplemented distributive lattices
Online AccessGet full text

Cover

More Information
Summary: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.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:0137-2904
2084-2589
DOI:10.4467/20842589RM.21.002.14374