Proof theoretic analysis of cyclic proof systems

循环证明系统的证明理论分析

基本信息

  • 批准号：
    18K11161
  • 负责人：
    Nakazawa Koji
  • 金额：
    $ 2.58万
  • 依托单位：
    Nagoya University
  • 依托单位国家：
    日本
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
  • 财政年份：
    2018
  • 资助国家：
    日本
  • 起止时间：
    2018-04-01 至 2021-03-31
  • 项目状态：
    已结题

项目摘要

项目成果

期刊论文数量（8）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Failure of cut-elimination in cyclic proofs of separation logic
分离逻辑循环证明中割消除的失败
  • DOI：
  • 发表时间：
    2019
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Daisuke Kimura;Koji Nakazawa;Tachio Terauchi;and Hiroshi Unno
  • 通讯作者：
    and Hiroshi Unno
Spatial factorization in cyclic-proof system for separation logic
分离逻辑的循环证明系统中的空间分解
  • DOI：
  • 发表时间：
    2019
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Koji Nakazawa;Makoto Tatsuta;and Daisuke Kimura
  • 通讯作者：
    and Daisuke Kimura
Restriction on Cut in Cyclic Proof System for Symbolic Heaps
符号堆循环证明系统中剪切的限制
On cut elimination in cyclic-proof systems
防循环系统中的切割消除
  • DOI：
  • 发表时间：
    2019
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Koji Nakazawa;Daisuke Kimura;Tachio Terauchi;Hiroshi Unno;and Kenji Saotome
  • 通讯作者：
    and Kenji Saotome
Completeness of Cyclic Proofs for Symbolic Heaps with Inductive Definitions
具有归纳定义的符号堆循环证明的完整性
  • DOI：
    10.1007/978-3-030-34175-6_19
  • 发表时间：
    2019
  • 期刊：
    LNCS (APLAS 2019)
  • 影响因子：
    0
  • 作者：
    Tatsuta Makoto;Nakazawa Koji;Kimura Daisuke
  • 通讯作者：
    Kimura Daisuke
{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ monograph.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ patent.updateTime }}

Nakazawa Koji其他文献

Z property for the shuffling calculus
混洗演算的 Z 属性

Nakazawa Koji的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

{{ truncateString('Nakazawa Koji', 18)}}的其他基金

Classical logic and infinite phenomena in computation
经典逻辑和计算中的无限现象
  • 批准号：
    15K00012
  • 财政年份：
    2015
  • 资助金额：
    $ 2.58万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)

相似海外基金

循環証明体系におけるカット除去定理とカット規則の制限
循环证明系统中割消除定理和割规则的限制
  • 批准号：
    22K11901
  • 财政年份：
    2022
  • 资助金额：
    $ 2.58万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Polymorphic Combinatory Categorial Grammar for Incremental Parsing
用于增量解析的多态组合范畴语法
  • 批准号：
    21J15207
  • 财政年份：
    2021
  • 资助金额：
    $ 2.58万
  • 项目类别：
    Grant-in-Aid for JSPS Fellows
Proof-Theoretic Study of Doxastic and Epistemic Updates via Questions
通过问题进行信念和认知更新的证明理论研究
  • 批准号：
    19K12113
  • 财政年份：
    2019
  • 资助金额：
    $ 2.58万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Theory and applications of non-classical logics
非经典逻辑理论与应用
  • 批准号：
    18K11171
  • 财政年份：
    2018
  • 资助金额：
    $ 2.58万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
証明，　構成性，　パラドックス
证明、组合性、悖论
  • 批准号：
    15J05414
  • 财政年份：
    2015
  • 资助金额：
    $ 2.58万
  • 项目类别：
    Grant-in-Aid for JSPS Fellows
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了