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

Main
Society, Politics & Philosophy - Social Sciences
Reductive Logic and Proof-Search: Proof...

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

Name: Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control
ISBN: 9780198526339

David J. Pym, Eike Ritter

0 / 0

0 comments

Bạn thích cuốn sách này tới mức nào?

Chất lượng của file scan thế nào?

Xin download sách để đánh giá chất lượng sách

Chất lượng của file tải xuống thế nào?

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.

Thể loại:

Society, Politics & Philosophy - Social Sciences

Năm:

2004

Nhà xuát bản:

Oxford University Press, USA

Ngôn ngữ:

english

Trang:

227

ISBN 10:

0198526334