The following pages link to (Q5224582):
Displaying 7 items.
- Multicomponent proof-theoretic method for proving interpolation properties (Q1799040) (← links)
- Uniform interpolation via nested sequents (Q2148805) (← links)
- Craig interpolation for semilinear substructural logics (Q3144874) (← links)
- Through an Inference Rule, Darkly (Q3305631) (← links)
- Linear Nested Sequents, 2-Sequents and Hypersequents (Q3455766) (← links)
- CUT-FREE COMPLETENESS FOR MODULAR HYPERSEQUENT CALCULI FOR MODAL LOGICS K, T, AND D (Q5027667) (← links)
- Extensions of \textsf{K5}: proof theory and uniform Lyndon interpolation (Q6541157) (← links)