Separability of normalizable superintuitionistic propositional logics

被引：1
|
作者：
Khomich, VI [1 ]
机构：
[1] Russian Acad Sci, Inst Computat Math, Moscow 117901, Russia
来源：
MATHEMATICAL NOTES | 1998年 / 64卷 / 3-4期
关键词：
intuitionistic logics; separability of logics; intermediate propositional logics; normalizable logics;
D O I：
10.1007/BF02314635
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
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
页数：8
相关论文
共 50 条
12345