Geodesic
A Self-Dual Equational Basis for Boolean Algebras
Canadian mathematical bulletin, Tome 26 (1983) no. 1, pp. 9-12

Voir la notice de l'article provenant de la source Cambridge University Press

The principle of duality for Boolean algebra states that if an identity ƒ = g is valid in every Boolean algebra and if we transform ƒ = g into a new identity by interchanging (i) the two lattice operations and (ii) the two lattice bound elements 0 and 1, then the resulting identity ƒ = g is also valid in every Boolean algebra. Also, the equational theory of Boolean algebras is finitely based. Believing in the cosmic order of mathematics, it is only natural to ask whether the equational theory of Boolean algebras can be generated by a finite irredundant set of identities which is already closed for the duality mapping. Here we provide one such equational basis.
DOI : 10.4153/CMB-1983-002-5
Mots-clés : 03G05, 06E99, Boolean algebras, duality principle, minimal self-dual equational basis, types of algebras 
Padmanabhan, R. A Self-Dual Equational Basis for Boolean Algebras. Canadian mathematical bulletin, Tome 26 (1983) no. 1, pp. 9-12. doi: 10.4153/CMB-1983-002-5
@article{10_4153_CMB_1983_002_5,
     author = {Padmanabhan, R.},
     title = {A {Self-Dual} {Equational} {Basis} for {Boolean} {Algebras}},
     journal = {Canadian mathematical bulletin},
     pages = {9--12},
     year = {1983},
     volume = {26},
     number = {1},
     doi = {10.4153/CMB-1983-002-5},
     url = {http://geodesic.mathdoc.fr/articles/10.4153/CMB-1983-002-5/}
}
TY  - JOUR
AU  - Padmanabhan, R.
TI  - A Self-Dual Equational Basis for Boolean Algebras
JO  - Canadian mathematical bulletin
PY  - 1983
SP  - 9
EP  - 12
VL  - 26
IS  - 1
UR  - http://geodesic.mathdoc.fr/articles/10.4153/CMB-1983-002-5/
DO  - 10.4153/CMB-1983-002-5
ID  - 10_4153_CMB_1983_002_5
ER  - 
%0 Journal Article
%A Padmanabhan, R.
%T A Self-Dual Equational Basis for Boolean Algebras
%J Canadian mathematical bulletin
%D 1983
%P 9-12
%V 26
%N 1
%U http://geodesic.mathdoc.fr/articles/10.4153/CMB-1983-002-5/
%R 10.4153/CMB-1983-002-5
%F 10_4153_CMB_1983_002_5

[1] 1. Berstein, B. A., A dual-symmetric definition of Boolean algebra, Scripta Mathematica 16 (1950), 157-160. Google Scholar

[2] 2. Grätzer, G., Lattice theory: first concepts and distributive lattices, W. H. Freeman & Co., San Francisco, 1971. Google Scholar

[3] 3. Montague, R. and Tarski, J., On Bernstein's self-dual set of postulates for Boolean algebras, Proc. Amer. Math. Soc. 5 (1954), 310-311. Google Scholar

[4] 4. Padmanabhan, R., On axioms for semilattices, Canad. Math. Bull, 9 (1966), 357-358. Google Scholar

[5] 5. Rudeanu, S., Axioms for lattices and Boolean algebras (in Roumanian), Bucharest, 1963. Google Scholar

[6] 6. Sioson, F. M., Equational bases for Boolean algebras, J. Symbolic Logic 29 (1964), 115-124. Google Scholar

Cité par Sources :