Pages that link to "Item:Q3647294"
From MaRDI portal
The following pages link to A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications (Q3647294):
Displayed 3 items.
- A tableaux calculus for default intuitionistic logic (Q2305412) (← links)
- Contraction-free linear depth sequent calculi for intuitionistic propositional logic with the subformula property and minimal depth counter-models (Q2351164) (← links)
- An Evaluation-Driven Decision Procedure for G3i (Q2946756) (← links)