Pages that link to "Item:Q1694471"
From MaRDI portal
The following pages link to A cut-free cyclic proof system for Kleene algebra (Q1694471):
Displaying 10 items.
- Non-well-founded deduction for induction and coinduction (Q2055840) (← links)
- Cyclic proofs, hypersequents, and transitive closure logic (Q2104539) (← links)
- Loop-check specification for a sequent calculus of temporal logic (Q2106881) (← links)
- Uniform interpolation from cyclic proofs: the case of modal mu-calculus (Q2142087) (← links)
- Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent (Q5079741) (← links)
- (Q5079743) (← links)
- (Q5090950) (← links)
- (Q5208872) (← links)
- Cyclic hypersequent system for transitive closure logic (Q6050767) (← links)
- Cyclic implicit complexity (Q6649449) (← links)
