Axiomatizing Belnap's conditional assertion

DOI10.1007/BF00558756zbMath0329.02006MaRDI QIDQ1226999

J. Michael Dunn

Publication date: 1975

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

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Proof theory and constructive mathematics (03F99)

Related Items

New Foundations for Imperative Logic I: Logical Connectives, Consistency, and Quantifiers* ⋮ Conditionals, quantification, and strong mathematical induction

Cites Work

• Unnamed Item
• On the primary and secondary semantics of logical necessity
• On the definition of ‘formal deduction’
• The Second Dual of the Space of Continuous Functions. IV
• On axiomatizability within a system