fCube

swMATH11383MaRDI QIDQ23329FDOQ23329

Author name not available (Why is that?)

Described by source

• fCube: an efficient prover for intuitionistic propositional logic

Cited In (9)

• Goal-oriented proof-search in natural deduction for intuitionistic propositional logic
• An evaluation-driven decision procedure for G3i
• A non-clausal tableau calculus for \textsc{MinSat}
• Synthesis of modality definitions and a theorem prover for epistemic intuitionistic logic
• SAT-based proof search in intermediate propositional logics
• A tableaux calculus for default intuitionistic logic
• An improved BDD method for intuitionistic propositional logic: BDDIntKt system description
• A history-based theorem prover for intuitionistic propositional logic using global caching: IntHistGC system description
• JTabWb: a Java framework for implementing terminating sequent and tableau calculi

This page was built for software: fCube