The following pages link to (Q4636039):
Displaying 5 items.
- Logics for multi-subset spaces (Q2901196) (← links)
- From the subformula property to cut-admissibility in propositional sequent calculi (Q4612444) (← links)
- A cut-free sequent calculus for the logic of constant domains with a limited amount of duplications (Q4934883) (← links)
- Free Definite Description Theory – Sequent Calculi and Cut Elimination (Q5006839) (← links)
- A multi-labelled sequent calculus for Topo-Logic (Q5112652) (← links)