Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic
- 1 January 2008
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Focusing and Polarization in Intuitionistic LogicLecture Notes in Computer Science, 2007
- A Logical Characterization of Forward and Backward Chaining in the Inverse MethodLecture Notes in Computer Science, 2006
- Focusing the Inverse Method for Linear LogicLecture Notes in Computer Science, 2005
- Games semantics for full propositional linear logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- lolliCoP — A Linear Logic Implementation of a Lean Connection-Method Theorem Prover for First-Order Classical LogicLecture Notes in Computer Science, 2001
- Focussing and proof constructionAnnals of Pure and Applied Logic, 2001
- The Inverse MethodPublished by Elsevier BV ,2001
- A framework for defining logicsJournal of the ACM, 1993
- Contraction-free sequent calculi for intuitionistic logicThe Journal of Symbolic Logic, 1992
- Logic Programming with Focusing Proofs in Linear LogicJournal of Logic and Computation, 1992