ON A PROPOSITIONAL CALCULUS WHOSE DECISION PROBLEM IS RECURSIVELY UNSOLVABLE

被引：0

|

作者：

NAKAMURA, A

机构：

来源：

NAGOYA MATHEMATICAL JOURNAL | 1970年 / 38卷

关键词：

D O I：

10.1017/S0027763000013593

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：145 / &

相关论文

共 50 条

[1] ON A PROPOSITIONAL CALCULUS WHOSE DECISION PROBLEM IS RECURSIVELY UNSOLVABLE
NAKAMURA, A
JOURNAL OF SYMBOLIC LOGIC, 1968, 33 (04) : 636 - &
[2] UNSOLVABLE SUPERINTUITIONISTIC PROPOSITIONAL CALCULUS
SHEKHTMAN, VB
DOKLADY AKADEMII NAUK SSSR, 1978, 240 (03): : 549 - 552
[3] A VARIANT OF A RECURSIVELY UNSOLVABLE PROBLEM
POST, EL
BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1946, 52 (04) : 264 - 268
[4] ON RECURSIVELY UNSOLVABLE DECISION PROBLEMS IN TOPOLOGY AND THEIR CLASSIFICATION
BOONE, WW
HAKEN, W
POENARU, V
JOURNAL OF SYMBOLIC LOGIC, 1967, 32 (04) : 557 - &
[5] RECURSIVELY UNSOLVABLE PROBLEM HI DETERMINISTIC PUSHDOWN ACCEPTORS
STANEVICHENE, LI
DOKLADY AKADEMII NAUK, 1995, 342 (06) : 744 - 746
[6] A DECISION PROCEDURE FOR FITCHS PROPOSITIONAL CALCULUS
THOMASON, RH
JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (01) : 157 - &
[7] SOME RECURSIVELY UNSOLVABLE PROBLEMS IN ANALYSIS
ADLER, A
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1969, 22 (02) : 523 - &
[8] A DECISION PROCEDURE FOR THE PROPOSITIONAL MU-CALCULUS
KOZEN, D
PARIKH, R
LECTURE NOTES IN COMPUTER SCIENCE, 1984, 164 : 313 - 325
[9] DECISION PROBLEM FOR RECURSIVELY ENUMERABLE DEGREES
SHOENFIELD, JR
BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1975, 81 (06) : 973 - 977
[10] DECISION PROBLEM FOR RECURSIVELY ENUMERABLE DEGREES
SHOENFIE.JR
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1974, 21 (03): : A386 - A386

← 1 2 3 4 5 →