Logic Programming with Focusing Proofs in Linear Logic (1992) [220 citations — 7 self]
by
Jean-marc Andreoli
Journal of Logic and Computation
Add To MetaCart
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@ARTICLE{Andreoli92logicprogramming,
author = {Jean-marc Andreoli},
title = {Logic Programming with Focusing Proofs in Linear Logic},
journal = {Journal of Logic and Computation},
year = {1992},
volume = {2},
pages = {297--347}
}
author = {Jean-marc Andreoli},
title = {Logic Programming with Focusing Proofs in Linear Logic},
journal = {Journal of Logic and Computation},
year = {1992},
volume = {2},
pages = {297--347}
}
Years of Citing Articles
Bookmarks
OpenURL
Abstract:
The deep symmetry of Linear Logic [18] makes it suitable for providing abstract models of computation, free from implementation details which are, by nature, oriented and non symmetrical. I propose here one such model, in the area of Logic Programming, where the basic computational principle is Computation = Proof search.
