• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

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

Research Project

Project/Area Number 09894005
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeSingle-year Grants
Section企画調査
Research Field General mathematics (including Probability theory/Statistical mathematics)
Research InstitutionJapan Advanced Institute of Science and Technology

Principal Investigator

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

Co-Investigator(Kenkyū-buntansha) 外山 芳人  北陸先端科学技術大学院大学, 情報科学研究科, 教授 (00251968)
金子 守  筑波大学, 社会工学系, 教授 (40114061)
鈴木 信行  静岡大学, 理学部, 助教授 (60216421)
高野 道夫  新潟大学, 教育学部, 教授 (70126423)
古森 雄一  千葉大学, 理学部, 教授 (10022302)
Project Period (FY) 1997
Project Status Completed (Fiscal Year 1997)
Budget Amount *help
¥1,900,000 (Direct Cost: ¥1,900,000)
Fiscal Year 1997: ¥1,900,000 (Direct Cost: ¥1,900,000)
Keywords非標準論理 / 部分構造論理 / 知識の論理 / 項書換え系 / クリプキ意味論
Research Abstract

木研究は、非標準論理の研究を発展させていくために、国内および関連する海外の研究者との研究連絡を活性化することをその目的としている。具体的には、近い将来において「非標準論理と情報科学の論理的局面」に関する国際会議を開催するための企画およびそのための国内における研究体制の整備を目標とした。
この目標に対し、本研究ではつぎのことを行なった。
・国際会議開催のための準備として、1997年秋にAustralian National University(ANU)の機械推論プロジェクト(ARP)のR.Gore博士が北陸先端科学技術大学院大学を訪問、また1998年1月には本研究のメンバーのうち3名がANUを訪問し、具体的な計画について検討をおこなった。その結果として、1999年に日本またはオーストラリアにおいて上記の会合を開催することとし、近くロシアの関連する研究者とも連絡をとり、組織委員会をスタートさせることとした。なお、この計画の一環として若手研究者の育成のためのサマースクール等の開催についても、今後検討していくこととした。
・国内におけるこの分野の研究の活性化をはかるために、11月に静岡で数理論理学研究会を開催し、19の講演がおこなわれた。その成果を英文のプロシ-ディングスの形にまとめ、近く海外の研究者にも配布する予定である。
・研究課題として当初の計画にあげたもののうち、とくにつぎの課題について成果が得られた。1)縮約規則をもたない論理の一般論(小野)、2)計算論的学習理論からのカテゴリ文法の研究(金沢)、3)直感主義様相論理(高野、小野)、4)知識の論理と信念の更新理論(金子)、5)述語論理の意味論(鈴木)、6)弱い含意論理の研究(鹿島)。

Report

(1 results)
  • 1997 Annual Research Report
  • 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)

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

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

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

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

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

    • Related Report
      1997 Annual Research Report
  • [Publications] 金沢 誠: "CSLI publications" Learnable classes of categorial grammars, 184 (1998)

    • Related Report
      1997 Annual Research Report

URL: 

Published: 1997-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi