Home page
Software
-
intuitR:
an efficient SAT-based theorem prover for Intuitionistic Propostional Logic (CADE 2021).
- A prover to generate minimal contermodels in Intuitionistic Propositional logic.
See the paper:
Camillo Fiorentini.
An ASP approach to Generate Minimal Countermodels in Intuitionistic Propositional Logic. IJCAI 2019.
- JTabwb:
a Java framework for developing provers.
- Some
intuitionistic provers
- The prover
GS4
for modal logic S4. See the paper:
C. Fiorentini. Terminating sequent calculi for proving and refuting formulas in S4. Journal of Logic and Computation, vol 25(1), pp. 179-205, 2015.