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