Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control

✍ Scribed by David J. Pym, Eike Ritter

Publisher: Oxford University Press, USA
Year: 2004
Tongue: English
Leaves: 227
Series: Oxford Logic Guides, 45
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

Drawing somewhat on the techniques and culture of philosophy, but mostly on those of mathematics and computing, Pyn (U. of Bath) and Ritter (U. of Birmingham) introduce reductive logic and proof-search. They argue that the reductive view of logic is at least as fundamental as the deductive view; identify some of the problems that must be addressed in order to provide a semantics of proof-searches of comparable value to the corresponding semantics of proof; and explain how to solve these problems in intuitionistic logic, which adequately models not only the logical but also the operational aspects of the reductive system. Most of the chapters have been published separately.

📜 SIMILAR VOLUMES

Reductive logic and proof-search: Proof

📁 Reductive logic and proof-search: Proof theory, semantics, and control

✍ David J. Pym, Eike Ritter 📂 Library 📅 2004 🏛 Clarendon Press 🌐 English

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 m

Logic Programming: Operational Semantics

📁 Logic Programming: Operational Semantics and Proof Theory

✍ James H. Andrews 📂 Library 📅 1993 🏛 Cambridge University Press 🌐 English

Dr Andrews here provides a homogeneous treatment of the semantics (operational and logical) of both theoretical and practical logic programming languages. He shows how the rift between theory and practice in logic programming can be bridged. This is achieved by precisely characterizing the way in wh

Logic Programming: Operational Semantics

📁 Logic Programming: Operational Semantics and Proof Theory

✍ James H. Andrews 📂 Library 📅 1992 🏛 Cambridge University Press 🌐 English

Symbolic Logic: Syntax, Semantics, and P

📁 Symbolic Logic: Syntax, Semantics, and Proof

✍ David Agler 📂 Library 📅 2012 🏛 Rowman & Littlefield Publishers 🌐 English

Brimming with visual examples of concepts, derivation rules, and proof strategies, this introductory text is ideal for students with no previous experience in logic. Symbolic Logic: Syntax, Semantics, and Proof introduces student

Symbolic Logic: Syntax, Semantics, and P

📁 Symbolic Logic: Syntax, Semantics, and Proof

✍ David Agler 📂 Library 📅 2012 🏛 Rowman & Littlefield Publishers 🌐 English

The Semantics and Proof Theory of the Lo

📁 The Semantics and Proof Theory of the Logic of Bunched Implications

✍ David J. Pym 📂 Library 📅 2002 🏛 Springer Netherlands 🌐 English

This is a monograph about logic. Specifically, it presents the mathe matical theory of the logic of bunched implications, BI: I consider Bl's proof theory, model theory and computation theory. However, the mono graph is also about informatics in a sense which I explain. Specifically, it is abou