Completeness Theorems via the Double Dual Functor

被引：0
|
作者：
Galli A. [1 ]
Reyes G.E. [1 ]
Sagastume M. [2 ]
机构：
[1] Universidad de La Plata,
[2] Université de Montréal,undefined
来源：
Studia Logica | 2000年 / 64卷 / 1期
关键词：
Category of distributive lattices; Completeness theorems; Conservative extensions; Double dual functor; Non-classical prepositional logics (intuitionistic; bi-intuitionistic; moisil; Łukasiewicz; nelson);
D O I：
10.1023/A:1005238330484
中图分类号：
学科分类号：
摘要：
The aim of this paper is to apply properties of the double dual endofunctor on the category of bounded distributive lattices and some extensions thereof to obtain completeness of certain non-classical prepositional logics in a unified way. In particular, we obtain completeness theorems for Moisil calculus, n-valued Łukasiewicz calculus and Nelson calculus. Furthermore we show some conservativeness results by these methods. © 2000 Kluwer Academic Publishers.
引用
收藏
页码：61 / 81
页数：20
相关论文
共 50 条
12345