The following pages link to Analytic cut (Q5570912):
Displaying 9 items.
- A framework for proof systems (Q707742) (← links)
- Are tableaux an improvement on truth-tables? Cut-free proofs and bivalence (Q1314288) (← links)
- Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic'' (Q1942090) (← links)
- Jean van Heijenoort's contributions to proof theory and its history (Q1942094) (← links)
- Eight inference rules for implication (Q2323641) (← links)
- Focusing in Linear Meta-logic (Q3541726) (← links)
- XI Latin American Symposium on Mathematical Logic (Q4946844) (← links)
- BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS (Q5159492) (← links)
- Eight rules for implication elimination (Q6612871) (← links)
