Masahiko Sato “Classical Brouwer-Heyting-Kolmogorov Interpretation,” 『数理解析研究所講究録』、京都大学数理解析研究所、1021巻(Sequent Calculus と Kripke Semantics に基づく非古典論理学の研究)、1997年