De Morgan 半 Heyting 代数与 Heyting 代数
逻辑
2018-07-25 v2
摘要
具有 De Morgan 否定的半 Heyting 代数簇 DMSH 在 [12] 中被引入，且其层级 n（n 为自然数）的子簇递增序列 DMSHn 在系列文献 [12]、[13]、[14]、[15]、[16] 与 [17] 中被研究，本文是该系列的续篇。在本文中，我们证明两个主要结果：首先，我们证明 1 层 DMSH1-代数满足 Stone 恒等式，推广了正则 1 层 DMSH1-代数满足 Stone 恒等式的较早结果。其次，我们证明对偶 ms Stone 半 Heyting 代数簇 DmsStSH 处于第 2 层。作为应用，推导出 De Morgan 半 Heyting 代数簇也处于第 2 层。并表明这些结果是尖锐的。
引用
@article{arxiv.1807.00268,
title = {De Morgan Semi-Heyting and Heyting Algebras},
author = {Hanamantagouda P. Sankappanavar},
journal= {arXiv preprint arXiv:1807.00268},
year = {2018}
}
备注
9 pages, 4 figures, A revision of an earlier version in ArXiv