SUB-LOGICAL PROPERTIES OF CLASSICAL AND INTUITIONISTIC PROPOSITIONAL CALCULUS

被引：0

|

作者：

SEMENENK.MI

机构：

来源：

ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK | 1970年 / 16卷 / 03期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：201 / &

相关论文

共 50 条

[41] Combining Intuitionistic and Classical Propositional Logic: Gentzenization and Craig Interpolation
Toyooka, Masanobu
Sano, Katsuhiko
STUDIA LOGICA, 2024, 112 (05) : 1091 - 1121
[42] Justification of the logical implication of propositional calculus: Proof by incremental constructive reasoning
Moussa, AS
PROCEEDINGS OF THE 7TH JOINT CONFERENCE ON INFORMATION SCIENCES, 2003, : 225 - 228
[43] A proof-theoretic study of bi-intuitionistic propositional sequent calculus
Pinto, Luis
Uustalu, Tarmo
JOURNAL OF LOGIC AND COMPUTATION, 2018, 28 (01) : 165 - 202
[44] Intuitionistic Propositional Calculus in the Extended Framework with Modal Operator. Part II
Inoue, Takao
Hanaoka, Riku
FORMALIZED MATHEMATICS, 2022, 30 (01): : 1 - 12
[45] A FAITHFUL INTERPRETATION OF THE INTUITIONISTIC PROPOSITIONAL CALCULUS BY MEANS OF AN INITIAL SEGMENT OF THE MEDVEDEV LATTICE
SKVORTSOVA, EZ
SIBERIAN MATHEMATICAL JOURNAL, 1988, 29 (01) : 133 - 139
[46] Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic
Kaminski, Michael
Francez, Nissim
STUDIA LOGICA, 2014, 102 (03) : 479 - 497
[47] Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic
Michael Kaminski
Nissim Francez
Studia Logica, 2014, 102 : 479 - 497
[48] Deciding intuitionistic-propositional logic via translation into classical logic
Korn, DS
Kreitz, C
AUTOMATED DEDUCTION - CADE-14, 1997, 1249 : 131 - 145
[49] GENERALIZATION OF THE PROPOSITIONAL CALCULUS FOR PURPOSES OF THE THEORY OF LOGICAL NETS WITH PROBABILISTIC ELEMENTS.
Havranek, Tomas
1600, (10):
[50] Fundamental properties of intuitionistic fuzzy calculus
Lei, Qian
Xu, Zeshui
KNOWLEDGE-BASED SYSTEMS, 2015, 76 : 1 - 16

← 1 2 3 4 5 →