Imogen
From MaRDI portal
Cited in
(21)- ILTP
- STRIP
- Goal-oriented proof-search in natural deduction for intuitionistic propositional logic
- CoLoSS
- fCube
- TABLEAUX
- Cool
- Focused and Synthetic Nested Sequents
- Intuitionistic Decision Procedures Since Gentzen
- JTabWb
- Disproving using the inverse method by iterative refinement of finite approximations
- BDDIntKt
- IntHistGC
- intuit
- JTabWb: a Java framework for implementing terminating sequent and tableau calculi
- An improved BDD method for intuitionistic propositional logic: BDDIntKt system description
- fCube: an efficient prover for intuitionistic propositional logic
- Linking focusing and resolution with selection
- Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method
- Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic
- Logic for programming, artificial intelligence, and reasoning. 15th international conference, LPAR 2008, Doha, Qatar, November 22--27, 2008. Proceedings
This page was built for software: Imogen
