A sieve for entailments

DOI10.1007/BF00258076zbMath0428.03011MaRDI QIDQ1137032

J. Michael Dunn

Publication date: 1980

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

zbMATH Keywords

entailmentpartial tautologytruth tree

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (5)

IN MEMORIAM: J. MICHAEL DUNN, 1941–2021 ⋮ RELEVANCE LOGICS AND RELATION ALGEBRAS ⋮ The equivalence of tautological and strict entailment: Proof of an amended conjecture of Lewy's ⋮ Default Rules in the Logic of First-Degree Entailments ⋮ Explicating logical independence

Cites Work

• Intuitive semantics for first-degree entailments and `coupled trees'
• The pure calculus of entailment
• Unnamed Item
• Unnamed Item

This page was built for publication: A sieve for entailments