Pages that link to "Item:Q1075314"
From MaRDI portal
The following pages link to A new axiomatization of Belnap's conditional assertion (Q1075314):
Displaying 6 items.
- If, not when (Q276029) (← links)
- The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics (Q692319) (← links)
- Conditionals, quantification, and strong mathematical induction (Q1177650) (← links)
- Revisiting four-valued logics from \textit{Maple} using the \textit{Logics Explorer} package (Q2229887) (← links)
- (Q4489081) (← links)
- <i>New Foundations for Imperative Logic I: Logical Connectives, Consistency, and Quantifiers</i>* (Q5275766) (← links)