Pages that link to "Item:Q2890695"
From MaRDI portal
The following pages link to VALENTINI’S CUT-ELIMINATION FOR PROVABILITY LOGIC RESOLVED (Q2890695):
Displaying 7 items.
- Formalized meta-theory of sequent calculi for substructural logics (Q1744443) (← links)
- Sequent calculi for intuitionistic Gödel-Löb logic (Q1982008) (← links)
- Cut-elimination for provability logic by terminating proof-search: formalised and deconstructed using Coq (Q2142084) (← links)
- A proof theory for the logic of provability in true arithmetic (Q2193977) (← links)
- Circular proofs for the Gödel-Löb provability logic (Q2343897) (← links)
- Formalized meta-theory of sequent calculi for linear logics (Q2424887) (← links)
- (Q5119390) (← links)
