東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

The functional interpretation of log...

Queiroz, Ruy J. G. B. de.{me_controlnum}

FindBook

Google Book

Amazon

博客來

The functional interpretation of logical deduction

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	The functional interpretation of logical deduction/ Ruy J. G. B. de Queiroz, Anjolina G. de Oliveira, Dov M. Gabbay.
作者:	Queiroz, Ruy J. G. B. de.{me_controlnum}
其他作者:	Oliveira, Anjolina G. de.
出版者:	Singapore ;World Scientific Pub. Co., : c2012.,
面頁冊數:	xxxii, 266 p.
標題:	Logic. -
電子資源:	http://www.worldscientific.com/worldscibooks/10.1142/8215#t=toc
ISBN:	9789814360968 (electronic bk.)

The functional interpretation of logical deduction
Queiroz, Ruy J. G. B. de.{me_controlnum}

The functional interpretation of logical deduction[electronic resource] /Ruy J. G. B. de Queiroz, Anjolina G. de Oliveira, Dov M. Gabbay. - Singapore ;World Scientific Pub. Co.,c2012. - xxxii, 266 p. - Advances in logic ;v. 5. - Advances in logic ;v. 5..

Includes bibliographical references (p. 253-264) and index.

This comprehensive book provides an adequate framework to establish various calculi of logical inference. Being an 'enriched' system of natural deduction, it helps to formulate logical calculi in an operational manner. By uncovering a certain harmony between a functional calculus on the labels and a logical calculus on the formulas, it allows mathematical foundations for systems of logic presentation designed to handle meta-level features at the object-level via a labelling mechanism, such as the D Gabbay's Labelled Deductive Systems. The book truly demonstrates that introducing 'labels' is useful to understand the proof-calculus itself, and also to clarify its connections with model-theoretic interpretations.

Electronic reproduction.
Singapore :
World Scientific Publishing Co.,
2012.

System requirements: Adobe Acrobat Reader.

ISBN: 9789814360968 (electronic bk.)Subjects--Topical Terms:

529544
Logic.

LC Class. No.: QA9

Dewey Class. No.: 511.3

The functional interpretation of logical deduction
LDR:01845nmm a2200289 a 4500 001 1295117
003 WSP
005 20120208110825.0
006 m d
007 cr cuu|||uu|||
008 121114s2012 si sb 001 0 eng d
020 $a 9789814360968 (electronic bk.)
020 $z 9814360953
020 $z 9789814360951
035 $a 00002568
040 $a WSPC $b eng $c WSPC
050 4 $a QA9
082 0 4 $a 511.3 $2 22
100 1 $a Queiroz, Ruy J. G. B. de.{me_controlnum} $3 1573086
245 1 4 $a The functional interpretation of logical deduction $h [electronic resource] / $c Ruy J. G. B. de Queiroz, Anjolina G. de Oliveira, Dov M. Gabbay.
260 $a Singapore ; $a Hackensack, N.J. : $b World Scientific Pub. Co., $c c2012.
300 $a xxxii, 266 p.
490 1 $a Advances in logic ; $v v. 5
504 $a Includes bibliographical references (p. 253-264) and index.
520 $a This comprehensive book provides an adequate framework to establish various calculi of logical inference. Being an 'enriched' system of natural deduction, it helps to formulate logical calculi in an operational manner. By uncovering a certain harmony between a functional calculus on the labels and a logical calculus on the formulas, it allows mathematical foundations for systems of logic presentation designed to handle meta-level features at the object-level via a labelling mechanism, such as the D Gabbay's Labelled Deductive Systems. The book truly demonstrates that introducing 'labels' is useful to understand the proof-calculus itself, and also to clarify its connections with model-theoretic interpretations.
533 $a Electronic reproduction. $b Singapore : $c World Scientific Publishing Co., $d 2012. $n System requirements: Adobe Acrobat Reader. $n Mode of access: World Wide Web. $n Available to subscribing institutions.
650 0 $a Logic. $3 529544
650 0 $a Modality (Logic) $3 657521
700 1 $a Oliveira, Anjolina G. de. $3 1573087
700 1 $a Gabbay, Dov M., $d 1945- $3 665173
710 2 $a World Scientific (Firm) $3 560950
776 1 $z 9814360953
776 1 $z 9789814360951
830 0 $a Advances in logic ; $v v. 5. $3 1573088
856 4 0 $u http://www.worldscientific.com/worldscibooks/10.1142/8215#t=toc