國立高雄大學圖資館 |

語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

回首頁 到查詢結果 [ subject:"Logic." ]

切換: 標籤 | MARC模式 | ISBD

The functional interpretation of log...

Gabbay, Dov M., (1945-)

The functional interpretation of logical deduction

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	The functional interpretation of logical deductionRuy J. G. B. de Queiroz, Anjolina G. de Oliveira, Dov M. Gabbay.
作者:	Queiroz, Ruy J. G. B. de.
其他作者:	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.

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:

180785
Logic.

LC Class. No.: QA9

Dewey Class. No.: 511.3

The functional interpretation of logical deduction
LDR:01845nmm a2200289 a 4500 001 345384
003 WSP
005 20120208110825.0
006 m d
007 cr cuu|||uu|||
008 121106s2012 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. $3 345210
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 180785
650 0 $a Modality (Logic) $3 268215
700 1 $a Oliveira, Anjolina G. de. $3 575270
700 1 $a Gabbay, Dov M., $d 1945- $3 200897
710 2 $a World Scientific (Firm) $3 575130
776 1 $z 9814360953
776 1 $z 9789814360951
830 0 $a Advances in logic ; $v v. 5. $3 575271
856 4 0 $u http://www.worldscientific.com/worldscibooks/10.1142/8215#t=toc