HOARE LOGIC AND PEANO ARITHMETIC

被引：7

作者：

BERGSTRA, JA ^{[1
]}

TUCKER, JV ^{[1
]}

机构：

[1] UNIV LEEDS,DEPT COMP STUDIES,LEEDS LS2 9JT,W YORKSHIRE,ENGLAND

来源：

关键词：

D O I：

10.1016/0304-3975(83)90107-X

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：265 / 284

页数：20

共 50 条

[1] THE INTERPRETABILITY LOGIC OF PEANO ARITHMETIC
BERARDUCCI, A
[J]. JOURNAL OF SYMBOLIC LOGIC, 1990, 55 (03) : 1059 - 1089
[2] THE MODAL LOGIC OF CONSISTENCY ASSERTIONS OF PEANO ARITHMETIC
VALENTINI, S
SOLITRO, U
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1983, 29 (01): : 25 - 32
[3] PEANO ARITHMETIC AND HYPER-RAMSEY LOGIC
SCHMERL, JH
[J]. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1986, 296 (02) : 481 - 505
[4] Provability logic: models within models in Peano Arithmetic
Berarducci, Alessandro
Mamino, Marcello
[J]. BOLLETTINO DELLA UNIONE MATEMATICA ITALIANA, 2023, 16 (01): : 25 - 41
[5] Provability logic: models within models in Peano Arithmetic
Alessandro Berarducci
Marcello Mamino
[J]. Bollettino dell'Unione Matematica Italiana, 2023, 16 : 25 - 41
[6] Cyclic Arithmetic Is Equivalent to Peano Arithmetic
Simpson, Alex
[J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2017), 2017, 10203 : 283 - 300
[7] Remarks on Peano arithmetic
Sayward, C
[J]. RUSSELL-THE JOURNAL OF THE BERTRAND RUSSELL ARCHIVES, 2000, 20 (01): : 27 - 32
[8] NOTES ON PEANO ARITHMETIC
FRIEDRICHSDORF, U
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1976, 22 (05): : 431 - 436
[9] SUBTHEORIES OF PEANO ARITHMETIC
CLOTE, P
[J]. JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 297 - 297
[10] Peano and the Foundations of Arithmetic
Lolli, Gabriele
[J]. GIUSEPPE PEANO BETWEEN MATHEMATICS AND LOGIC, 2011, : 47 - 66