On an ecumenical natural deduction with \textit{stoup}. I: The propositional case

DOI10.1007/978-3-031-51406-7_7MaRDI QIDQ6899255zbMATH OpenFDO

Authors Luiz Carlos Pereira, Elaine Pimentel

Publication date 17 November 2025

Full work available at URL https://doi.org/10.1007/978-3-031-51406-7_7

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) General logic (03Bxx)

Cites work

• A focused approach to combining logics
• A new constructive logic: classic logic
• A new way of normalizing intuitionistic propositional logic
• An ecumenical notion of entailment
• Classical harmony and separability
• Classical natural deduction
• scientific article; zbMATH DE number 7034416 (Why is no real title available?)
• scientific article; zbMATH DE number 1324438 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3333259 (Why is no real title available?)
• Logic Programming with Focusing Proofs in Linear Logic
• Some Axioms for Mathematics
• Some formal considerations on Gabbay's restart rule in natural deduction and goal-directed reasoning
• The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony
• Theoretical aspects of computing -- ICTAC 2021. 18th international colloquium, virtual event, Nur-Sultan, Kazakhstan, September 8--10, 2021. Proceedings

Cited in

(2)

• Separability and harmony in ecumenical systems
• A proof-theoretic approach to the semantics of classical linear logic

This page was built for publication: On an ecumenical natural deduction with \textit{stoup}. I: The propositional case

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