首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 31 毫秒
1.
2.
3.
4.
5.
6.
7.
8.
9.
Studia Logica - Motivated by Kalman residuated lattices, Nelson residuated lattices and Nelson paraconsistent residuated lattices, we provide a natural common generalization of them. Nelson...  相似文献   

10.
11.
12.
13.
14.
15.
16.
The main aim of the present paper is to explain a nature of relationships exist between Nelson and Heyting algebras. In the realization, a topological duality theory of Heyting and Nelson algebras based on the topological duality theory of Priestley ([15], [16]) for bounded distributive lattices are applied. The general method of construction of spaces dual to Nelson algebras from a given dual space to Heyting algebra is described (Thm 2.3). The algebraic counterpart of this construction being a generalization of the Fidel-Vakarelov construction ([6], [25]) is also given (Thm 3.6). These results are applied to compare the equational category N of Nelson algebras and some its subcategories (and their duals) with the equational category H of Heyting algebras (and its dual). It is proved (Thm 4.1) that the category N is topological over the category H. The main results of this article are a part of theses of the author's doctoral dissertation at the Nicholas Copernicus University in 1984 (cpmp. [24]).Research partially supported by Polish Government Grant CPBP 08-15.  相似文献   

17.
18.
Studia Logica - In this paper we present a category equivalent to that of tense Nelson algebras. The objects in this new category are pairs consisting of an IKt-algebra and a Boolean IKt-congruence...  相似文献   

19.
20.
No abstract available for this article.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号