En mathématiques, une algèbre de Stone, ou treillis de Stone, est un treillis distributif tel que a* ∨a** = 1. Ces treillis ont été introduits par Grätzer et Schmidt en 1957, et nommé d'après Marshall Harvey Stone.
Les algèbres booléennes sont des algèbres de Stone et les algèbres de Stone sont des algèbres d'Ockham.
Voir aussi Algèbre cylindrique Algèbre de De Morgan Algèbre d'Heyting
Références
Balbes, Raymond (1970), "A survey of Stone algebras", Proceedings of the Conference on Universal Algebra (Queen's Univ., Kingston, Ont., 1969), Kingston, Ont.: Queen's Univ., ,
Grätzer, George; Schmidt, E. T. (1957), "On a problem of M. H. Stone", Acta Mathematica Academiae Scientiarum Hungaricae 8: 455–460, , , Grätzer, George (1971), Lattice theory.First concepts and distributive lattices, W. H. Freeman and Co., ,
Catégorie:Treillis