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 条

[1] Separability of normalizable superintuitionistic propositional logics
V. I. Khomich
Mathematical Notes, 1998, 64 : 524 - 531
[2] ON THE PROBLEM OF SEPARABILITY FOR SUPERINTUITIONISTIC PROPOSITIONAL LOGICS
KHOMICH, VI
DOKLADY AKADEMII NAUK SSSR, 1980, 254 (04): : 820 - 823
[3] The simple substitution property for superintuitionistic propositional logics and its relation to the separability property
Khomich, VI
IZVESTIYA MATHEMATICS, 2003, 67 (02) : 377 - 404
[4] On the property of simple substitution for superintuitionistic propositional logics
Khomich, VI
DOKLADY MATHEMATICS, 2000, 62 (02) : 213 - 215
[5] ON SUPERINTUITIONISTIC PROPOSITIONAL LOGICS CONNECTED WITH PARTIALLY ORDERED SETS
KHOMICH, VI
MATHEMATICS OF THE USSR-IZVESTIYA, 1992, 38 (02): : 375 - 397
[6] On the simple substitution property for superintuitionistic and modal propositional logics
Khomich, V. I.
DOKLADY MATHEMATICS, 2008, 78 (03) : 923 - 924
[7] On the simple substitution property for superintuitionistic and modal propositional logics
V. I. Khomich
Doklady Mathematics, 2008, 78 : 923 - 924
[8] Complexity function and complexity of validity of modal and superintuitionistic propositional logics
Rybakov, Mikhail
Shkatov, Dmitry
JOURNAL OF LOGIC AND COMPUTATION, 2023, 33 (07) : 1566 - 1595
[9] On Systems of Slices in the Structure of Superintuitionistic Predicate (or Propositional) Logics. I
Skvortsov, D.
PATTERN RECOGNITION AND IMAGE ANALYSIS, 2023, 33 (03) : 511 - 516
[10] On Systems of Slices in the Structure of Superintuitionistic Predicate (or Propositional) Logics. I
D. Skvortsov
Pattern Recognition and Image Analysis, 2023, 33 : 511 - 516

← 1 2 3 4 5 →