Pages that link to "Item:Q5170286"
From MaRDI portal
The following pages link to Peirce's Rule in a Full Natural Deduction System (Q5170286):
Displaying 5 items.
- Normalization and excluded middle. I (Q583185) (← links)
- A new normalization strategy for the implicational fragment of classical propositional logic (Q708929) (← links)
- Classical logic, intuitionistic logic, and the Peirce rule (Q1203786) (← links)
- Peirce's rule in natural deduction. (Q1607223) (← links)
- Correspondence analysis and automated proof-searching for first degree entailment (Q2663794) (← links)