Ecumenical Propositional Tableau

IF 0.6 3区数学 Q2 LOGIC

Studia Logica 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分钟内获得全文求助全文

来源期刊

Studia Logica MATHEMATICS-LOGIC

CiteScore

1.70

自引率

14.30%

发文量

审稿时长

6-12 weeks

期刊介绍： The leading idea of Lvov-Warsaw School of Logic, Philosophy and Mathematics was to investigate philosophical problems by means of rigorous methods of mathematics. Evidence of the great success the School experienced is the fact that it has become generally recognized as Polish Style Logic. Today Polish Style Logic is no longer exclusively a Polish speciality. It is represented by numerous logicians, mathematicians and philosophers from research centers all over the world.