Pages that link to "Item:Q5436992"
From MaRDI portal
The following pages link to Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs (Q5436992):
Displaying 6 items.
- Algorithmic introduction of quantified cuts (Q402115) (← links)
- The problem of \(\Pi_{2}\)-cut-introduction (Q1680562) (← links)
- Physics and proof theory (Q2249005) (← links)
- On the generation of quantified lemmas (Q2417949) (← links)
- The Taming of the Cut. Classical Refutations with Analytic Cut (Q4304496) (← links)
- (Q4524785) (← links)