Algebraic Proof Theory for Nonclassical Logics and Intersection Types for Lambda Calculus

非经典逻辑的代数证明理论和 Lambda 演算的交集类型

• 批准号: 25330013
• 负责人: Terui Kazushige
• 金额: $ 2.58万
• 依托单位: Kyoto University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2013
• 资助国家: 日本
• 起止时间: 2013-04-01 至 2019-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-25330013/
• 关键词: 部分構造論理; 代数的証明論; MacNeille完備化; 順序代数の稠密化; ラムダ計算; 共通型; Ω規則; 二階述語論理; 線形論理; 証明ネット; 抽象代数論理; 橋渡し定理; 不動点定理; Lukasiewicz論理; 素朴集合論; 多相型ラムダ計算; 完備化; エルブランの定理; 整合空間; 計算可能解析; 稠密化; 正準拡大

项目成果

Some topics on linear logic, processes and hypersequents

关于线性逻辑、过程和超序列的一些主题

• 作者: 中島若巳;荒谷聡子;藤田英俊;槇田浩史;西岡久寿樹;瀬戸口靖弘;中島利博;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

具有固定点的子结构逻辑

• 发表时间: 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 欧米茄规则

• DOI: 10.4230/lipics.csl.2018.37
• 发表时间: 2018
• 期刊: 27th EACSL Annual Conference on Computer Science Logic (CSL 2018)
• 作者: 中島若巳;荒谷聡子;藤田英俊;槇田浩史;西岡久寿樹;瀬戸口靖弘;中島利博;Kazushige Terui
• 通讯作者: Kazushige Terui

Parsimonious Types and Non-uniform Computation

简约类型和非均匀计算

• 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

Strong Normalization for the Parameter-Free Polymorphic Lambda Calculus Based on the Omega-Rule

基于Omega规则的无参数多态Lambda演算的强归一化

• DOI: 10.4230/lipics.fscd.2016.5
• 发表时间: 2016
• 期刊: Proceedings of FSCD'16
• 作者: Ryota Akiyoshi;Ryota Akiyoshi;Ryota Akiyoshi;Ryota Akiyoshi and Grigori Mints;Ryota Akiyoshi and Kazushige Terui
• 通讯作者: Ryota Akiyoshi and Kazushige Terui