ON RECONSTRUCTABILITY OF CLASSICAL PROPOSITIONAL LOGIC IN INTUITIONISTIC LOGIC

被引：0

|

作者：

WOJCICKI, R

机构：

来源：

BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES | 1970年 / 18卷 / 08期

关键词：

D O I：

暂无

中图分类号：

P1 [天文学];

学科分类号：

0704 ;

摘要：

引用

收藏

页码：421 / &

相关论文

共 50 条

[31] The intuitionistic fragment of computability logic at the propositional level
Japaridze, Giorgi
ANNALS OF PURE AND APPLIED LOGIC, 2007, 147 (03) : 187 - 227
[32] A new regular constant in intuitionistic propositional logic
Yashin, AD
SIBERIAN MATHEMATICAL JOURNAL, 1996, 37 (06) : 1242 - 1258
[33] FCUBE: An Efficient Prover for Intuitionistic Propositional Logic
Ferrari, Mauro
Fiorentini, Camillo
Fiorino, Guido
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, 2010, 6397 : 294 - +
[34] The Lambek Calculus Extended with Intuitionistic Propositional Logic
Michael Kaminski
Nissim Francez
Studia Logica, 2016, 104 : 1051 - 1082
[35] Absolute Probability Functions for Intuitionistic Propositional Logic
Peter Roeper
Hugues Leblanc
Journal of Philosophical Logic, 1999, 28 : 223 - 234
[36] Absolute probability functions for intuitionistic propositional logic
Roeper, P
Leblanc, H
JOURNAL OF PHILOSOPHICAL LOGIC, 1999, 28 (03) : 223 - 234
[37] CRITERION OF FUNCTIONAL COMPLETENESS IN INTUITIONISTIC PROPOSITIONAL LOGIC
RATSA, MF
DOKLADY AKADEMII NAUK SSSR, 1971, 201 (04): : 794 - &
[38] Optimization techniques for propositional intuitionistic logic and their implementation
Avellone, Alessandro
Fiorino, Guido
Moscato, Ugo
THEORETICAL COMPUTER SCIENCE, 2008, 409 (01) : 41 - 58
[39] Maximality of bi-intuitionistic propositional logic
Olkhovikov, Grigory
Badia, Guillermo
JOURNAL OF LOGIC AND COMPUTATION, 2022, 32 (01) : 1 - 31
[40] The Lambek Calculus Extended with Intuitionistic Propositional Logic
Kaminski, Michael
Francez, Nissim
STUDIA LOGICA, 2016, 104 (05) : 1051 - 1082

← 1 2 3 4 5 →