A new axiomatization of Belnap's conditional assertion

DOI10.1305/ndjfl/1093636531zbMath0592.03015OpenAlexW1998166524MaRDI QIDQ1075314

Daniel H. Cohen

Publication date: 1986

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093636531

Mathematics Subject Classification ID

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

Related Items (4)

New Foundations for Imperative Logic I: Logical Connectives, Consistency, and Quantifiers* ⋮ Conditionals, quantification, and strong mathematical induction ⋮ Revisiting four-valued logics from \textit{Maple} using the \textit{Logics Explorer} package ⋮ The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics

This page was built for publication: A new axiomatization of Belnap's conditional assertion