No.1021
sequent calculusとKripke semanticsに基づく非古典論理学の研究
短期共同研究報告集
 
1997/07/09〜1997/07/11
志村 立矢
Tatsuya Shimura
 
目 次
 
1. Strong Normalization of Pure $\mathit{GL}_w$-$\lambda\mu$-Terms-------------------------------------------------------------------1
    Department of Artificial Intelligence, Kyushu Institute of Technology   藤田 憲悦 (Fujita,Ken-etsu)
 
2. Semigroup semantics for orthomodular logic---------------------------------------------------------------------------------------14
    Japan Advanced Institute of Science and Technology   宮崎 裕 (Miyazaki,Yutaka)
 
3. Classical Brouwer-Heyting-Kolmogorov interpretation------------------------------------------------------------------------------28
    Department of Information Science, Kyoto University   佐藤 雅彦 (Sato,Masahiko)
 
4. UNIVERSE OF QUANTUM SET THEORY---------------------------------------------------------------------------------------------------48
    CHUBU UNIVERSITY   千谷 慧子 (TITANI,SATOKO)
 
5. Crispness and Representation Theorem in Dedekind Categories----------------------------------------------------------------------63
    Department of Informatics, Kyushu University / Department of Informatics, Kyushu University   河原 康雄 / 古澤 仁 (KAWAHARA,Yasuo / FURUSAWA,Hitoshi)
 
6. On some one variable axioms over intuitionistic S4-------------------------------------------------------------------------------70
    日本大学理工学部   志村 立夫
 
7. Logics Over MIPC-----------------------------------------------------------------------------------------------------------------86
    School of Information Science, JAIST / II. Mathematisches Institut, FU Berlin   Bezhanishvili,Guram / Zakharyaschev,Michael
 
8. The realization of the hybrid multi-modal logic theorem prover in the term rewriting system CafeOBJ------------------------------96
    JAIST   鈴木 康人 (Suzuki,Yasuhito)
 
9. Computational Playability of Backward Induction Solutions-----------------------------------------------------------------------112
    Graduate School of Economics, Hitotsubashi University   田代 秀敏 (TASHIRO,Hidetoshi)
 
10. EQUIVALENCES BETWEEN ILLATIVE COMBINATORY LOGICS AND PURE TYPE SYSTEMS---------------------------------------------------------119
       Bunder,M.W. / Dekkers,W.J.M. / Geuvers,J.H.
 
11. On the strong completeness theorems for the first-order generalized intuitionistic predicate calculus--------------------------136
    静岡大学理学部   白井 古希男 (Shirai,Kokio)
 
12. Arithmetization of another formulation of a subsystem of Kaneko-Nagashima's GL-------------------------------------------------156
    一橋大学経済学部   永島 孝 (NAGASHIMA,Takashi)
 
13. Decision Making in Partially Interactive Games I : Game Theoretic Developments-------------------------------------------------163
    Institute of Policy and Planning Sciences, University of Tsukuba   金子 守 (Kaneko,Mamoru)
 
14. Interpolation Theorem for $\mathit{L}_{DBCC}$ and $\mathit{L}_{DBCK}$----------------------------------------------------------178
    Graduate School of Information Engineering, Hiroshima University   スラルソ バユ (Surarso,Bayu)
 
15. A Study on Substructural Logics with Restricted Exchange Rules, (2)------------------------------------------------------------187
    北陸先端科学技術大学院大学情報科学研究科 / 北陸先端科学技術大学院大学情報科学研究科   鹿島 亮 / 上出 哲広 (Kashima,Ryo / Kamide,Norihiro)