Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索結果表示: 1-10 / 13.

前
1
2
次

検索結果:

書誌情報	ファイル
A Study on Substructural Logics with Restricted Exchange Rules(New Aspects in Non-Classical Logics and Their Kripke Semantics) 鹿島, 亮; 上出, 哲広 (1997-08) 数理解析研究所講究録, 1010: 35-67
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
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
直観主義命題論理のリンデンバウム代数について(非古典論理とKripke意味論の新局面) 佐々木, 克己 (1997-08) 数理解析研究所講究録, 1010: 81-88
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
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
An approach to the liar paradox(New Aspects in Non-Classical Logics and Their Kripke Semantics) LUKOWSKI, Piotr (1997-08) 数理解析研究所講究録, 1010: 68-80
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