AXIOM SYSTEMS OF B-ALGEBRA

被引：7

作者：

ISEKI, K

机构：

来源：

PROCEEDINGS OF THE JAPAN ACADEMY | 1965年 / 41卷 / 09期

关键词：

D O I：

10.3792/pja/1195522252

中图分类号：

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

学科分类号：

07 ; 0710 ; 09 ;

摘要：

引用

页码：808 / &

共 50 条

[41] ON AXIOM SYSTEMS ONTOLOGY .1.
TANAKA, S
PROCEEDINGS OF THE JAPAN ACADEMY, 1970, 46 (03): : 255 - &
[42] RESULT ON AXIOM SYSTEMS FOR PROPOSITIONAL CALCULI
PAHI, B
JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (02) : 382 - 382
[43] ON AXIOM SYSTEMS OF PROPOSITIONAL CALCULI . V
ISEKI, K
TANAKA, S
PROCEEDINGS OF THE JAPAN ACADEMY, 1965, 41 (08): : 661 - &
[44] FREGE ON INFINITE AXIOM-SYSTEMS
GILL, RRR
ANALYSIS, 1987, 47 (03) : 173 - 175
[45] 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 - &
[46] AXIOM SYSTEMS OF ARISTOTLE TRADITIONAL LOGIC
ISEKI, K
PROCEEDINGS OF THE JAPAN ACADEMY, 1967, 43 (02): : 125 - &
[47] A NOTE ON RELATIVE EFFICIENCY OF AXIOM SYSTEMS
FONTANI, S
MONTAGNA, F
SORBI, A
MATHEMATICAL LOGIC QUARTERLY, 1994, 40 (02) : 261 - 272
[48] SETS DERIVED BY DETERMINISTIC SYSTEMS WITH AXIOM
HUGHES, CE
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1975, 21 (01): : 71 - 80
[49] NEW AXIOM SYSTEMS FOR BOOLEAN UNIONS
GUTING, R
JOURNAL FUR DIE REINE UND ANGEWANDTE MATHEMATIK, 1971, 251 : 212 - &
[50] Independence of each axiom in a set of axioms and complete sets of axioms of Boolean algebra
Ninomiya, T
Mukaidono, M
ISMVL 2002: 32ND IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 2002, : 185 - 191