Logic Programming in a Fragment of Intuitionistic Linear Logic

  title={Logic Programming in a Fragment of Intuitionistic Linear Logic},
  author={Joshua S. Hodas and Dale Miller},
Logic programming languages based on fragments of intuitionistic logic have recently been developed and studied by several researchers. In such languages, implications are permitted in goals and in the bodies of clauses. Attempting to prove a goal of the form D ⊃ G in a context τ leads to an attempt to prove the goal G in the extended context τ ∪{D}. While an intuitionistic notion of context has many uses, it has turned out to be either too powerful or too limiting in several settings. We… CONTINUE READING
Highly Influential
This paper has highly influenced 56 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
326 Citations
48 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 326 extracted citations

Similar Papers

Loading similar papers…