Refutation-Aware Gentzen-Style Calculi for Propositional Until-Free Linear-Time Temporal Logic

被引：0
|
作者：
Norihiro Kamide
机构：
[1] Nagoya City University,Department of Data Science, School of Data Science
来源：
Studia Logica | 2023年 / 111卷
关键词：
Linear-time temporal logic; Refutation-aware Gentzen-style sequent calculus; Refutation-aware Kripke-style semantics; Completeness theorem; Cut-elimination theorem;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
This study introduces refutation-aware Gentzen-style sequent calculi and Kripke-style semantics for propositional until-free linear-time temporal logic. The sequent calculi and semantics are constructed on the basis of the refutation-aware setting for Nelson’s paraconsistent logic. The cut-elimination and completeness theorems for the proposed sequent calculi and semantics are proven.
引用
收藏
页码：979 / 1014
页数：35
相关论文
共 6 条
1