書誌情報	ファイル
表紙・目次    (1997-08)   数理解析研究所講究録, 1010
Modal Intuitionistic Logics and Predicate Superintuitionistic Logics : Correspondence Theory(New Aspects in Non-Classical Logics and Their Kripke Semantics)   Bezhanishvili, Guram (1997-08)   数理解析研究所講究録, 1010: 1-6
Calculus of Classical Proofs from Programming Viewpoint(New Aspects in Non-Classical Logics and Their Kripke Semantics)   Fujita, Ken-etsu (1997-08)   数理解析研究所講究録, 1010: 7-34
A Study on Substructural Logics with Restricted Exchange Rules(New Aspects in Non-Classical Logics and Their Kripke Semantics)   鹿島, 亮; 上出, 哲広 (1997-08)   数理解析研究所講究録, 1010: 35-67
An approach to the liar paradox(New Aspects in Non-Classical Logics and Their Kripke Semantics)   LUKOWSKI, Piotr (1997-08)   数理解析研究所講究録, 1010: 68-80
直観主義命題論理のリンデンバウム代数について(非古典論理とKripke意味論の新局面)   佐々木, 克己 (1997-08)   数理解析研究所講究録, 1010: 81-88
An application of Jankov's characteristic formulas(New Aspects in Non-Classical Logics and Their Kripke Semantics)   志村, 立矢 (1997-08)   数理解析研究所講究録, 1010: 89-100
A coherence space semantics for linear set theory(New Aspects in Non-Classical Logics and Their Kripke Semantics)   Shirahata, Masaru (1997-08)   数理解析研究所講究録, 1010: 101-112
A Characterization of Axiom Schema playing the role of Terium non Datur in Intuitionistic Predicate Logic(New Aspects in Non-Classical Logics and Their Kripke Semantics)   白井, 古希男 (1997-08)   数理解析研究所講究録, 1010: 113-130
An application of the Kripke sheaf semantics in intermediate predicate logics(New Aspects in Non-Classical Logics and Their Kripke Semantics)   SUZUKI, Nobu-Yuki (1997-08)   数理解析研究所講究録, 1010: 131-141
Speaking about transitive frames in propositional languages(New Aspects in Non-Classical Logics and Their Kripke Semantics)   Suzuki, Yasuhito; Wolter, Frank; Zakharyaschev, Michael (1997-08)   数理解析研究所講究録, 1010: 142-166
Computational Playability of Backward-Induction Solutions and Nash Equilibria : An Application of Recursion Theory to Game Theory(New Aspects in Non-Classical Logics and Their Kripke Semantics)   TASHIRO, Hidetoshi (1997-08)   数理解析研究所講究録, 1010: 167-173
NUMBERS IN A LATTICE VALUED SET THEORY(New Aspects in Non-Classical Logics and Their Kripke Semantics)   TITANI, SATOKO (1997-08)   数理解析研究所講究録, 1010: 174-192