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 条

[1] A note on decidability of variables in intuitionistic propositional logic
Ishii, Katsumasa
MATHEMATICAL LOGIC QUARTERLY, 2018, 64 (03) : 183 - 184
[2] A proof-search procedure for intuitionistic propositional logic
R. Alonderis
Archive for Mathematical Logic, 2013, 52 : 759 - 778
[3] A proof-search procedure for intuitionistic propositional logic
Alonderis, R.
ARCHIVE FOR MATHEMATICAL LOGIC, 2013, 52 (7-8) : 759 - 778
[4] Decision procedures for intuitionistic propositional logic by program extraction
Weich, K
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 1998, 1397 : 292 - 306
[5] A bounded translation of intuitionistic propositional logic into basic propositional logic
Aghaei, M
Ardeshir, M
MATHEMATICAL LOGIC QUARTERLY, 2000, 46 (02) : 199 - 206
[6] CLASSICAL PROPOSITIONAL LOGIC AND DECIDABILITY OF VARIABLES IN INTUITIONISTIC PROPOSITIONAL LOGIC
Ishihara, Hajime
LOGICAL METHODS IN COMPUTER SCIENCE, 2014, 10 (03) : 1 - 7
[7] A CHARACTERIZATION OF INTUITIONISTIC PROPOSITIONAL LOGIC
MUTI, N
NAGOYA MATHEMATICAL JOURNAL, 1970, 37 : 131 - &
[8] Intuitionistic Propositional Logic in Lean
Trufas, Dafina
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2024, (410):
[9] Intuitionistic propositional probability logic
Ilic-Stepic, Anelina
Knezevic, Mateja
Ognjanovic, Zoran
MATHEMATICAL LOGIC QUARTERLY, 2022, 68 (04) : 479 - 495
[10] Bisimulation and propositional intuitionistic logic
Patterson, A
CONCUR'97 : CONCURRENCY THEORY, 1997, 1243 : 347 - 360

← 1 2 3 4 5 →