- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
The Uniform Proof-Theoretic Foundation of Linear Logic Programming
LFCS, Department of Computer Science, University of Edinburgh (1991)
Abstract
This article has no associated abstract. (fix it)Author's Profile
My notes
Similar books and articles
A proof-theoretic framework for logic programming.Gerhard Jäger & Robert F. Stärk - 1998 - In Samuel R. Buss (ed.), Handbook of proof theory. New York: Elsevier. pp. 639--682.
Uniform proofs as a foundation for logic programming.Dale Miller, Gopalan Nadathur, Frank Pfenning & Andre Scedrov - 1991 - Annals of Pure and Applied Logic 51 (1-2):125-157.
Reciprocal Influences Between Proof Theory and Logic Programming.Dale Miller - 2019 - Philosophy and Technology 34 (1):75-104.
Pym David J. and Ritter Eike. Reductive logic and proof-search—Proof theory, semantics, and control. Oxford Logic Guides, vol. 45. Oxford Science Publications, 2004, 208 pp. [REVIEW]Didier Galmiche - 2006 - Bulletin of Symbolic Logic 12 (2):302-304.
Logic Programming: Operational Semantics and Proof Theory.James H. Andrews - 1992 - Cambridge University Press.
A proof-theoretic treatment of λ-reduction with cut-elimination: λ-calculus as a logic programming language.Michael Gabbay - 2011 - Journal of Symbolic Logic 76 (2):673 - 699.
Logic Program Synthesis Via Proof Planning.Ina Kraan, David A. Basin & Alan Bundy - 1992 - Department of Artificial Intelligence, University of Edinburgh.
Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic.Alexander V. Gheorghiu & David J. Pym - 2023 - Bulletin of the Section of Logic 52 (2):239-266.
Logic Programming Via Proof-Valued Computations.David J. Pym & Lincoln A. Wallen - 1992 - LFCS, Department of Computer Science, University of Edinburgh.
Analytics
Added to PP
2015-02-03
Downloads
0
6 months
0
2015-02-03
Downloads
0
6 months
0
Historical graph of downloads
Sorry, there are not enough data points to plot this chart.
Author's Profile
Citations of this work
Algorithmic proof methods and cut elimination for implicational logics part I: Modal implication.Dov M. Gabbay & Nicola Olivetti - 1998 - Studia Logica 61 (2):237-280.
Reciprocal Influences Between Proof Theory and Logic Programming.Dale Miller - 2019 - Philosophy and Technology 34 (1):75-104.
Resolution calculus for the first order linear logic.Grigori Mints - 1993 - Journal of Logic, Language and Information 2 (1):59-83.
Łukasiewicz Logic: From Proof Systems To Logic Programming.George Metcalfe, Nicola Olivetti & Dov Gabbay - 2005 - Logic Journal of the IGPL 13 (5):561-585.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-68866f4b87-sz9d2 uwo