swMATH11383MaRDI QIDQ23329FDOQ23329
Author name not available (Why is that?)
Official website: http://www2.disco.unimib.it/fiorino/fcube.html
Cited In (18)
- 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
- ILTP
- CoLoSS
- Imogen
- Cool
- JTabWb
- BDDIntKt
- IntHistGC
- DeReS
- intuit
- 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
