Algèbre de Stone

Cet article est une ébauche concernant l’algèbre, les mathématiques et la logique.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

En mathématiques, une algèbre de Stone, ou treillis de Stone, est un treillis distributif pseudo-complété (en) 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.

• Algèbre cylindrique
• Algèbre de De Morgan
• Algèbre d'Heyting

• (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Stone algebra » (voir la liste des auteurs).
• 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., p. 148–170, MR 0260638
• (en) « Algèbre de Stone », dans Michiel Hazewinkel, Encyclopædia of Mathematics, Springer, 2002 (ISBN 978-1556080104, lire en ligne)
• Grätzer, George; Schmidt, E. T. (1957), "On a problem of M. H. Stone", Acta Mathematica Academiae Scientiarum Hungaricae 8: 455–460, doi:10.1007/BF02020328, (ISSN 0001-5954), MR 0092763
• Grätzer, George (1971), Lattice theory.First concepts and distributive lattices, W. H. Freeman and Co., (ISBN 978-0-486-47173-0), MR 0321817

• Portail de la logique
• Portail des mathématiques
• Portail de l’algèbre