The following pages link to Computer Science Logic (Q5292628):
Displayed 4 items.
- Intermutation (Q421481) (← links)
- Cut elimination inside a deep inference system for classical predicate logic (Q817702) (← links)
- On the Power of Substitution in the Calculus of Structures (Q2946759) (← links)
- Implementation and Evaluation of Contextual Natural Deduction for Minimal Logic (Q3179185) (← links)