REMARKS ON THE COMPARISON OF AXIOM SYSTEMS

被引：1
|
作者：
WANG, H
机构：
来源：
PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA | 1950年 / 36卷 / 08期
关键词：
D O I：
10.1073/pnas.36.8.448
中图分类号：
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号：
07 ; 0710 ; 09 ;
摘要：
引用
收藏
页码：448 / 453
页数：6
相关论文
共 50 条
  • [41] THEOREM ON INTERRELATIONSHIP OF AXIOM SYSTEMS FOR IMPLICATIONAL CALCULI
    PAHI, B
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1972, 18 (02): : 165 - &
  • [42] ON AXIOM SYSTEMS OF PROPOSITIONAL CALCULI .25.
    TANAKA, S
    PROCEEDINGS OF THE JAPAN ACADEMY, 1967, 43 (03): : 192 - &
  • [43] Axiom systems implying infinity in the foundations of geometry
    Pambuccian, Victor
    Struve, Rolf
    BEITRAGE ZUR ALGEBRA UND GEOMETRIE-CONTRIBUTIONS TO ALGEBRA AND GEOMETRY, 2021, 62 (01): : 109 - 120
  • [44] ON AXIOM SYSTEMS OF PROPOSITIONAL CALCULI .13.
    TANAKA, S
    PROCEEDINGS OF THE JAPAN ACADEMY, 1965, 41 (10): : 904 - &
  • [45] ON AXIOM SYSTEMS OF PROPOSITIONAL CALCULI .X.
    ISEKI, K
    TANAKA, S
    PROCEEDINGS OF THE JAPAN ACADEMY, 1965, 41 (09): : 801 - &
  • [46] ON AXIOM SYSTEMS OF PROPOSITIONAL CALCULI .I.
    IMAI, Y
    ISEKI, K
    PROCEEDINGS OF THE JAPAN ACADEMY, 1965, 41 (06): : 436 - &
  • [47] Entropy Production and Information Gain in Axiom A Systems
    Jiang, Da-Quan
    Qian, Min
    Qian, Min-Ping
    MATHEMATICAL THEORY OF NONEQUILIBRIUM STEADY STATES: ON THE FRONTIER OF PROBABILITY AND DYNAMICAL SYSTEMS, 2004, 1833 : 159 - 188
  • [48] Axiom systems implying infinity in the foundations of geometry
    Victor Pambuccian
    Rolf Struve
    Beiträge zur Algebra und Geometrie / Contributions to Algebra and Geometry, 2021, 62 : 109 - 120
  • [49] On the Topological Structure of Manifolds Supporting Axiom A Systems
    Grines, Vyacheslav Z.
    Medvedev, Vladislav S.
    Zhuzhoma, Evgeny V.
    REGULAR & CHAOTIC DYNAMICS, 2022, 27 (06): : 613 - 628
  • [50] INCONSISTENCY OF CERTAIN AXIOM SYSTEMS FOR SET THEORY
    DAVIS, JD
    JOURNAL OF SYMBOLIC LOGIC, 1970, 35 (02) : 354 - &
12345