>>465
>これが様相論理の最小単位
なんで様相論理？
>この構造の射と対象からプルバックの性質を除くと論理演算が束にならない
それはそうだろとは思うが。
でやっぱり、何が新たに見えるようになったのかと思う。