Pages that link to "Item:Q583185"
From MaRDI portal
The following pages link to Normalization and excluded middle. I (Q583185):
Displaying 15 items.
- A new normalization strategy for the implicational fragment of classical propositional logic (Q708929) (← links)
- Peirce's rule in natural deduction. (Q1607223) (← links)
- Normalisation and subformula property for a system of classical logic with Tarski's rule (Q2118171) (← links)
- On the independence of premiss axiom and rule (Q2204366) (← links)
- An alternative normalization of the implicative fragment of classical logic (Q2352461) (← links)
- Full classical S5 in natural deduction with weak normalization (Q2478553) (← links)
- Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited (Q2631646) (← links)
- 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000. La Sorbonne, Paris, France, July 23-31, 2000 (Q2732529) (← links)
- Verificationism and Classical Realizability (Q3305313) (← links)
- Extending the Curry-Howard interpretation to linear, relevant and other resource logics (Q4032664) (← links)
- Propositions in Prepositional Logic Provable Only by Indirect Proofs (Q4379628) (← links)
- Peirce's Rule in a Full Natural Deduction System (Q5170286) (← links)
- Prawitz, Proofs, and Meaning (Q5213604) (← links)
- On Constructive Fragments of Classical Logic (Q5213615) (← links)
- On Normalizing Disjunctive Intermediate Logics (Q5224781) (← links)
