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 条

[31] ON AXIOM SYSTEMS OF PROPOSITIONAL CALCULI .15.
ISEKI, K
PROCEEDINGS OF THE JAPAN ACADEMY, 1966, 42 (03): : 217 - &
[32] ON AXIOM SYSTEMS OF PROPOSITIONAL CALCULI .2.
ARAI, Y
PROCEEDINGS OF THE JAPAN ACADEMY, 1965, 41 (06): : 440 - &
[33] ON AXIOM SYSTEMS OF PROPOSITIONAL CALCULI .17.
ARAI, Y
PROCEEDINGS OF THE JAPAN ACADEMY, 1966, 42 (04): : 351 - &
[34] ON AXIOM SYSTEMS OF PROPOSITIONAL CALCULI .6.
TANAKA, S
PROCEEDINGS OF THE JAPAN ACADEMY, 1965, 41 (08): : 663 - &
[35] 3 AXIOM SYSTEMS FOR ADDITIVE SEMIORDERED STRUCTURES
LUCE, RD
SIAM JOURNAL ON APPLIED MATHEMATICS, 1973, 25 (01) : 41 - 53
[36] ON AXIOM SYSTEMS OF PROPOSITIONAL CALCULI .20.
TANAKA, S
PROCEEDINGS OF THE JAPAN ACADEMY, 1966, 42 (04): : 361 - &
[37] COMPLETE INDEPENDENCE OF SOME COMMON AXIOM SYSTEMS
SALLY, P
AMERICAN MATHEMATICAL MONTHLY, 1962, 69 (08): : 794 - &
[38] ON AXIOM SYSTEMS OF PROPOSITIONAL CALCULI .11.
TANAKA, K
PROCEEDINGS OF THE JAPAN ACADEMY, 1965, 41 (10): : 898 - &
[39] ON AXIOM SYSTEMS OF PROPOSITIONAL CALCUILI .24.
ISEKI, K
PROCEEDINGS OF THE JAPAN ACADEMY, 1966, 42 (08): : 878 - &
[40] On Axiom Systems of Pseudo-BCK Algebras
Walendziak, Andrzej
BULLETIN OF THE MALAYSIAN MATHEMATICAL SCIENCES SOCIETY, 2011, 34 (02) : 287 - 293