排序方式: 共有1条查询结果,搜索用时 0 毫秒
1
1.
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... 相似文献
1