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 条

[41] Absolute probability functions for intuitionistic propositional logic
Roeper, P
Leblanc, H
JOURNAL OF PHILOSOPHICAL LOGIC, 1999, 28 (03) : 223 - 234
[42] An O(nlog n)-SPACE Decision Procedure for the Propositional Dummett Logic
Guido Fiorino
Journal of Automated Reasoning, 2001, 27 : 297 - 311
[43] CRITERION OF FUNCTIONAL COMPLETENESS IN INTUITIONISTIC PROPOSITIONAL LOGIC
RATSA, MF
DOKLADY AKADEMII NAUK SSSR, 1971, 201 (04): : 794 - &
[44] Optimization techniques for propositional intuitionistic logic and their implementation
Avellone, Alessandro
Fiorino, Guido
Moscato, Ugo
THEORETICAL COMPUTER SCIENCE, 2008, 409 (01) : 41 - 58
[45] An O(nlog n)-SPACE decision procedure for the propositional Dummett logic
Fiorino, G
JOURNAL OF AUTOMATED REASONING, 2001, 27 (03) : 297 - 311
[46] A tableau-based decision procedure for right Propositional Neighborhood logic
Bresolin, D
Montanari, A
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 2005, 3702 : 63 - 77
[47] A practical decision procedure for Propositional Projection Temporal Logic with infinite models
Duan, Zhenhua
Tian, Cong
THEORETICAL COMPUTER SCIENCE, 2014, 554 : 169 - 190
[48] Maximality of bi-intuitionistic propositional logic
Olkhovikov, Grigory
Badia, Guillermo
JOURNAL OF LOGIC AND COMPUTATION, 2022, 32 (01) : 1 - 31
[49] The Lambek Calculus Extended with Intuitionistic Propositional Logic
Kaminski, Michael
Francez, Nissim
STUDIA LOGICA, 2016, 104 (05) : 1051 - 1082
[50] FUNCTIONAL COMPLETENESS FOR SUBSYSTEMS OF INTUITIONISTIC PROPOSITIONAL LOGIC
WANSING, H
JOURNAL OF PHILOSOPHICAL LOGIC, 1993, 22 (03) : 303 - 321

← 1 2 3 4 5 →