CERTAIN HIERARCHIES OF PROPOSITIONAL CALCULUS

被引：0

作者：

ARRUDA, AI

机构：

来源：

COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A | 1968年 / 266卷 / 02期

关键词：

D O I：

暂无

中图分类号：

O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];

学科分类号：

07 ; 0710 ; 09 ;

摘要：

引用

页码：37 / &

共 50 条

[1] CONCERNING CERTAIN HIERARCHIES OF PROPOSITIONAL CALCULUS
ARRUDA, AI
[J]. COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1967, 265 (21): : 641 - &
[2] PROPOSITIONAL CALCULUS
KYBURG, H
[J]. AMERICAN MATHEMATICAL MONTHLY, 1965, 72 (04): : 437 - &
[3] SOME HIERARCHIES OF PROPOSITIONAL CALCULI
ARRUDA, AI
[J]. COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1968, 266 (18): : 897 - &
[4] PROPOSITIONAL CALCULUS AND REALIZABILITY
ROSE, GF
[J]. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1953, 75 (JUL) : 1 - 19
[5] REVISION IN PROPOSITIONAL CALCULUS
PAPINI, O
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 548 : 272 - 276
[6] THE PRIZ SYSTEM AND PROPOSITIONAL CALCULUS
VOLOZH, BB
MATSKIN, MB
MINTS, GE
TYUGU, EK
[J]. CYBERNETICS, 1982, 18 (06): : 777 - 788
[7] Space complexity in propositional calculus
Alekhnovich, M
Ben-Sasson, E
Razborov, AA
Wigderson, A
[J]. SIAM JOURNAL ON COMPUTING, 2002, 31 (04) : 1184 - 1211
[8] Knowledge forgetting in propositional μ-calculus
Renyan Feng
Yisong Wang
Ren Qian
Lei Yang
Panfeng Chen
[J]. Annals of Mathematics and Artificial Intelligence, 2023, 91 : 1 - 43
[9] Basic propositional calculus I
Ardeshir, M
Ruitenburg, W
[J]. MATHEMATICAL LOGIC QUARTERLY, 1998, 44 (03) : 317 - 343
[10] FUNCTION ALGEBRA AND PROPOSITIONAL CALCULUS
LERCHER, B
[J]. JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (02) : 272 - &