Proof Theory and Logic Programming

Computation as Proof Search

Inbunden, Engelska, 2025

AvDale Miller,Dale (INRIA Saclay-Ile-de-France) Miller

989 kr

Beställningsvara. Skickas inom 7-10 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

This book offers a principled view of programming, showing how computation arises from logic. It explores different logical and proof-theoretic systems as foundations for programming, providing a deeper understanding for readers interested in the theoretical underpinnings of computation and the logic programming paradigm.

Produktinformation

Utgivningsdatum2025-12-18
Mått220 x 20 x 160 mm
Vikt665 g
FormatInbunden
SpråkEngelska
Antal sidor334
FörlagCambridge University Press
ISBN9781009561297

Tillhör följande kategorier

Dale Miller is Director of Research at INRIA Saclay-Île-de-France. He has been a professor at the University of Pennsylvania, Pennsylvania State University, and the École Polytechnique in France. He served as Editor-in-Chief of the 'ACM Transactions on Computational Logic' and has received an ERC Advanced Investigators Grant, the LICS Test-of-Time Award (twice), and the Dov Gabbay Prize for Logic and Foundations. He is an ACM Fellow.

Preface; 1. Introduction; 2. Terms, formulas, and sequents; 3. Sequent calculus proof rules; 4. Classical and intuitionistic logics; 5. Two abstract logic programming languages; 6. Linear logic; 7. Formal properties of linear logic focused proofs; 8. Linear logic programming; 9. Higher-order quantification; 10. Specifying computations using multisets; 11. Collection analysis for Horn clauses; 12. Encoding security pro; 13. Formalizing operational semantics; Solutions to selected exercises; References; Index.

'An excellent exposition of proof search as a vehicle for realizing computations that, in the process, provides a novel view of structural proof theory through the prism of logic programming. Another strength is the presentation of linear logic and its use in modelling computational systems. Ideal for a graduate-level course on logic and its role in specification and programming.' Gopalan Nadathur, University of Minnesota

Mer från samma författare

John Stuart Mill and the Art of Life

EGGLESTON ET AL, Eggleston Et Al, Ben Eggleston, Dale Miller, David Weinstein, Dale E. Miller, University of Kansas) Eggleston, Ben (Professor of Philosophy, Professor of Philosophy, Old Dominion University) Miller, Dale E. (Professor of Philosophy, Professor of Philosophy, Wake Forest University) Weinstein, David (Professor of Political Science, Professor of Political Science

Inbunden

1 809 kr