Relevant predication. I: The formal theory

DOI10.1007/BF00431183zbMath0638.03003MaRDI QIDQ1099150

J. Michael Dunn

Publication date: 1987

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

zbMATH Keywords

relevant predicationrelevant implicationintrinsic property

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05)

Related Items

IN MEMORIAM: J. MICHAEL DUNN, 1941–2021, What is a relevant connective?, A substructural approach to explicit modal logic, Logical consequence and the paradoxes, Manipulating Sources of Information: Towards an Interpretation of Linear Logic and Strong Relevance Logic, From Iff to Is: Some New Thoughts on Identity in Relevant Logics, REPLY TO BJØRDAL, Semantics for relevance logic with identity, Aristotle's assertoric syllogistic and modern relevance logic, Extensionality and restriction in naive set theory, The slingshot argument and sentential identity, Identity in Mares-Goldblatt models for quantified relevant logic, \(\supset\)E is admissible in ``true relevant arithmetic, Relevant identity

Cites Work

• Completeness of relevant quantification theories
• Combinatory logic. With two sections by William Craig.
• Relevant Robinson's arithmetic
• Completeness of the normal typed fragment of the \(\lambda\)-system \(U\)
• Quantification and RM
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item