ON THE RELATION OF NEGATIONS IN NELSON ALGEBRAS

Conrado Gomez,Miguel Andrés Marcos,Hernán Javier San Martín

REPORTS ON MATHEMATICAL LOGIC（2021）

引用 0|浏览1

暂无评分

摘要

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.

查看译文

关键词

negations, A Nelson algebras, pseudocomplemented distributive lattices, Kleene algebras

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要