Algèbre d'Ockham
Cet article est une ébauche concernant la logique, l’algèbre et les mathématiques.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
En mathématiques, une algèbre d'Ockham est un treillis distributif avec un endomorphisme dual. Elle a été introduite en 1977 par Berman, et a été nommée d'après Guillaume d'Ockham par Urquhart en 1979. Les algèbres d'Ockham forment une variété.
Des exemples d'algèbres d'Ockham comprennent les algèbres booléennes, algèbres de De Morgan, algèbres de Stone, et les algèbres de Kleene.
Références modifier
- Berman, Joel (1977), "Distributive lattices with an additional unary operation", Aequationes Mathematicae 16 (1): 165–171, doi:10.1007/BF01837887, (ISSN 0001-9054), MR 0480238
- Blyth, Thomas Scott (2001), "Ockham algebra", in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, (ISBN 978-1-55608-010-4)
- Blyth, Thomas Scott; Varlet, J. C. (1994). Ockham algebras. Oxford University Press. (ISBN 978-0-19-859938-8).
- Urquhart, Alasdair (1979), "Distributive lattices with a dual homomorphic operation", Polska Akademia Nauk. Institut Filozofii i Socijologii., Studia Logica 38 (2): 201–209, doi:10.1007/BF00370442, (ISSN 0039-3215), MR 544616
