The following pages link to STRIP (Q16820):
Displaying 13 items.
- The ILTP problem library for intuitionistic logic (Q877897) (← links)
- Contraction-free linear depth sequent calculi for intuitionistic propositional logic with the subformula property and minimal depth counter-models (Q2351164) (← links)
- (Q2703714) (← links)
- (Q3007292) (← links)
- Intuitionistic Decision Procedures Since Gentzen (Q3305556) (← links)
- A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications (Q3647294) (← links)
- Semantic Labelled Tableaux for Propositional BI (Q4444937) (← links)
- (Q4809044) (← links)
- (Q4809045) (← links)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5479292) (← links)
- Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic (Q5505551) (← links)
- (Q5714444) (← links)
- Automated reasoning. 1st international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001. Proceedings (Q5941850) (← links)
