The following pages link to Minimal from classical proofs (Q1946677):
Displaying 9 items.
- Glivenko sequent classes in the light of structural proof theory (Q283115) (← links)
- Algebraic proofs of cut elimination (Q1349247) (← links)
- Eliminating disjunctions by disjunction elimination (Q1688959) (← 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)
- Embedding classical in minimal implicational logic (Q2793912) (← links)
- (Q4725777) (← links)
- (Q4855730) (← links)
- ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION (Q5363372) (← links)
- Glivenko sequent classes and constructive cut elimination in geometric logics (Q6103506) (← links)