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
• A non-clausal tableau calculus for \textsc{MinSat}
• Synthesis of modality definitions and a theorem prover for epistemic intuitionistic logic
• A History-Based Theorem Prover for Intuitionistic Propositional Logic Using Global Caching: IntHistGC System Description
• An Evaluation-Driven Decision Procedure for G3i
• JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi
• An Improved BDD Method for Intuitionistic Propositional Logic: BDDIntKt System Description
• SAT-based proof search in intermediate propositional logics
• A tableaux calculus for default intuitionistic logic

This page was built for software: fCube