A Proof-Theoretic Analysis of Goal-Directed Provability (1992)

Cached

Download Links

by James Harland
Venue:Journal of Logic and Computation
Citations:14 - 7 self

Documents Related by Co-Citation

333 Logic Programming with Focusing Proofs in Linear Logic – Jean-marc Andreoli - 1992
69 A Uniform Proof-Theoretic Investigation Of Linear Logic Programming – J.A. Harland, D. J. Pym - 1994
306 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
374 Uniform proofs as a foundation for logic programming – Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov - 1991
40 Programming in Lygon: An Overview – James Harland, David Pym, Michael Winikoff - 1996
6 On proof normalisation – D Galmiche, G Perrier - 1994
46 ACL - A Concurrent Linear Logic Programming Paradigm – Naoki Kobayashi, Akinori Yonezawa - 1993
91 Proof-nets: The parallel syntax for proof-theory – Jean-yves Girard - 1996
565 Untersuchungen ├╝ber das logische Schlie├čen – G Gentzen - 1935
205 Linear Objects: logical processes with built-in inheritance – Jean-Marc Andreoli, Remo Pareschi - 1990
131 Contraction-free sequent calculi for intuitionistic logic – R Dyckhoff - 1992
27 Proof Search in First-order Linear Logic and Other Cut-free Sequent Calculi – P.D. Lincoln, N. Shankar - 1994
262 Investigations into logical deduction – G Gentzen - 1969
10 Proof search strategies in linear logic – T Tammet - 1994
176 An overview of -prolog – D Miller, G Nadathur - 1988
20 Foundations of Proof Search Strategies Design in Linear Logic – D. Galmiche, G. Perrier - 1994
67 From Petri Nets to Linear Logic – N Marti-Oliet, J Meseguer - 1991
7 Uniform Provability in Classical Logic – Gopalan Nadathur - 1996
161 logic: its syntax and semantics – Jean-yves Girard - 1995