Pages that link to "Item:Q4933312"
From MaRDI portal
The following pages link to fCube: An Efficient Prover for Intuitionistic Propositional Logic (Q4933312):
Displayed 8 items.
- fCube (Q23329) (← 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)
- Synthesis of modality definitions and a theorem prover for epistemic intuitionistic logic (Q2119125) (← links)
- A non-clausal tableau calculus for \textsc{MinSat} (Q2234795) (← links)
- A tableaux calculus for default intuitionistic logic (Q2305412) (← links)
- An Evaluation-Driven Decision Procedure for G3i (Q2946756) (← links)