BOOLEAN ALGEBRA OF LOGIC

被引：11

作者：

HANF, W ^{[1
]}

机构：

[1] UNIV HAWAII,DEPT MATH,HONOLULU,HI 96822

来源：

关键词：

D O I：

10.1090/S0002-9904-1975-13747-5

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：587 / 589

页数：3

共 50 条

[31] Boolean algebra as a fragment of Boolean theory
Provotar, A.I.
Kondratenko, V.A.
Dudka, T.N.
[J]. Kibernetika i Sistemnyj Analiz, 2001, (01): : 163 - 170
[32] From boolean algebra to unified algebra
Eric C. R. Hehner
[J]. The Mathematical Intelligencer, 2004, 26 : 3 - 19
[33] From boolean algebra to unified algebra
Hehner, ECR
[J]. MATHEMATICAL INTELLIGENCER, 2004, 26 (02): : 3 - 19
[34] ZF AND BOOLEAN ALGEBRA
PLOTKIN, JM
[J]. ISRAEL JOURNAL OF MATHEMATICS, 1976, 23 (3-4) : 298 - 308
[35] BOOLEAN ALGEBRA OF FORMULAS
FAUST, D
HANF, W
MYERS, D
[J]. JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (01) : 145 - 145
[36] BOOLEAN ALGEBRA RETRACTS
CRAMER, T
[J]. CANADIAN JOURNAL OF MATHEMATICS, 1971, 23 (02): : 339 - &
[37] BOOLEAN ALGEBRA OF SPECTRA
BOUSFIELD, AK
[J]. COMMENTARII MATHEMATICI HELVETICI, 1979, 54 (03) : 368 - 377
[38] States and Boolean algebra
Mikhaeel, Nabila N.
Labib, Basim Samir
[J]. ALGEBRA COLLOQUIUM, 2008, 15 (04) : 649 - 652
[39] IMPLICATIVE BOOLEAN ALGEBRA
COPELAND, AH
[J]. BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1948, 54 (07) : 658 - 658
[40] A CHARACTERIZATION OF BOOLEAN ALGEBRA
ISEKI, K
[J]. PROCEEDINGS OF THE JAPAN ACADEMY, 1965, 41 (10): : 893 - &