論理の意味論を二値で与えると modularity *1があることが多い(らしい)が、一方で analycity *2は失われる。逆に multi-valued matrix を使うと analycity が保障しやすい。この論文は multi-valued non-deterministic matrix が modularity と analycity の…

なんか Section 15 を読んでみたときのまとめが下書きに残っていたので公開しときましょう。余代数は代数の双対なのだけど、単純に双対をとるだけで対応するわけではない。実際これまでに扱ったような話では、必ずしもすべてが双対で対応付けられているわけ…