David J Pym, Eike Ritter

Reductive Logic and Proof-Search

Proof Theory, Semantics, and Control

• Gebundenes Buch

Produktbeschreibung

Johnstone's "Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2".

---

This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search including proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences.

Produktdetails

• Verlag: Sydney University Press
• Seitenzahl: 232
• Erscheinungstermin: 17. Juni 2004
• Englisch
• Abmessung: 234mm x 156mm x 14mm
• Gewicht: 503g
• ISBN-13: 9780198526339
• ISBN-10: 0198526334
• Artikelnr.: 21770012

Autorenporträt

David J. Pym hold a Royal Society Industry Fellowship at Hewlett-Packard Laboratories, Bristol and the University of Bath.

Inhaltsangabe

Preface
Foreword by Lincoln Wallen
1: Deductive Logic, Reductive Logic, and Proof-search
2: Lambda-calculi for Intuitionistic and Classical Proofs
3: The Semantics of Intuitionistic and Classical Proofs
4: Proof Theory for Reductive Logic
5: Semantics for Reductive Logic
6: Intuitionistic and Classical Proof-search and Their Semantics
References
Index