Pages that link to "Item:Q5216979"

The following pages link to CUT ELIMINATION IN HYPERSEQUENT CALCULUS FOR SOME LOGICS OF LINEAR TIME (Q5216979):

Displayed 3 items.

• Free logics are cut-free (Q2243550) ‎ (← links)
• Free Definite Description Theory – Sequent Calculi and Cut Elimination (Q5006839) ‎ (← links)
• CUT-FREE COMPLETENESS FOR MODULAR HYPERSEQUENT CALCULI FOR MODAL LOGICS K, T, AND D (Q5027667) ‎ (← links)