Pages that link to "Item:Q4579958"
From MaRDI portal
The following pages link to Hypersequents and Systems of Rules (Q4579958):
Displaying 7 items.
- On the concurrent computational content of intermediate logics (Q1989344) (← links)
- From axioms to synthetic inference rules via focusing (Q2120974) (← links)
- Two types of multiple-conclusion systems (Q4221770) (← links)
- (Q4636285) (← links)
- Grafting hypersequents onto nested sequents (Q4644546) (← links)
- Embedding the hypersequent calculus in the display calculus (Q5262490) (← links)
- Some analytic systems of rules (Q6541146) (← links)