REMARKS ON THE COMPARISON OF AXIOM SYSTEMS

被引：1

作者：

WANG, H

机构：

来源：

关键词：

D O I：

10.1073/pnas.36.8.448

中图分类号：

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

学科分类号：

07 ; 0710 ; 09 ;

摘要：

引用

页码：448 / 453

页数：6

共 50 条

[21] RESULT ON AXIOM SYSTEMS FOR PROPOSITIONAL CALCULI
PAHI, B
JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (02) : 382 - 382
[22] ON AXIOM SYSTEMS OF PROPOSITIONAL CALCULI . V
ISEKI, K
TANAKA, S
PROCEEDINGS OF THE JAPAN ACADEMY, 1965, 41 (08): : 661 - &
[23] FREGE ON INFINITE AXIOM-SYSTEMS
GILL, RRR
ANALYSIS, 1987, 47 (03) : 173 - 175
[24] NEW AXIOM IN THEOREM ON IDEAL SYSTEMS
AUBERT, KE
COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1971, 272 (06): : 422 - &
[25] AXIOM SYSTEMS OF ARISTOTLE TRADITIONAL LOGIC
ISEKI, K
PROCEEDINGS OF THE JAPAN ACADEMY, 1967, 43 (02): : 125 - &
[26] A NOTE ON RELATIVE EFFICIENCY OF AXIOM SYSTEMS
FONTANI, S
MONTAGNA, F
SORBI, A
MATHEMATICAL LOGIC QUARTERLY, 1994, 40 (02) : 261 - 272
[27] SETS DERIVED BY DETERMINISTIC SYSTEMS WITH AXIOM
HUGHES, CE
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1975, 21 (01): : 71 - 80
[28] NEW AXIOM SYSTEMS FOR BOOLEAN UNIONS
GUTING, R
JOURNAL FUR DIE REINE UND ANGEWANDTE MATHEMATIK, 1971, 251 : 212 - &
[29] The logic of cardinality comparison without the axiom of choice
Harrison-Trainor, Matthew
Kulshreshtha, Dhruv
ANNALS OF PURE AND APPLIED LOGIC, 2025, 176 (04)
[30] ON AXIOM SYSTEMS OF PROPOSITIONAL CALCULI .21.
ISEKI, K
PROCEEDINGS OF THE JAPAN ACADEMY, 1966, 42 (05): : 441 - &