An ecumenical notion of entailment
From MaRDI portal
Publication:6067097
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)
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