A NOTE ON GENTZENS DECISION PROCEDURE FOR INTUITIONISTIC PROPOSITIONAL LOGIC

被引：3

|

作者：

DOSEN, K

机构：

来源：

ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK | 1987年 / 33卷 / 05期

关键词：

D O I：

10.1002/malq.19870330509

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：453 / 456

页数：4

相关论文

共 50 条

[31] INTERPOLATION IN FRAGMENTS OF INTUITIONISTIC PROPOSITIONAL LOGIC
DELAVALETTE, GRR
JOURNAL OF SYMBOLIC LOGIC, 1989, 54 (04) : 1419 - 1430
[32] ADMISSIBLE RULES OF INTUITIONISTIC PROPOSITIONAL LOGIC
CITKIN, AI
MATHEMATICS OF THE USSR-SBORNIK, 1977, 31 (02): : 279 - 288
[33] A decision procedure for propositional projection temporal logic with infinite models
Duan, Zhenhua
Tian, Cong
Zhang, Li
ACTA INFORMATICA, 2008, 45 (01) : 43 - 78
[34] A decision procedure for propositional projection temporal logic with infinite models
Zhenhua Duan
Cong Tian
Li Zhang
Acta Informatica, 2008, 45 : 43 - 78
[35] A modal logic amalgam of classical and intuitionistic propositional logic
Lewitzka, Steffen
JOURNAL OF LOGIC AND COMPUTATION, 2017, 27 (01) : 201 - 212
[36] The intuitionistic fragment of computability logic at the propositional level
Japaridze, Giorgi
ANNALS OF PURE AND APPLIED LOGIC, 2007, 147 (03) : 187 - 227
[37] A new regular constant in intuitionistic propositional logic
Yashin, AD
SIBERIAN MATHEMATICAL JOURNAL, 1996, 37 (06) : 1242 - 1258
[38] FCUBE: An Efficient Prover for Intuitionistic Propositional Logic
Ferrari, Mauro
Fiorentini, Camillo
Fiorino, Guido
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, 2010, 6397 : 294 - +
[39] Absolute Probability Functions for Intuitionistic Propositional Logic
Peter Roeper
Hugues Leblanc
Journal of Philosophical Logic, 1999, 28 : 223 - 234
[40] The Lambek Calculus Extended with Intuitionistic Propositional Logic
Michael Kaminski
Nissim Francez
Studia Logica, 2016, 104 : 1051 - 1082

← 1 2 3 4 5 →