fCube
From MaRDI portal
Software:23329
No author found.
Related Items (9)
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 ⋮ Goal-oriented proof-search in natural deduction for intuitionistic propositional logic ⋮ A non-clausal tableau calculus for \textsc{MinSat} ⋮ An Improved BDD Method for Intuitionistic Propositional Logic: BDDIntKt System Description ⋮ A tableaux calculus for default intuitionistic logic ⋮ SAT-based proof search in intermediate propositional logics ⋮ Synthesis of modality definitions and a theorem prover for epistemic intuitionistic logic
This page was built for software: fCube
