Focusing the Inverse Method for Linear Logic
- 1 January 2005
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 200-215
- https://doi.org/10.1007/11538363_15
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- A Focusing Inverse Method Theorem Prover for First-Order Linear LogicLecture Notes in Computer Science, 2005
- Locus Solum: From the rules of logic to the logic of rulesMathematical Structures in Computer Science, 2001
- Focussing and proof constructionAnnals of Pure and Applied Logic, 2001
- The Inverse MethodPublished by Elsevier BV ,2001
- Efficient resource management for linear logic proof searchTheoretical Computer Science, 2000
- Resolution, inverse method and the sequent calculusLecture Notes in Computer Science, 1997
- Resource-distribution via Boolean constraintsLecture Notes in Computer Science, 1997
- Resolution calculus for the first order linear logicJournal of Logic, Language and Information, 1993
- Logic Programming with Focusing Proofs in Linear LogicJournal of Logic and Computation, 1992
- Linear logicTheoretical Computer Science, 1987