Algebraic Proof Theory for Nonclassical Logics and Intersection Types for Lambda Calculus
Algebraic Proof Theory for Nonclassical Logics and Intersection Types for Lambda Calculus
非经典逻辑的代数证明理论和 Lambda 演算的交集类型
批准号：
25330013
负责人：
Terui Kazushige
金额：
$2.58万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2013
资助国家：
日本
项目状态：
已结题
起止时间：
2013-04-01 至 2019-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Some topics on linear logic, processes and hypersequents
关于线性逻辑、过程和超序列的一些主题
关于线性逻辑、过程和超序列的一些主题
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[中島若巳, 荒谷聡子, 藤田英俊, 槇田浩史, 西岡久寿樹, 瀬戸口靖弘, 中島利博, Kazushige Terui, Ryota Akiyoshi and Kazushige Terui, Damiano Mazza and Kazushige Terui, 照井一成, Kazushige Terui, Kazushige Terui, Kazushige Terui, Kazushige Terui, Kazushige Terui, Kazushige Terui]
通讯作者：
Kazushige Terui
Substructural logics with fixpoints
具有固定点的子结构逻辑
具有固定点的子结构逻辑
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
[中島若巳, 荒谷聡子, 藤田英俊, 槇田浩史, 西岡久寿樹, 瀬戸口靖弘, 中島利博, Kazushige Terui, Ryota Akiyoshi and Kazushige Terui, Damiano Mazza and Kazushige Terui, 照井一成, Kazushige Terui, Kazushige Terui]
通讯作者：
Kazushige Terui
MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics
无参数二阶逻辑的 MacNeille 补全和 Buchholz 欧米茄规则
无参数二阶逻辑的 MacNeille 补全和 Buchholz 欧米茄规则
DOI：
10.4230/lipics.csl.2018.37
发表时间：
2018
期刊：
27th EACSL Annual Conference on Computer Science Logic (CSL 2018)
影响因子：
--
作者：
[中島若巳, 荒谷聡子, 藤田英俊, 槇田浩史, 西岡久寿樹, 瀬戸口靖弘, 中島利博, Kazushige Terui]
通讯作者：
Kazushige Terui
DOI：
10.1007/978-3-662-47666-6_28
发表时间：
2015
期刊：
Proceedings of the 42nd ICALP
影响因子：
--
作者：
[中島若巳, 荒谷聡子, 藤田英俊, 槇田浩史, 西岡久寿樹, 瀬戸口靖弘, 中島利博, Kazushige Terui, Ryota Akiyoshi and Kazushige Terui, Damiano Mazza and Kazushige Terui]
通讯作者：
Damiano Mazza and Kazushige Terui
Bot in nonclassical logics
非经典逻辑中的机器人
非经典逻辑中的机器人
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[中島若巳, 荒谷聡子, 藤田英俊, 槇田浩史, 西岡久寿樹, 瀬戸口靖弘, 中島利博, Kazushige Terui, Ryota Akiyoshi and Kazushige Terui, Damiano Mazza and Kazushige Terui, 照井一成]
通讯作者：
照井一成
共 10 条