Theory and applications of non-classical logics

非经典逻辑理论与应用

• 批准号: 18K11171
• 负责人: Kamide Norihiro
• 金额: $ 1.66万
• 依托单位: Teikyo University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2018
• 资助国家: 日本
• 起止时间: 2018-04-01 至 2023-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-18K11171/
• 关键词: 非古典論理; 矛盾許容論理; 時間論理; 完全性定理; カット除去定理; モデル検査技術; 埋め込み定理; モデル検査

项目成果

Cut-elimination, completeness, and Craig interpolation theorems for Gurevich's extended first-order intuitionistic logic with strong negation

古列维奇强否定扩展一阶直觉逻辑的割消法、完备性和克雷格插值定理

• 发表时间: 2021
• 期刊: Journal of Applied Logics: IfCoLog Journal of Logics and their Applications
• 作者: Kazuyuki Amano;Shin-ichi Nakano;M. de Brecht;Norihiro Kamide
• 通讯作者: Norihiro Kamide

An extended description logic for inconsistency-tolerant ontological reasoning with sequential information

一种使用顺序信息进行不一致性本体推理的扩展描述逻辑

• DOI: 10.5220/0008876403130321
• 发表时间: 2020
• 期刊: Proceedings of the 12th International Conference on Agents and Artificial Intelligence (ICAART 2020)
• 作者: 安藤和敏;正治和也;堀山貴史;Norihiro Kamide
• 通讯作者: Norihiro Kamide

Logical foundations of hierarchical model checking

层次模型检验的逻辑基础

• DOI: 10.1108/dta-01-2018-0002
• 发表时间: 2018
• 期刊: Data Technologies and Applications
• 影响因子: 1.6
• 作者: Shun Kimura;Koujin Takeda;Norihiro Kamide
• 通讯作者: Norihiro Kamide

Symmetric paraconsistent quantum logic

对称次相容量子逻辑

• DOI: 10.1109/ismvl51352.2021.00014
• 发表时间: 2021
• 期刊: Proceedings of the 51st IEEE International Symposium on Multiple-Valued Logic (ISMVL 2021)
• 作者: 山下真;Tim J. Mullin;Sena Safarina;T. Maehara and K. Ando;Norihiro Kamide
• 通讯作者: Norihiro Kamide

Lattice logic, bilattice logic and paraconsistent quantum logic: A unified framework based on monosequent systems

格逻辑、双格逻辑和次相一致量子逻辑：基于单序列系统的统一框架

• DOI: 10.1007/s10992-020-09585-2
• 发表时间: 2021
• 期刊: Journal of Philosophical Logic
• 影响因子: 1.5
• 作者: 近藤和希;関川浩;Norihiro Kamide
• 通讯作者: Norihiro Kamide