Ecumenical Propositional Tableau: Ecumenical Propositional Tableau

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 Kr...

Full description

Saved in:
Bibliographic Details
Published in:Studia logica 2025-04, Vol.113 (2), p.539-566
Main Authors: Leme, Renato, Coniglio, Marcelo, Lopes, Bruno, Venturi, Giorgio
Format: Article
Language:English
Subjects:
Computational Linguistics
Education
Logic
Mathematical Logic and Foundations
Philosophy
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!