Pages that link to "Item:Q708929"
From MaRDI portal
The following pages link to A new normalization strategy for the implicational fragment of classical propositional logic (Q708929):
Displayed 3 items.
- An alternative normalization of the implicative fragment of classical logic (Q2352461) (← links)
- How many times do we need an assumption to prove a tautology in minimal logic? Examples on the compression power of classical reasoning (Q2520659) (← links)
- Peirce's Rule in a Full Natural Deduction System (Q5170286) (← links)