AN APPROACH TO INFINITARY PROPOSITIONAL CALCULUS

被引：0

|

作者：

THOMASON, RH

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1966年 / 31卷 / 01期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：150 / &

相关论文

共 50 条

[21] Basic propositional calculus I
Ardeshir, M
Ruitenburg, W
MATHEMATICAL LOGIC QUARTERLY, 1998, 44 (03) : 317 - 343
[22] FUNCTION ALGEBRA AND PROPOSITIONAL CALCULUS
LERCHER, B
JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (02) : 272 - &
[23] Computational structure for the propositional calculus
1600, Morgan Kaufmann Publ Inc, San Mateo, CA, USA (01):
[24] THE PRIZ SYSTEM AND PROPOSITIONAL CALCULUS
VOLOZH, BB
MATSKIN, MB
MINTS, GE
TYUGU, EK
CYBERNETICS, 1982, 18 (06): : 777 - 788
[25] COMPLEXITY OF THE INFINITARY LAMBEK CALCULUS WITH KLEENE STAR
Kuznetsov, Stepan
REVIEW OF SYMBOLIC LOGIC, 2021, 14 (04): : 946 - 972
[26] An Infinitary Treatment of Full Mu-Calculus
Afshari, Bahareh
Jager, Gerhard
Leigh, Graham E.
LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WOLLIC 2019), 2019, 11541 : 17 - 34
[27] Metalogic of Intuitionistic Propositional Calculus
Citkin, Alex
NOTRE DAME JOURNAL OF FORMAL LOGIC, 2010, 51 (04) : 485 - 502
[28] INTUITIONISTIC PROPOSITIONAL CALCULUS WITH QUANTIFIERS
SOBOLEV, SK
MATHEMATICAL NOTES, 1977, 22 (1-2) : 528 - 532
[29] AN ALGEBRA RELATED WITH A PROPOSITIONAL CALCULUS
ISEKI, K
PROCEEDINGS OF THE JAPAN ACADEMY, 1966, 42 (01): : 26 - &
[30] SIMULATION OF PROBLEMS IN PROPOSITIONAL CALCULUS
RAO, VVB
SIMULATION, 1988, 51 (04) : 163 - 164

← 1 2 3 4 5 →