AN APPROACH TO INFINITARY PROPOSITIONAL CALCULUS

被引：0

作者：

THOMASON, RH

机构：

来源：

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：150 / &

共 50 条

[21] FUNCTION ALGEBRA AND PROPOSITIONAL CALCULUS
LERCHER, B
JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (02) : 272 - &
[22] CERTAIN HIERARCHIES OF PROPOSITIONAL CALCULUS
ARRUDA, AI
COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1968, 266 (02): : 37 - &
[23] Basic propositional calculus I
Ardeshir, M
Ruitenburg, W
MATHEMATICAL LOGIC QUARTERLY, 1998, 44 (03) : 317 - 343
[24] THE PRIZ SYSTEM AND PROPOSITIONAL CALCULUS
VOLOZH, BB
MATSKIN, MB
MINTS, GE
TYUGU, EK
CYBERNETICS, 1982, 18 (06): : 777 - 788
[25] Metalogic of Intuitionistic Propositional Calculus
Citkin, Alex
NOTRE DAME JOURNAL OF FORMAL LOGIC, 2010, 51 (04) : 485 - 502
[26] INTUITIONISTIC PROPOSITIONAL CALCULUS WITH QUANTIFIERS
SOBOLEV, SK
MATHEMATICAL NOTES, 1977, 22 (1-2) : 528 - 532
[27] COMPLEXITY OF THE INFINITARY LAMBEK CALCULUS WITH KLEENE STAR
Kuznetsov, Stepan
REVIEW OF SYMBOLIC LOGIC, 2021, 14 (04): : 946 - 972
[28] 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
[29] SIMULATION OF PROBLEMS IN PROPOSITIONAL CALCULUS
RAO, VVB
SIMULATION, 1988, 51 (04) : 163 - 164
[30] AN ALGEBRA RELATED WITH A PROPOSITIONAL CALCULUS
ISEKI, K
PROCEEDINGS OF THE JAPAN ACADEMY, 1966, 42 (01): : 26 - &