非古典論理における単純代入特性,及びそれのコンピュータへの応用の研究
非古典論理における単純代入特性,及びそれのコンピュータへの応用の研究
非经典逻辑简单赋值性质及其在计算机中的应用研究
批准号：
07740173
负责人：
佐々木 克巳
金额：
$0.26万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份：
1995
资助国家：
日本
项目状态：
已结题
起止时间：
1995 至 --
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
基本的な様相論理において単純代入特性という性質を調べ,以下の結果を得た.中間命題論理で定義された単純代入特性を,S4とよばれる様相論理を基準に拡張した.そして,中間命題論理で得られていた結果の中のいくつかは,S4を含む様相論理でも成り立つことがわかった.たとえば,高さが有限のクリプケモデルで特徴化できる様相論理に対しては,有限クリプケモデルで特徴化できるということが,単純代入特性をもつための必要十分条件であることがわかっている.また,基準になると考えられる様相論理はS4以外にK4,Kなどがあり,それらを基準にして単純代入特性を拡張することも試みた.とくにK4については,S4の場合と同様の結果がいくつも成り立つことがわかった.
期刊论文(1)
专著(0)
科研奖励(0)
会议论文
K. Sasaki, S. Shundo and T. Hosoi: "The simple substitution property for the normal modal logics" SUT Journal of Mathematics. 30. 107-128 (1994)
K. Sasaki、S. Shundo 和 T. Hosoi：“正规模态逻辑的简单替换性质”SUT 数学杂志。
K. Sasaki、S. Shundo 和 T. Hosoi：“正规模态逻辑的简单替换性质”SUT 数学杂志。
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
フローチャートで表現できない証明の読解力・表現力を養成する指導法
-
批准号：24K05951
-
项目类别：Grant-in-Aid for Scientific Research (C)
-
资助金额：$0.83万
-
财政年份：2024
-
负责人：佐々木 克巳
-
依托单位：
非古典論理における単純代入特性、及びそれのコンピューターへの応用の研究
-
批准号：05740144
-
项目类别：Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额：$0.19万
-
财政年份：1993
-
负责人：佐々木 克巳
-
依托单位：
海外基金