共同研究・競争的資金等の研究課題

2005年 - 2007年

代数的方法による論理学の新たな展開

日本学術振興会  科学研究費助成事業 基盤研究(C)  基盤研究(C)

課題番号
17540109
体系的課題番号
JP17540109
配分額
(総額)
3,590,000円
(直接経費)
3,200,000円
(間接経費)
390,000円

本研究のテーマである「代数的方法による論理学の研究」は近年大きな関心を集めている。平成17年にバルセロナで開催された国際会議第2回「Algebraic and Topological Methods in Nonclassical Logic」において小野は大会委員長を務め、また19年にオクスフォード大学における第3回の国際会議では小野はこの国際会議の運営委員に就任し、今後のこの研究課題における国際的な研究展開に携わっていくことになった。また第3回ワークショップAlgebra & Substructural Logicsを、18年にポーランドのヤギエウォ大学で開催し、講演で本研究の成果を公表するとともに、会合の成果を専門誌Reports on Mathematical Logicの特集号として編纂し出版した。
この他、18年にイタリアで開催された国際会議「Ordered Structures in Many-Valued Logics」と19年にアメリカで開催された国際会議「順序、代数および論理」において小野はtutorial talkをおこない、またガラトスも後者の会議で招待講演をおこなった。これらの内容は、18年に分担者のガラトスとの共著論文として発表した2編の基本的な論文に基づいている。
数年前から執筆を開始した著書"Residuated Lattices: an algebraic glimpse at substructural logics"がガラトスを含む海外の研究者3名の協力により、数理論理学関係でもっとも権威のある"Studies in Logic and the Foundations of Mathematics"のシリーズ第151巻として平成19年4月にElsevierから出版された。すでに関連分野の研究者から基本的文献として評価されている。

リンク情報
KAKEN
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-17540109
ID情報
  • 課題番号 : 17540109
  • 体系的課題番号 : JP17540109