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 条

[31] Duality in superintuitionistic and modal predicate logics
Shirasu, H
ADVANCES IN MODAL LOGIC, VOL 1, 1998, (87): : 223 - 236
[32] Superintuitionistic logics and the projective Beth property
Maksimova L.L.
Algebra and Logic, 1999, 38 (6) : 374 - 382
[33] Projective Beth properties in modal and superintuitionistic logics
Maksimova L.L.
Algebra and Logic, 1999, 38 (3) : 171 - 180
[34] New constants in two pretabular superintuitionistic logics
A. D. Yashin
Algebra and Logic, 2011, 50
[35] Undecidability of the Problem of Recognizing Axiomatizations of Superintuitionistic Propositional Calculi
Zolin, Evgeny
STUDIA LOGICA, 2014, 102 (05) : 1021 - 1039
[36] Bi-superintuitionistic Logics for Rough Sets
Akama, Seiki
Murai, Tetsuya
Kudo, Yasuo
2013 IEEE INTERNATIONAL CONFERENCE ON GRANULAR COMPUTING (GRC), 2013, : 10 - 15
[37] Interpolation in superintuitionistic and modal predicate logics with equality
Maksimova, L
ADVANCES IN MODAL LOGIC, VOL 1, 1998, (87): : 133 - 140
[38] ON INTERMEDIATE PROPOSITIONAL LOGICS
TROELSTR.AS
KONINKLIJKE NEDERLANDSE AKADEMIE VAN WETESCHAPPEN-PROCEEDINGS SERIES A-MATHEMATICAL SCIENCES, 1965, 68 (01): : 141 - &
[39] Propositional logics on the computer
Heuerding, A
Jager, G
Schwendimann, S
Seyfried, M
THEOREM PROVING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 1995, 918 : 310 - 323
[40] On fuzzification of propositional logics
Boricic, B
FUZZY SETS AND SYSTEMS, 1999, 108 (01) : 91 - 98

← 1 2 3 4 5 →