MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  logic

Download:
pdf | ps
by J. A. Harland, D. J. Pym
http://www.cs.rmit.edu.au/~jah/publications/jlc94a.ps.gz
Add To MetaCart

Abstract:

uniform proof-theoretic investigation of linear

Citations

1654 Foundations of Logic Programming – Lloyd - 1984
378 Untersuchungen über das logische Schliessen – Gentzen - 1934
332 Uniform proofs as a foundation for logic programming – Miller, Nadathur, et al. - 1991
293 Logic programming in a fragment of Intuitionistic Linear Logic – Hodas, Miller - 1994
260 Proofs and Types – Girard, Taylor, et al. - 1989
231 Linear objects: logical processes with built-in inheritance – Andreoli, Pareschi - 1991
147 A logical analysis of modules in logic programming – Miller - 1989
93 Automated Deduction in Nonclassical Logics – Wallen - 1990
45 The uniform proof-theoretic foundation of linear logic programming – Harland, Pym - 1991
24 Permutabilities of inferences in Gentzen’s calculi LK and LJ – Kleene - 1952
18 On resolution in fragments of classical linear logic – Harland, Pym - 1992
10 Theorem-Proving via General Matings – Andrews - 1981
7 The permutability of rules in the classical inferential calculus – Curry - 1952
5 Errata and Remarks – Pym - 1993
1 An Algebraic Representation of Logic Program Computations – Corradini, Montanari - 1991
1 Logic and Logic Programming: An Overview – Linear - 1992
View or Download | Add to My Collection | Correct Errors