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

＜図書＞
Reductive logic and proof-search : proof theory, semantics, and control

責任表示	David J. Pym and Eike Ritter
シリーズ	Oxford logic guides ; 45
データ種別	図書
出版情報	Oxford : Clarendon Press New York : Oxford University Press , 2004
本文言語	英語
大きさ	xv, 208 p. : ill. ; 24 cm
概要	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-searc.... 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. Annotation ©2004 Book News, Inc., Portland, OR (booknews.com) 続きを見る

状態	巻次	所蔵場所	請求記号	刷年	文庫名称	資料番号	コメント	予約・取寄	複写申込	自動書庫
		理系図3F 数理独自	PYM,/10/1	2004		023212005003847		予約・取寄			予約・取寄

一般注記	Includes bibliographical references (p. [197]-204) and index
著者標目	*Pym, David J. Ritter, Eike
書誌ID	1001241008
ISBN	0198526334
NCID	BA68255980
巻冊次	: hbk ; ISBN:0198526334
登録日	2009.09.18
更新日	2009.11.02