1997 Fiscal Year Annual Research Report

非標準論理とその情報科学への応用

Research Project

Project/Area Number	09894005
Research Institution	Japan Advanced Institute of Science and Technology
Principal Investigator	小野寛晰北陸先端科学技術大学院大学, 情報科学研究科, 教授 (90055319)
Co-Investigator(Kenkyū-buntansha)	外山芳人北陸先端科学技術大学院大学, 情報科学研究科, 教授 (00251968) 金子守筑波大学, 社会工学系, 教授 (40114061) 鈴木信行静岡大学, 理学部, 助教授 (60216421) 高野道夫新潟大学, 教育学部, 教授 (70126423) 古森雄一千葉大学, 理学部, 教授 (10022302)
Keywords	非標準論理 / 部分構造論理 / 知識の論理 / 項書換え系 / クリプキ意味論
Research Abstract	木研究は、非標準論理の研究を発展させていくために、国内および関連する海外の研究者との研究連絡を活性化することをその目的としている。具体的には、近い将来において「非標準論理と情報科学の論理的局面」に関する国際会議を開催するための企画およびそのための国内における研究体制の整備を目標とした。この目標に対し、本研究ではつぎのことを行なった。・国際会議開催のための準備として、1997年秋にAustralian National University(ANU)の機械推論プロジェクト(ARP)のR.Gore博士が北陸先端科学技術大学院大学を訪問、また1998年1月には本研究のメンバーのうち3名がANUを訪問し、具体的な計画について検討をおこなった。その結果として、1999年に日本またはオーストラリアにおいて上記の会合を開催することとし、近くロシアの関連する研究者とも連絡をとり、組織委員会をスタートさせることとした。なお、この計画の一環として若手研究者の育成のためのサマースクール等の開催についても、今後検討していくこととした。・国内におけるこの分野の研究の活性化をはかるために、11月に静岡で数理論理学研究会を開催し、19の講演がおこなわれた。その成果を英文のプロシ-ディングスの形にまとめ、近く海外の研究者にも配布する予定である。・研究課題として当初の計画にあげたもののうち、とくにつぎの課題について成果が得られた。1)縮約規則をもたない論理の一般論(小野)、2)計算論的学習理論からのカテゴリ文法の研究(金沢)、3)直感主義様相論理(高野、小野)、4)知識の論理と信念の更新理論(金子)、5)述語論理の意味論(鈴木)、6)弱い含意論理の研究(鹿島)。

Research Products
(7 results)

All Other

All Publications (7 results)

[Publications] 小野寛晰: "Decidability and finitemodel property of substructural logics" Tbilisi Symposium on Language,Logic and Computation. (1998)
[Publications] 成瀬博之: "A syntactic approach to Maksimora's principle of variable separation for some substructural logics" Notre Dame Journal of Formal Logic. (発表予定).
[Publications] 金子守: "Game Logic and its applications II" Studia Logica. 58・2. 273-303 (1997)
[Publications] 高野道夫: "Subformula property for an intuitionistic modal logic" Mathematica Japonica. (発表予定).
[Publications] 青戸等人: "Persistency of confluence" Journal of Universal Computer Science. 3・11. 1134-1147 (1997)
[Publications] 鹿島亮: "Contraction-elimination for implicational logics" Annals of Pure and Appliad Logic. 84・1. 17-39 (1997)
[Publications] 金沢誠: "CSLI publications" Learnable classes of categorial grammars, 184 (1998)

1997 Fiscal Year Annual Research Report

非標準論理とその情報科学への応用

Principal Investigator

小野 寛晰 北陸先端科学技術大学院大学, 情報科学研究科, 教授 (90055319)

Research Products

[Publications] 小野 寛晰: "Decidability and finitemodel property of substructural logics" Tbilisi Symposium on Language,Logic and Computation. (1998)

[Publications] 成瀬 博之: "A syntactic approach to Maksimora's principle of variable separation for some substructural logics" Notre Dame Journal of Formal Logic. (発表予定).

[Publications] 金子 守: "Game Logic and its applications II" Studia Logica. 58・2. 273-303 (1997)

[Publications] 高野 道夫: "Subformula property for an intuitionistic modal logic" Mathematica Japonica. (発表予定).

[Publications] 青戸 等人: "Persistency of confluence" Journal of Universal Computer Science. 3・11. 1134-1147 (1997)

[Publications] 鹿島 亮: "Contraction-elimination for implicational logics" Annals of Pure and Appliad Logic. 84・1. 17-39 (1997)

[Publications] 金沢 誠: "CSLI publications" Learnable classes of categorial grammars, 184 (1998)

小野寛晰北陸先端科学技術大学院大学, 情報科学研究科, 教授 (90055319)

[Publications] 小野寛晰: "Decidability and finitemodel property of substructural logics" Tbilisi Symposium on Language,Logic and Computation. (1998)

[Publications] 成瀬博之: "A syntactic approach to Maksimora's principle of variable separation for some substructural logics" Notre Dame Journal of Formal Logic. (発表予定).

[Publications] 金子守: "Game Logic and its applications II" Studia Logica. 58・2. 273-303 (1997)

[Publications] 高野道夫: "Subformula property for an intuitionistic modal logic" Mathematica Japonica. (発表予定).

[Publications] 青戸等人: "Persistency of confluence" Journal of Universal Computer Science. 3・11. 1134-1147 (1997)

[Publications] 鹿島亮: "Contraction-elimination for implicational logics" Annals of Pure and Appliad Logic. 84・1. 17-39 (1997)

[Publications] 金沢誠: "CSLI publications" Learnable classes of categorial grammars, 184 (1998)