Pages that link to "Item:Q4933310"
From MaRDI portal
The following pages link to Generic Methods for Formalising Sequent Calculi Applied to Provability Logic (Q4933310):
Displayed 5 items.
- Formalized meta-theory of sequent calculi for substructural logics (Q1744443) (← links)
- Mechanizing focused linear logic in Coq (Q2333326) (← links)
- Formalized meta-theory of sequent calculi for linear logics (Q2424887) (← links)
- Machine-Checked Interpolation Theorems for Substructural Logics Using Display Calculi (Q2817943) (← links)
- Machine-Checked Proof-Theory for Propositional Modal Logics (Q3305555) (← links)