Pages that link to "Item:Q2873670"
From MaRDI portal
The following pages link to Admissibility of cut in coalgebraic logics (Q2873670):
Displaying 7 items.
- Proof systems for Moss' coalgebraic logic (Q402120) (← links)
- Cut elimination in coalgebraic logics (Q618171) (← links)
- Hybrid logic with the difference modality for generalisations of graphs (Q631090) (← links)
- Is cut-free logic fit for unrestricted abstraction? (Q2131274) (← links)
- Admissibility and Unifiability in Contact Logics (Q3455182) (← links)
- On Constructive Cut Admissibility in Deduction Modulo (Q3612434) (← links)
- Coalgebraic Hybrid Logic (Q3617726) (← links)