Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method
- 1 January 2009
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- A Logical Characterization of Forward and Backward Chaining in the Inverse MethodJournal of Automated Reasoning, 2008
- Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional LogicLecture Notes in Computer Science, 2008
- Focusing and Polarization in Intuitionistic LogicLecture Notes in Computer Science, 2007
- The ILTP Problem Library for Intuitionistic LogicJournal of Automated Reasoning, 2007
- Focusing the Inverse Method for Linear LogicLecture Notes in Computer Science, 2005
- Focussing and proof constructionAnnals of Pure and Applied Logic, 2001
- The Inverse MethodPublished by Elsevier BV ,2001
- System Description: Twelf — A Meta-Logical Framework for Deductive SystemsLecture Notes in Computer Science, 1999
- A resolution theorem prover for intuitionistic logicLecture Notes in Computer Science, 1996
- Logic Programming with Focusing Proofs in Linear LogicJournal of Logic and Computation, 1992