Quantum logic

量子論理（Quantum Logic）を英語原著で学べる主要書の日本語リストです。古典からハンドブックまで、用途別に短評を添えました。

入門・概説／思想

1. Particles and Paradoxes: The Limits of Quantum Logic — Peter Gibbins（1987, Cambridge）
   量子論理の効用と限界を平易に批判検討する概説。Cambridge University Press & Assessment

2. Quantum Logic — Peter Mittelstaedt（1978, D. Reidel／Springer）
   BvN流の命題格子を中心に据えた古典的入門。SpringerLink

3. Quantum Probability — Quantum Logic — Itamar Pitowsky（1989, Springer）
   量子確率と量子論理の関係を体系的に整理。SpringerLink

代数的基礎・格子論

4. Orthomodular Lattices — Gudrun Kalmbach（1983, Academic Press）
   量子命題の標準的モデル＝直交加群（直交モジュラー）格子の専門書。Google Books

5. Quantum Logic in Algebraic Approach — Miklós Rédei（1998, Kluwer）
   C*-代数等を背景にした代数的アプローチの要約。Amazon

6. Quantum Logic — Karl Svozil（1998, Springer）
   有限系や計算論との接点も含む教科書的まとめ。SpringerLink

7. Reasoning in Quantum Theory: Sharp and Unsharp Quantum Logics — M. L. Dalla Chiara, R. Giuntini, R. Greechie（2004, Springer）
   “鋭い/非鋭い（unsharp）”量子論理を扱う発展的テキスト。Amazon

ハンドブック（俯瞰）

8. Handbook of Quantum Logic and Quantum Structures: Quantum Logic — Engesser, Gabbay, Lehmann (eds.)（2008, Elsevier）
   量子論理の主要流派と結果を網羅。Elsevier ShopScienceDirect

9. Handbook of Quantum Logic and Quantum Structures: Quantum Structures — 同編集（2009, Elsevier）
   ヒルベルト格子、効果代数など“量子構造”を主題に続巻。Amazon

関連する基礎物理（量子論理に直結する章が多い古典）

10. Foundations of Quantum Mechanics — Josef M. Jauch（1968, Addison-Wesley）
    量子命題＝射影の格子という見方を詳説する名著。Google Books

11. Foundations of Quantum Physics — C. Piron（1976, W. A. Benjamin）
    ピロンの公理系（射影格子）で量子理論を再構成。Google Books

12. Geometry of Quantum Theory（Vol. I–II / 合本新版）— V. S. Varadarajan（1968–70; 2007新版, Springer）
    射影幾何とヒルベルト空間から量子構造を幾何学的に展開。E-Bookshelf

13. Mathematical Foundations of Quantum Mechanics — George W. Mackey（1963, W. A. Benjamin）
    量子命題を正規直交補格子として把握する古典的基礎書。Google Books

資料的アンソロジー

14. The Logico-Algebraic Approach to Quantum Mechanics Vol. I–II — C. A. Hooker (ed.)（1975/1979, D. Reidel）
    歴史・基礎論から現代的展開までの重要論文を収める。SpringerLinkInternet Archive

量子論理そのものの専門書

15. The Logic of Quantum Mechanics — Enrico G. Beltrametti, Gianni Cassinelli（1981, Addison-Wesley／1984, CUP）
    BvN 路線の数理を百科事典的にまとめた定番。Cambridge University Press & AssessmentPagePlace

参考：量子論理の起点となった Birkhoff & von Neumann (1936) “The Logic of Quantum Mechanics” は論文ですが、全体像を掴む一次史料として有用です。JSTOR

---

用途（入門／代数基礎／ハンドブック／歴史資料）で選ぶのがおすすめです。