Pages that link to "Item:Q4610326"
From MaRDI portal
The following pages link to Two loop detection mechanisms: A comparison (Q4610326):
Displaying 6 items.
- Goal-oriented proof-search in natural deduction for intuitionistic propositional logic (Q1725847) (← links)
- Proof theory for positive logic with weak negation (Q2193970) (← links)
- A coinductive approach to proof search through typed lambda-calculi (Q2231698) (← links)
- Contraction-free linear depth sequent calculi for intuitionistic propositional logic with the subformula property and minimal depth counter-models (Q2351164) (← links)
- A unified procedure for provability and counter-model generation in minimal implicational logic (Q2397231) (← links)
- Intuitionistic Decision Procedures Since Gentzen (Q3305556) (← links)
