An ecumenical notion of entailment

DOI10.1007/s11229-019-02226-5zbMath1525.03080MaRDI QIDQ6067097

V. C. V. de Paiva, Elaine Pimentel, Luiz Carlos Pereira

Publication date: 14 December 2023

Published in: Synthese (Search for Journal in Brave)

zbMATH Keywords

proof theoryintuitionistic logicclassical logicecumenical systems

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Yet another bijection between sequent calculus and natural deduction
• Linear logic
• Kripke models for classical logic
• A focused approach to combining logics
• Proof analysis in intermediate logics
• On the unity of logic
• Deep sequent systems for modal logic
• Cut-free sequent calculi for some tense logics
• Algebraic proofs of cut elimination
• Hypersequents, logical consequence and intermediate logics for concurrency
• A semantical view of proof systems
• Nested sequents for intuitionistic logics
• Uniform proofs as a foundation for logic programming
• Polarizing Double-Negation Translations
• Linear Nested Sequents, 2-Sequents and Hypersequents
• Gentzen's Proof of Normalization for Natural Deduction
• The Method of Tree-Hypersequents for Modal Propositional Logic
• Contraction-free sequent calculi for intuitionistic logic
• CUT ELIMINATION FOR PROPOSITIONAL DYNAMIC LOGIC WITHOUT
• Translations from natural deduction to sequent calculus
• An Inferentially Many-Valued Two-Dimensional Notion of Entailment
• Eine Darstellung der Intuitionistischen Logik in der Klassischen

This page was built for publication: An ecumenical notion of entailment