オッカム代数

数学において、オッカム代数は、双対自己準同型、すなわち、 L{\displaystyle L}:LL{\displaystyle \sim \colon L\to L}

  • ×y×y{\displaystyle \sim (x\wedge y)={}\sim x\vee {}\sim y}
  • ×y×y{\displaystyle \sim (x\vee y)={}\sim x\wedge {}\sim y}
  • 01{\displaystyle \sim 0=1}
  • 10{\displaystyle \sim 1=0}

これらはバーマンによって導入され[ 1 ] 、アーカートによってウィリアム・オッカムにちなんで命名されました。[ 2 ]オッカム代数は多様体を形成します。

オッカム代数の例としては、ブール代数ド・モルガン代数クリーネ代数ストーン代数などがあります。

参考文献

  1. ^ Berman, Joel (1977年2月). 「追加の単項演算を伴う分配格子」 . Aequationes Mathematicae . 15 (1): 118–118 . doi : 10.1007/BF01837887 . ISSN  0001-9054 .
  2. ^ Urquhart, Alasdair (1979). 「双対準同型演算を伴う分配格子」 . Studia Logica . 38 (2): 201– 209. doi : 10.1007/BF00370442 . ISSN 0039-3215 . 

さらに読む