алгебра Оккама

В математике алгебра Оккама — это ограниченная дистрибутивная решетка с дуальным эндоморфизмом , то есть операцией, удовлетворяющей Л {\displaystyle L} : Л Л {\displaystyle \sim \colon L\to L}

  • ( х у ) = х у {\displaystyle \sim (x\wedge y)={}\sim x\vee {}\sim y} ,
  • ( х у ) = х у {\displaystyle \sim (x\vee y)={}\sim x\wedge {}\sim y} ,
  • 0 = 1 {\displaystyle \sim 0=1} ,
  • 1 = 0 {\displaystyle \sim 1=0} .

Они были введены Берманом (1977) и названы в честь Уильяма Оккама Уркартом (1979). Алгебры Оккама образуют многообразие .

Примерами алгебр Оккама являются булевы алгебры , алгебры Де Моргана , алгебры Клини и алгебры Стоуна .

Ссылки

  • Берман, Джоэл (1977), «Дистрибутивные решетки с дополнительной унарной операцией», Aequationes Mathematicae , 16 (1): 165–171 , doi : 10.1007/BF01837887, ISSN  0001-9054, MR  0480238(pdf доступен на GDZ )
  • Блит, Томас Скотт (2001) [1994], «Алгебра Оккама», Энциклопедия математики , EMS Press
  • Блит, Томас Скотт; Варлет, Дж. К. (1994). Алгебры Оккама . Oxford University Press. ISBN 978-0-19-859938-8.
  • Уркарт, Аласдер (1979), «Дистрибутивные решетки с двойственной гомоморфной операцией», Польская академия наук. Институт Филозофии и Социологии. Studia Logica , 38 (2): 201–209 , doi : 10.1007/BF00370442, hdl : 10338.dmlcz/102014 , ISSN  0039-3215, MR  0544616


Retrieved from "https://en.wikipedia.org/w/index.php?title=Ockham_algebra&oldid=1224874255"