Ecumenical propositional tableau

DOI10.1007/S11225-023-10091-0MaRDI QIDQ6987201zbMATH OpenFDO

Authors Renato Leme, Marcelo E. Coniglio, Bruno Lopes, Giorgio Venturi

Publication date 7 May 2025

Published in Studia Logica (Search for Journal in Brave)

zbMATH Keywords

intuitionismproof systemslogical ecumenism

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Subsystems of classical logic (including intuitionistic logic) (03B20) Combined logics (03B62)

This page was built for publication: Ecumenical propositional tableau

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6987201)