樣相代數
modal algebra
$ Aを臺集合として、組$ (A,\land_{:A\times A\to A},\lor_{:A\times A\to A},-_{:A\to A},0_{\in A},1_{\in A},\square_{:A\to A})は以下を滿たす時樣相代數である $ \square 1=1.
$ \forall x,y_{\in A}(\square(x\land y)=\square x\land\square y).
公理 K $ \square(x\to y)\to(\square x\to\square y)に當たる