『量子論理への新しいアプローチ』のまとめ [雑]

『量子論理への新しいアプローチ』のまとめをここではじめました。

とはいえ、ご覧になっていただければ分かるとおり、まだ命題論理のあたりをうろうろしているだけで、多分に「そんなん知ってらい！」なことばかりで新味に欠けること請け合いなのですが、も少ししたら非単調論理に突入し、そのあとすぐヒルベルト空間のまとめに入るので、ちょっとはおもしろみも出てくるのではないかと。

基本的に、いつも通りのことながら、第一には「自分のため」にやってるわけですが、なるたけ他の人が見ても理解可能かつ何がしかのことを得られるように書いていきたいと思っていますので、気づいた点、質問等があれば、何なりと。

というか、寝る前にこんなことをやりはじめちゃったもんで、脳が完全に昂奮状態になってしまい、とてもではないけど寝られなくって困っているのです。