Pages that link to "Item:Q3192197"
From MaRDI portal
The following pages link to A History-Based Theorem Prover for Intuitionistic Propositional Logic Using Global Caching: IntHistGC System Description (Q3192197):
Displayed 6 items.
- IntHistGC (Q35988) (← links)
- Goal-oriented proof-search in natural deduction for intuitionistic propositional logic (Q1725847) (← links)
- Efficient SAT-based proof search in intuitionistic propositional logic (Q2055856) (← links)
- SAT-based proof search in intermediate propositional logics (Q2104497) (← links)
- A tableaux calculus for default intuitionistic logic (Q2305412) (← links)
- Intuitionistic Decision Procedures Since Gentzen (Q3305556) (← links)