The following pages link to (Q4636050):
Displayed 8 items.
- Cyclic proofs, hypersequents, and transitive closure logic (Q2104539) (← links)
- From axioms to synthetic inference rules via focusing (Q2120974) (← links)
- From QBFs to \textsf{MALL} and back via focussing (Q2209553) (← links)
- Focused proof-search in the logic of bunched implications (Q2233409) (← links)
- Proof checking and logic programming (Q2628296) (← links)
- (Q5015283) (← links)
- A general proof certification framework for modal logic (Q5236558) (← links)
- Cyclic hypersequent system for transitive closure logic (Q6050767) (← links)