A proof-theoretic approach to entailment

DOI10.1007/BF00247748zbMath0432.03032OpenAlexW2084080545MaRDI QIDQ1138548

Neil Tennant

Publication date: 1980

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00247748

zbMATH Keywords

entailmentnormalization theoremclassical natural deduction

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

Related Items (3)

On argumentation logic and propositional logic ⋮ An adaptive logic for relevant classical deduction ⋮ Perfect validity, entailment and paraconsistency

This page was built for publication: A proof-theoretic approach to entailment