A sieve for entailments

DOI10.1007/BF00258076MaRDI QIDQ1137032zbMATH OpenFDO

Authors J. Michael Dunn

Publication date 1980

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

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

zbMATH Keywords

entailmentpartial tautologytruth tree

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 3573810 (Why is no real title available?)
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• Intuitive semantics for first-degree entailments and `coupled trees'
• The pure calculus of entailment

Cited in

(6)

• The equivalence of tautological and strict entailment: Proof of an amended conjecture of Lewy's
• Explicating logical independence
• Default rules in the logic of first-degree entailments
• IN MEMORIAM: J. MICHAEL DUNN, 1941–2021
• RELEVANCE LOGICS AND RELATION ALGEBRAS
• Variable-sharing as relevance

This page was built for publication: A sieve for entailments

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