The following pages link to (Q4484337):
Displayed 4 items.
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- Machine-Checked Interpolation Theorems for Substructural Logics Using Display Calculi (Q2817943) (← links)
- Craig Interpolation in Displayable Logics (Q3010362) (← links)
- Machine Checking Proof Theory: An Application of Logic to Logic (Q3601798) (← links)