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 条

[11] ARITHMETIC TRANSLATIONS OF AXIOM SYSTEMS
WANG, H
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1951, 71 (SEP) : 283 - 293
[12] Independent axiom systems for nearlattices
João Araújo
Michael Kinyon
Czechoslovak Mathematical Journal, 2011, 61 : 975 - 992
[13] The usability axiom of medical information systems
Pantazi, Stefan V.
Kushniruk, Andre
Moehr, Jochen R.
INTERNATIONAL JOURNAL OF MEDICAL INFORMATICS, 2006, 75 (12) : 829 - 839
[14] AN AXIOM AND ARCHITECTURE FOR INFORMATION-SYSTEMS
NIJSSEN, GM
INFORMATION SYSTEM CONCEPTS : AN IN-DEPTH ANALYSIS, 1989, : 157 - 175
[15] SMALE AXIOM - DYNAMICAL-SYSTEMS
DANKNER, A
ANNALS OF MATHEMATICS, 1978, 107 (03) : 517 - 553
[16] AXIOM SYSTEMS OF B-ALGEBRA
ISEKI, K
PROCEEDINGS OF THE JAPAN ACADEMY, 1965, 41 (09): : 808 - &
[17] ON THREE AXIOM SYSTEMS FOR CLASSICAL MEREOLOGY
Varzi, Achille C.
LOGIC AND LOGICAL PHILOSOPHY, 2019, 28 (02) : 203 - 207
[18] AXIOM SYSTEMS OF B-ALGEBRA
SICOE, C
PROCEEDINGS OF THE JAPAN ACADEMY, 1966, 42 (08): : 867 - &
[19] AXIOM SYSTEMS OF ONTOLOGY .2.
TANAKA, S
PROCEEDINGS OF THE JAPAN ACADEMY, 1971, 47 (02): : 177 - &
[20] ON AXIOM SYSTEMS ONTOLOGY .1.
TANAKA, S
PROCEEDINGS OF THE JAPAN ACADEMY, 1970, 46 (03): : 255 - &