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 条

[31] Hypersequent calculus for intuitionistic logic with classical atoms
Kurokawa, Hidenori
LOGICAL FOUNDATIONS OF COMPUTER SCIENCE, PROCEEDINGS, 2007, 4514 : 318 - 331
[32] A COMPARISON BETWEEN LAMBEK SYNTACTIC CALCULUS AND INTUITIONISTIC LINEAR PROPOSITIONAL LOGIC
ABRUSCI, VM
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1990, 36 (01): : 11 - 15
[33] PROBLEMS OF SUBSTITUTION AND ADMISSIBILITY IN THE MODAL SYSTEM GRZ AND IN INTUITIONISTIC PROPOSITIONAL CALCULUS
RYBAKOV, VV
ANNALS OF PURE AND APPLIED LOGIC, 1990, 50 (01) : 71 - 106
[34] Propositional intuitionistic multiple-conclusion calculus via proof graphs
Carvalho, Ruan V. B.
de Oliveira, Anjolina G.
de Queiroz, Ruy J. G. B.
LOGIC JOURNAL OF THE IGPL, 2019, 27 (01) : 33 - 59
[35] QUANTUM-THEORY AS A THEORY IN A CLASSICAL PROPOSITIONAL CALCULUS
MALHAS, OQ
INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 1992, 31 (09) : 1699 - 1714
[36] ON CLASSICAL PROPOSITIONAL CALCULUS OF ANDERSON,AR AND BELNAP,ND
ISEKI, K
PROCEEDINGS OF THE JAPAN ACADEMY, 1967, 43 (03): : 202 - &
[37] A Hybrid Calculus for the Validities and Invalidities of Classical Propositional Logic
Golan, Rea
JOURNAL OF PHILOSOPHICAL LOGIC, 2024, 53 (06) : 1701 - 1716
[38] ALGEBRAIC PROOF OF SEPARATION THEOREM ON CLASSICAL PROPOSITIONAL CALCULUS
HOSOI, T
PROCEEDINGS OF THE JAPAN ACADEMY, 1966, 42 (02): : 67 - &
[39] SPECIES-ALGEBRAIC INTERPRETATION OF INTUITIONISTIC PROPOSITIONAL CALCULUS - PRELIMINARY REPORT
OKEE, J
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1972, 19 (06): : A716 - &
[40] Quantitative Comparison of Intuitionistic and Classical Logics - Full Propositional System
Genitrini, Antoine
Kozik, Jakub
LOGICAL FOUNDATIONS OF COMPUTER SCIENCE, 2009, 5407 : 280 - +

← 1 2 3 4 5 →