Ockham algebra

Inom matematik är en Ockham-algebra ett begränsat distributivt gitter med en dubbel endomorfism , det vill säga en operation ~ som uppfyller ~( x ∧ y ) = ~ x ∨ ~ y , ~( x ∨ y ) = ~ x ∧ ~ y , ~ 0 = 1, ~1 = 0. De introducerades av Berman (1977) och namngavs efter William av Ockham av Urquhart (1979) . Ockham algebror bildar en variation .

Exempel på Ockham-algebror inkluderar booleska algebror , De Morgan-algebror , Kleene-algebror och stenalgebror .

•   Berman, Joel (1977), "Distributiva lattices with an additional unary operation" , Aequationes Mathematicae , 16 (1): 165–171, doi : 10.1007/BF01837887 , ISSN 0001-9005 , 8pMR3 , 02GD   4 02GD tillgänglig från tillgänglig från 8pMR3
• Blyth, Thomas Scott (2001) [1994], "Ockham algebra" , Encyclopedia of Mathematics , EMS Press
•   Blyth, Thomas Scott; Varlet, JC (1994). Ockham algebror . Oxford University Press. ISBN 978-0-19-859938-8 .
•    Urquhart, Alasdair (1979), "Distributiva lattices with a dual homomorphic operation", Polska Akademia Nauk. Institut Filozofii i Socijologii. Studia Logica , 38 (2): 201–209, doi : 10.1007/BF00370442 , hdl : 10338.dmlcz/102014 , ISSN 0039-3215 , MR 0544616