오캄 대수
Ockham algebra수학에서 옥햄 대수학은 이중 내형성을 갖는 경계 분포 격자, 즉 연산 ~ 만족 ~ ~ (x ∧ y) = ~x ∨ ~y, ~x ∧ ~y) = ~x ∧ ~y, ~0 = 1, ~1 = 0이다. 이들은 베르만(1977년)에 의해 소개되었고, 우르쿠하트(1979년)에 의해 오캄의 윌리엄의 이름을 따서 명명되었다. 오캄 알헤브라는 다양성을 형성한다.
오캄 알헤브라의 예로는 부울 알헤브라스, 드 모건 알헤브라스, 클레인 알헤브라스, 스톤 알헤브라가 있다.
참조
- 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 (PDF는 GDZ에서 사용 가능)
- Blyth, Thomas Scott (2001) [1994], "Ockham algebra", Encyclopedia of Mathematics, EMS Press
- 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, hdl:10338.dmlcz/102014, ISSN 0039-3215, MR 0544616
