The following pages link to fCube (Q23329):
Displaying 9 items.
- Goal-oriented proof-search in natural deduction for intuitionistic propositional logic (Q1725847) (← 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)
- A History-Based Theorem Prover for Intuitionistic Propositional Logic Using Global Caching: IntHistGC System Description (Q3192197) (← links)
- JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi (Q4589603) (← links)
- An Improved BDD Method for Intuitionistic Propositional Logic: BDDIntKt System Description (Q4928444) (← links)