The following pages link to (Q3086775):
Displaying 5 items.
- Cut elimination for GLS using the terminability of its regress process (Q288243) (← links)
- Cut-elimination for \(\omega_{1}\) (Q1799034) (← links)
- Cut-elimination for quantified conditional logic (Q2363418) (← links)
- Sufficient conditions for cut elimination with complexity analysis (Q2461191) (← links)
- Cut-Elimination for SBL (Q5013907) (← links)