Ecumenical Propositional Tableau
Pub Date : 2024-02-16
DOI:10.1007/s11225-023-10091-0
引用次数: 0
Abstract
Ecumenical logic aims to peacefully join classical and intuitionistic logic systems, allowing for reasoning about both classical and intuitionistic statements. This paper presents a semantic tableau for propositional ecumenical logic and proves its soundness and completeness concerning Ecumenical Kripke models. We introduce the Ecumenical Propositional Tableau ( \(E_T\) ) and demonstrate its effectiveness in handling mixed statements.
全基督教命题表
摘要 普世逻辑旨在将经典逻辑系统与直觉逻辑系统和平地结合起来，允许对经典语句和直觉语句进行推理。本文提出了普世命题逻辑的语义表，并证明了其关于普世克里普克模型的合理性和完备性。我们介绍了普世命题表（Ecumenical Propositional Tableau），并证明了它在处理混合语句时的有效性。
本文章由计算机程序翻译，如有差异，请以英文原文为准。
求助全文
约1分钟内获得全文
求助全文
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
