An ecumenical notion of entailment

DOI10.1007/S11229-019-02226-5MaRDI QIDQ6067097zbMATH OpenFDO

Authors Elaine Pimentel, Luiz Carlos Pereira, Valeria de Paiva

Publication date 14 December 2023

Published in Synthese (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S11229-019-02226-5

zbMATH Keywords

classical logicecumenical systemsintuitionistic logicproof theory

Mathematics Subject Classification ID

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

Recommendations

• Ecumenical modal logic
• On dialetheic entailment
• Entailment and bivalence
• The nature of entailment: an informational approach
• Entailment among probabilistic implications
• scientific article; zbMATH DE number 5997430
• Entailment relations and/as truth values
• scientific article; zbMATH DE number 3296227
• The interpretation of categorical propositions in terms of relevant entailment

Cites work

• A focused approach to combining logics
• A semantical view of proof systems
• Algebraic proofs of cut elimination
• An inferentially many-valued two-dimensional notion of entailment
• Contraction-free sequent calculi for intuitionistic logic
• CUT ELIMINATION FOR PROPOSITIONAL DYNAMIC LOGIC WITHOUT
• Cut-free sequent calculi for some tense logics
• Deep sequent systems for modal logic
• Eine Darstellung der Intuitionistischen Logik in der Klassischen
• Gentzen's Proof of Normalization for Natural Deduction
• scientific article; zbMATH DE number 7034416 (Why is no real title available?)
• scientific article; zbMATH DE number 7034428 (Why is no real title available?)
• scientific article; zbMATH DE number 1749009 (Why is no real title available?)
• scientific article; zbMATH DE number 949290 (Why is no real title available?)
• scientific article; zbMATH DE number 932649 (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?)
• Hypersequents, logical consequence and intermediate logics for concurrency
• Kripke models for classical logic
• Linear logic
• Linear Nested Sequents, 2-Sequents and Hypersequents
• Nested sequents for intuitionistic logics
• On the unity of logic
• Polarizing double-negation translations
• Proof analysis in intermediate logics
• Structural proof theory. With an appendix by Aarne Ranta
• The Method of Tree-Hypersequents for Modal Propositional Logic
• Translations from natural deduction to sequent calculus
• Uniform proofs as a foundation for logic programming
• Yet another bijection between sequent calculus and natural deduction

Cited in

(12)

• Ecumenical modal logic
• A pure view of ecumenical modalities
• A proof-theoretic analysis of the meaning of a formula in a combination of intuitionistic and classical propositional logic
• Towards logical foundations for probabilistic computation
• Intuitionistic modal algebras
• Combining first-order classical and intuitionistic logic
• Another combination of classical and intuitionistic conditionals
• On an ecumenical natural deduction with \textit{stoup}. I: The propositional case
• On combining intuitionistic and S4 modal logic
• Separability and harmony in ecumenical systems
• Ecumenical propositional tableau
• Translations and Prawitz's ecumenical system

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

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