Pages that link to "Item:Q583185"
From MaRDI portal
The following pages link to Normalization and excluded middle. I (Q583185):
Displayed 6 items.
- A new normalization strategy for the implicational fragment of classical propositional logic (Q708929) (← links)
- An alternative normalization of the implicative fragment of classical logic (Q2352461) (← links)
- Full classical S5 in natural deduction with weak normalization (Q2478553) (← links)
- 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000 (Q2732529) (← links)
- Extending the Curry-Howard interpretation to linear, relevant and other resource logics (Q4032664) (← links)
- Peirce's Rule in a Full Natural Deduction System (Q5170286) (← links)