書誌情報 | ファイル |
表紙・目次 (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
| |