Pages that link to "Item:Q3781102"
From MaRDI portal
The following pages link to On cut elimination in the presence of perice rule (Q3781102):
Displaying 10 items.
- A new normalization strategy for the implicational fragment of classical propositional logic (Q708929) (← links)
- Proof compressions with circuit-structured substitutions (Q843604) (← links)
- Bounds for cut elimination in intuitionistic propositional logic (Q1204120) (← links)
- Peirce's rule in natural deduction. (Q1607223) (← links)
- 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)
- 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08 (Q3616431) (← links)
- (Q4250044) (← links)
- Peirce's Rule in a Full Natural Deduction System (Q5170286) (← links)
- On Constructive Fragments of Classical Logic (Q5213615) (← links)
