Perfect validity, entailment and paraconsistency

DOI10.1007/BF00935749zbMath0582.03011MaRDI QIDQ1068812

Neil Tennant

Publication date: 1984

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

relevanceparaconsistencyentailmentGentzen set-sequent system

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60)

Related Items

Editorial introduction: substructural logics and metainferences, RELEVANCE FOR THE CLASSICAL LOGICIAN, Restall's proof-theoretic pluralism and relevance logic, Relevant logic programming, A new approach to classical relevance, On argumentation logic and propositional logic, An adaptive logic for relevant classical deduction, Normality, non-contamination and logical depth in classical natural deduction, Paraconsistent Logical Consequence

Cites Work

• First degree entailments
• A proof-theoretic approach to entailment
• Proof and Paradox
• Unnamed Item
• Unnamed Item