Pages that link to "Item:Q2946662"
From MaRDI portal
The following pages link to Simplification Rules for Intuitionistic Propositional Tableaux (Q2946662):
Displayed 5 items.
- Goal-oriented proof-search in natural deduction for intuitionistic propositional logic (Q1725847) (← links)
- Efficient SAT-based proof search in intuitionistic propositional logic (Q2055856) (← links)
- A non-clausal tableau calculus for \textsc{MinSat} (Q2234795) (← links)
- An Evaluation-Driven Decision Procedure for G3i (Q2946756) (← links)
- Intuitionistic Decision Procedures Since Gentzen (Q3305556) (← links)