Pages that link to "Item:Q3293391"
From MaRDI portal
The following pages link to The Stroke Function in Natural Deduction (Q3293391):
Displayed 6 items.
- Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective) (Q288247) (← links)
- Minimal complete propositional natural deduction systems (Q1633213) (← links)
- Dung's argumentation is essentially equivalent to classical propositional logic with the Peirce-Quine dagger (Q1941728) (← links)
- Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different (Q2259008) (← links)
- A Brief History of Natural Deduction (Q2757973) (← links)
- Proofs of some axioms by Stroke function (Q5572297) (← links)