國立高雄大學圖資館 |

語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Proof theory and algebra in logic

Ono, Hiroakira.

Proof theory and algebra in logic

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Proof theory and algebra in logicby Hiroakira Ono.
作者:	Ono, Hiroakira.
出版者:	Singapore :Springer Singapore :2019.
面頁冊數:	viii, 160 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
標題:	Proof theory.
電子資源:	https://doi.org/10.1007/978-981-13-7997-0
ISBN:	9789811379970$q(electronic bk.)

Proof theory and algebra in logic
Ono, Hiroakira.

Proof theory and algebra in logic[electronic resource] /by Hiroakira Ono. - Singapore :Springer Singapore :2019. - viii, 160 p. :ill., digital ;24 cm. - Short textbooks in logic,2522-5480. - Short textbooks in logic..

Introduction -- Part I Proof Theory -- Sequent systems -- Cut elimination for sequent systems -- Proof-theoretic analysis of logical properties -- Modal and substructural logics -- Deducibility and axiomatic extensions -- Part II Algebra in Logic -- Boolean algebras and classical logic -- Many-valued algebras -- Heyting algebras and intuitionistic logic -- Logics and varieties -- Residuated structures -- Modal algebras -- References -- Index.

This book offers a concise introduction to both proof-theory and algebraic methods, the core of the syntactic and semantic study of logic respectively. The importance of combining these two has been increasingly recognized in recent years. It highlights the contrasts between the deep, concrete results using the former and the general, abstract ones using the latter. Covering modal logics, many-valued logics, superintuitionistic and substructural logics, together with their algebraic semantics, the book also provides an introduction to nonclassical logic for undergraduate or graduate level courses. The book is divided into two parts: Proof Theory in Part I and Algebra in Logic in Part II. Part I presents sequent systems and discusses cut elimination and its applications in detail. It also provides simplified proof of cut elimination, making the topic more accessible. The last chapter of Part I is devoted to clarification of the classes of logics that are discussed in the second part. Part II focuses on algebraic semantics for these logics. At the same time, it is a gentle introduction to the basics of algebraic logic and universal algebra with many examples of their applications in logic. Part II can be read independently of Part I, with only minimum knowledge required, and as such is suitable as a textbook for short introductory courses on algebra in logic.

ISBN: 9789811379970$q(electronic bk.)

Standard No.: 10.1007/978-981-13-7997-0doiSubjects--Topical Terms:

190840
Proof theory.

LC Class. No.: QA9.54 / .O564 2019

Dewey Class. No.: 511.3

Proof theory and algebra in logic
LDR:02828nmm a2200337 a 4500 001 564100
003 DE-He213
005 20191213173126.0
006 m d
007 cr nn 008maaau
008 200311s2019 si s 0 eng d
020 $a 9789811379970$q(electronic bk.)
020 $a 9789811379963$q(paper)
024 7 $a 10.1007/978-981-13-7997-0 $2 doi
035 $a 978-981-13-7997-0
040 $a GP $c GP
041 0 $a eng
050 4 $a QA9.54 $b .O564 2019
072 7 $a HPL $2 bicssc
072 7 $a PHI011000 $2 bisacsh
072 7 $a QDTL $2 thema
082 0 4 $a 511.3 $2 23
090 $a QA9.54 $b .O58 2019
100 1 $a Ono, Hiroakira. $3 357063
245 1 0 $a Proof theory and algebra in logic $h [electronic resource] / $c by Hiroakira Ono.
260 $a Singapore : $b Springer Singapore : $b Imprint: Springer, $c 2019.
300 $a viii, 160 p. : $b ill., digital ; $c 24 cm.
490 1 $a Short textbooks in logic, $x 2522-5480
505 0 $a Introduction -- Part I Proof Theory -- Sequent systems -- Cut elimination for sequent systems -- Proof-theoretic analysis of logical properties -- Modal and substructural logics -- Deducibility and axiomatic extensions -- Part II Algebra in Logic -- Boolean algebras and classical logic -- Many-valued algebras -- Heyting algebras and intuitionistic logic -- Logics and varieties -- Residuated structures -- Modal algebras -- References -- Index.
520 $a This book offers a concise introduction to both proof-theory and algebraic methods, the core of the syntactic and semantic study of logic respectively. The importance of combining these two has been increasingly recognized in recent years. It highlights the contrasts between the deep, concrete results using the former and the general, abstract ones using the latter. Covering modal logics, many-valued logics, superintuitionistic and substructural logics, together with their algebraic semantics, the book also provides an introduction to nonclassical logic for undergraduate or graduate level courses. The book is divided into two parts: Proof Theory in Part I and Algebra in Logic in Part II. Part I presents sequent systems and discusses cut elimination and its applications in detail. It also provides simplified proof of cut elimination, making the topic more accessible. The last chapter of Part I is devoted to clarification of the classes of logics that are discussed in the second part. Part II focuses on algebraic semantics for these logics. At the same time, it is a gentle introduction to the basics of algebraic logic and universal algebra with many examples of their applications in logic. Part II can be read independently of Part I, with only minimum knowledge required, and as such is suitable as a textbook for short introductory courses on algebra in logic.
650 0 $a Proof theory. $3 190840
650 0 $a Algebraic logic. $3 522723
650 1 4 $a Logic. $3 180785
650 2 4 $a Mathematical Logic and Formal Languages. $3 275383
650 2 4 $a Mathematical Logic and Foundations. $3 274479
650 2 4 $a Order, Lattices, Ordered Algebraic Structures. $3 275673
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer eBooks
830 0 $a Short textbooks in logic. $3 797718
856 4 0 $u https://doi.org/10.1007/978-981-13-7997-0
950 $a Religion and Philosophy (Springer-41175)