No.1010
非古典論理とKripke意味論の新局面
New Aspects in Non-Classical Logics and Their Kripke Semantics
短期共同研究報告集
 
1997/03/04〜1997/03/06
鈴木 信行
Nobu-Yuki Suzuki
 
目 次
 
1. Modal Intuitionistic Logics and Predicate Superintuitionistic Logics : Correspondence Theory(New Aspects in Non-Classical Logics and Their Kripke Semantics)---1
    JAIST   Bezhanishvili, Guram
 
2. Calculus of Classical Proofs from Programming Viewpoint(New Aspects in Non-Classical Logics and Their Kripke Semantics)-----------7
    Kyushu Institute of Technology, Department of Artificial Intelligence   藤田 憲悦 (Fujita,Ken-etsu)
 
3. A Study on Substructural Logics with Restricted Exchange Rules(New Aspects in Non-Classical Logics and Their Kripke Semantics)---35
    北陸先端科学技術大学院大学情報科学研究科 / 北陸先端科学技術大学院大学情報科学研究科   鹿島 亮 / 上出 哲広 (Kashima,Ryo / Kamide,Norihiro)
 
4. An approach to the liar paradox(New Aspects in Non-Classical Logics and Their Kripke Semantics)----------------------------------68
    University of Lodz, Department of Logic   LUKOWSKI,Piotr
 
5. 直観主義命題論理のリンデンバウム代数について(非古典論理とKripke意味論の新局面)---------------------------------------------------81
    南山大学経営学部   佐々木 克己 (SASAKI,Katsumi)
 
6. An application of Jankov's characteristic formulas(New Aspects in Non-Classical Logics and Their Kripke Semantics)---------------89
    日本大学理工学部   志村 立矢 (SHIMURA,Tatsuya)
 
7. A coherence space semantics for linear set theory(New Aspects in Non-Classical Logics and Their Kripke Semantics)---------------101
    Department of Mathematics, Keio University, Hiyoshi Campus   白旗 優 (Shirahata,Masaru)
 
8. 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)---113
    静岡大学理学部   白井 古希男 (Shirai,Kokio)
 
9. An application of the Kripke sheaf semantics in intermediate predicate logics(New Aspects in Non-Classical Logics and Their Kripke Semantics)---131
    Department of Computer and Information Sciences, Faculty of Engineering, Ibaraki University   鈴木 信行 (SUZUKI,Nobu-Yuki)
 
10. Speaking about transitive frames in propositional languages(New Aspects in Non-Classical Logics and Their Kripke Semantics)----142
    JAIST / JAIST / JAIST   鈴木 康人 / / (Suzuki,Yasuhito / Wolter,Frank / Zakharyaschev, Michael)
 
11. 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)---167
    Graduate School of Economics, Hitotsubashi University   TASHIRO,Hidetoshi
 
12. NUMBERS IN A LATTICE VALUED SET THEORY(New Aspects in Non-Classical Logics and Their Kripke Semantics)-------------------------174
    CHUBU UNIVERSITY   千谷 慧子 (TITANI,SATOKO)