Review Proof Theory and Algebra in Logic
Proof Theory and Algebra in Logic High quality books
Proof Theory and Algebra in Logic
By:Hiroakira Ono
Published on 2019-08-02 by Springer
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.
This Book was ranked at 19 by Google Books for keyword Technology assessment.
Book ID of Proof Theory and Algebra in Logic's Books is SR2nDwAAQBAJ, Book which was written byHiroakira Onohave ETAG "X8Yc5vZu0+c"
Book which was published by Springer since 2019-08-02 have ISBNs, ISBN 13 Code is 9789811379970 and ISBN 10 Code is 9811379971
Reading Mode in Text Status is true and Reading Mode in Image Status is true
Book which have "160 Pages" is Printed at BOOK under CategoryPhilosophy
This Book was rated by Raters and have average rate at ""
This eBook Maturity (Adult Book) status is NOT_MATURE
Book was written in en
eBook Version Availability Status at PDF is true and in ePub is true
Comments
Post a Comment