On Systems of Slices in the Structure of Superintuitionistic Predicate (or Propositional) Logics. I

被引：0

|

作者：

D. Skvortsov

机构：

[1] Federal Research Center “Computer Science and Control” of the Russian Academy of Sciences,

来源：

Pattern Recognition and Image Analysis | 2023年 / 33卷

关键词：

superintuitionistic predicate logics; superintuitionistic propositional logics; equivalence relations and partitions;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

页码：511 / 516

页数：5

相关论文

共 50 条

[1] On Systems of Slices in the Structure of Superintuitionistic Predicate (or Propositional) Logics. I
Skvortsov, D.
[J]. PATTERN RECOGNITION AND IMAGE ANALYSIS, 2023, 33 (03) : 511 - 516
[2] Interpolation property and superintuitionistic predicate logics
D. E. Tishkovsky
[J]. Siberian Mathematical Journal, 1998, 39 : 151 - 158
[3] Algebraic semantics for superintuitionistic predicate logics
Tishkovskii D.E.
[J]. Algebra and Logic, 1999, 38 (1) : 36 - 50
[4] Interpolation property and superintuitionistic predicate logics
Tishkovsky, DE
[J]. SIBERIAN MATHEMATICAL JOURNAL, 1998, 39 (01) : 151 - 158
[5] Separability of normalizable superintuitionistic propositional logics
Khomich, VI
[J]. MATHEMATICAL NOTES, 1998, 64 (3-4) : 524 - 531
[6] Duality in superintuitionistic and modal predicate logics
Shirasu, H
[J]. ADVANCES IN MODAL LOGIC, VOL 1, 1998, (87): : 223 - 236
[7] Interpolation in superintuitionistic predicate logics with equality
Maksimova L.L.
[J]. Algebra and Logic, 1997, 36 (5) : 319 - 329
[8] ON THE PROBLEM OF SEPARABILITY FOR SUPERINTUITIONISTIC PROPOSITIONAL LOGICS
KHOMICH, VI
[J]. DOKLADY AKADEMII NAUK SSSR, 1980, 254 (04): : 820 - 823
[9] Separability of normalizable superintuitionistic propositional logics
V. I. Khomich
[J]. Mathematical Notes, 1998, 64 : 524 - 531
[10] Interpolation in superintuitionistic and modal predicate logics with equality
Maksimova, L
[J]. ADVANCES IN MODAL LOGIC, VOL 1, 1998, (87): : 133 - 140

← 1 2 3 4 5 →