Pages that link to "Item:Q5159492"
From MaRDI portal
The following pages link to BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS (Q5159492):
Displaying 5 items.
- A simple sequent calculus for Angell's logic of analytic containment (Q1685482) (← links)
- SAT-based proof search in intermediate propositional logics (Q2104497) (← links)
- A globally sound analytic calculus for Henkin quantifiers (Q2177584) (← links)
- (Q4412860) (← links)
- Hypersequents and Systems of Rules (Q4579958) (← links)
