Theory and applications of non-classical logics
Theory and applications of non-classical logics
非经典逻辑理论与应用
批准号：
18K11171
负责人：
Kamide Norihiro
金额：
$1.66万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2018
资助国家：
日本
项目状态：
已结题
起止时间：
2018-04-01 至 2023-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(68)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
DOI：
10.1007/s10992-020-09553-w
发表时间：
2020-04
期刊：
Journal of Philosophical Logic
影响因子：
1.5
作者：
[N. Kamide]
通讯作者：
N. Kamide
Cut-elimination, completeness, and Craig interpolation theorems for Gurevich's extended first-order intuitionistic logic with strong negation
古列维奇强否定扩展一阶直觉逻辑的割消法、完备性和克雷格插值定理
古列维奇强否定扩展一阶直觉逻辑的割消法、完备性和克雷格插值定理
DOI：
--
发表时间：
2021
期刊：
Journal of Applied Logics: IfCoLog Journal of Logics and their Applications
影响因子：
--
作者：
[Kazuyuki Amano, Shin-ichi Nakano, M. de Brecht, 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
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
共 47 条
海外基金