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.