No.1021
sequent calculusとKripke semanticsに基づく非古典論理学の研究
短期共同研究報告集
1997/07/09〜1997/07/11
志村 立矢
Tatsuya Shimura
目 次
Department of Artificial Intelligence, Kyushu Institute of Technology 藤田 憲悦 (Fujita,Ken-etsu)
Japan Advanced Institute of Science and Technology 宮崎 裕 (Miyazaki,Yutaka)
Department of Information Science, Kyoto University 佐藤 雅彦 (Sato,Masahiko)
CHUBU UNIVERSITY 千谷 慧子 (TITANI,SATOKO)
Department of Informatics, Kyushu University / Department of Informatics, Kyushu University 河原 康雄 / 古澤 仁 (KAWAHARA,Yasuo / FURUSAWA,Hitoshi)
日本大学理工学部 志村 立夫
7.
Logics Over MIPC-----------------------------------------------------------------------------------------------------------------86
School of Information Science, JAIST / II. Mathematisches Institut, FU Berlin Bezhanishvili,Guram / Zakharyaschev,Michael
JAIST 鈴木 康人 (Suzuki,Yasuhito)
Graduate School of Economics, Hitotsubashi University 田代 秀敏 (TASHIRO,Hidetoshi)
Bunder,M.W. / Dekkers,W.J.M. / Geuvers,J.H.
静岡大学理学部 白井 古希男 (Shirai,Kokio)
一橋大学経済学部 永島 孝 (NAGASHIMA,Takashi)
Institute of Policy and Planning Sciences, University of Tsukuba 金子 守 (Kaneko,Mamoru)
Graduate School of Information Engineering, Hiroshima University スラルソ バユ (Surarso,Bayu)
北陸先端科学技術大学院大学情報科学研究科 / 北陸先端科学技術大学院大学情報科学研究科 鹿島 亮 / 上出 哲広 (Kashima,Ryo / Kamide,Norihiro)