课题基金 / 基金详情

Substructural logics and their applications to computer science

Substructural logics and their applications to computer science
子结构逻辑及其在计算机科学中的应用
批准号：
20700015
负责人：
KAMIDE Norihiro
金额：
$1.58万
依托单位：
Waseda University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2008
资助国家：
日本
项目状态：
已结题
起止时间：
2008 至 2011
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-20700015/
关键词：
部分構造論理パラコンシステント論理時間論理ソフトウェアモデル検査Webオントロジー言語モデル検査線形論理完全性定理決定可能性カット除去定理数理論理学分岐時間論理線形時間論理

项目摘要

项目成果

KAMIDE Norihiro的其他基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
The aim of this study is to construct proof systems and semantics for substuructural logics, and to propose computer science applications of these proof systems and semantics. In this study, we construct some proof systems and semantics for some temporal and paraconsistent substructural logics, and propose some new applications(such as software model checking and Web ontology languages) of the proposed proof systems and semantics. We have obtained some theoretical results(such as completeness and decidability results) on the proposed proof systems and semantics.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Paraconsistent computation tree logic
并行一致计算树逻辑
DOI： 10.1007/s00354-009-0116-6
发表时间： 2011
期刊： New Generation Computing
影响因子： 2.6
作者： [Ken Kaneiwa, Norihiro Kamide]
通讯作者： Norihiro Kamide
Connexive modal logic based on positive S4
基于正S4的连接模态逻辑
DOI： --
发表时间： 2011
期刊： Logic without Frontiers : Festschrift for Walter Alexandre Carnielli on the occasion of his 60th Birthday, Tribute Series
影响因子： --
作者： [Norihiro Kamide, Heinrich Wansing]
通讯作者： Heinrich Wansing
Reasoning about resource-sensitive multi-agents
资源敏感多智能体的推理
DOI： --
发表时间： 2011
期刊： Multi-Agent Systems : Modeling, Control, Programming, Simulations and Applications
影响因子： --
作者： [Norihiro Kamide, Heinrich Wansing, Norihiro Kamide]
通讯作者： Norihiro Kamide
Sequential description logic
顺序描述逻辑
DOI： --
发表时间： 2010
期刊： Far East Journal of Applied Mathematics
影响因子： --
作者： [Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, Norihiro Kamide]
通讯作者： Norihiro Kamide
共 66 条
    Logical foundations of knowledge representation and reasoning systems
    • 批准号：
      26330263
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.08万
    • 财政年份：
      2014
    • 负责人：
      KAMIDE Norihiro
    • 依托单位：
      Teikyo University