Separability of normalizable superintuitionistic propositional logics

被引：0
|
作者：
V. I. Khomich
机构：
[1] Russian Academy of Sciences,Institute of Computational Mathematics
来源：
Mathematical Notes | 1998年 / 64卷
关键词：
intuitionistic logics; separability of logics; intermediate propositional logics; normalizable logics;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
The problem of separability of superintuitionistic propositional logics that are extensions of the intuitionistic propositional logic is studied. A criterion of separability of normal superintuitionistic propositional logics, as well as results concerning the completeness of their subcalculi is obtained. This criterion makes it possible to determine whether a normalizable superintuitionistic propositional logic is separable. By means of these results, the mistakes discovered by the author in the proofs of certain statements by McKay and Hosoi are corrected.
引用
收藏
页码：524 / 531
页数：7
相关论文
共 50 条
12345