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オントロジー言語; モデル検査; 線形論理; 完全性定理; 決定可能性; カット除去定理; 数理論理学; 分岐時間論理; 線形時間論理

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.

本研究的目的是为子结构逻辑构造证明系统和语义，并提出这些证明系统和语义的计算机科学应用。在这项研究中，我们构建了一些时间和次协调子结构逻辑的证明系统和语义，并提出了一些新的应用（如软件模型检测和Web本体语言）的建议证明系统和语义。我们已经得到了一些理论结果（如完整性和可判定性的结果）所提出的证明系统和语义。

项目成果

Automating and computing paraconsistent reasoning: contraction-free, resolution and type systems

自动化和计算次一致推理：无收缩、解析和类型系统

• DOI: 10.1002/malq.19690151602
• 发表时间: 2010
• 期刊: Reports Math. Log.
• 作者: N. Kamide

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的连接模态逻辑

• 发表时间: 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

资源敏感多智能体的推理

• 发表时间: 2011
• 期刊: Multi-Agent Systems : Modeling, Control, Programming, Simulations and Applications
• 作者: Norihiro Kamide;Heinrich Wansing;Norihiro Kamide
• 通讯作者: Norihiro Kamide

Sequential description logic

顺序描述逻辑

• 发表时间: 2010
• 期刊: Far East Journal of Applied Mathematics
• 作者: Tetsuo Kamina;Tomoyuki Aotani;Hidehiko Masuhara;Norihiro Kamide
• 通讯作者: Norihiro Kamide