Imogen
From MaRDI portal
Software:23330
No author found.
Related Items (11)
Disproving Using the Inverse Method by Iterative Refinement of Finite Approximations ⋮ JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi ⋮ Unnamed Item ⋮ Goal-oriented proof-search in natural deduction for intuitionistic propositional logic ⋮ Intuitionistic Decision Procedures Since Gentzen ⋮ Logic for programming, artificial intelligence, and reasoning. 15th international conference, LPAR 2008, Doha, Qatar, November 22--27, 2008. Proceedings ⋮ An Improved BDD Method for Intuitionistic Propositional Logic: BDDIntKt System Description ⋮ fCube: An Efficient Prover for Intuitionistic Propositional Logic ⋮ Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method ⋮ Focused and Synthetic Nested Sequents ⋮ Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic
This page was built for software: Imogen