Overview
- Develops theory for one of the most important notions in the methodology of formal systems
- Allows a more profound view upon essential properties of propositional systems
- Theory of logical matrices and of consequence operations is exploited
- Includes supplementary material: sn.pub/extras
Part of the book series: Studies in Universal Logic (SUL)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (4 chapters)
Keywords
About this book
Reviews
From the reviews:
“The book provides a uniform treatment of the variety of results centered around the completeness property. … book is a good introduction to the problems of completeness. A wealth of examples, comments and theorems well elucidate various difficult aspects of the theory. … From the methodological viewpoint, the book applies the tools that were elaborated in metalogic … . AAL also offers subtle tools for tackling some of the problems raised in the book.” (Janusz M. Czelakowski, Mathematical Reviews, Issue 2010 c)
“The book is written with exceptional clarity and precision. This combination makes it accessible to a wide spectrum of potential readers, and hence it can be recommended to anyone interested in formal logic. … the book may stimulate to further research by opening new fields of investigation and introducing new concepts and ideas. Finally, one cannot miss the extensive and up-to-date bibliography which is included in the book. Summing up, the book … offers a deep and intelligible exposition of completeness theory in propositional logics.” (Tomasz Połacik, Studia Logica, Vol. 95, 2010)
Authors and Affiliations
Bibliographic Information
Book Title: Completeness Theory for Propositional Logics
Authors: Witold A. Pogorzelski, Piotr Wojtylak
Series Title: Studies in Universal Logic
DOI: https://doi.org/10.1007/978-3-7643-8518-7
Publisher: Birkhäuser Basel
eBook Packages: Mathematics and Statistics, Mathematics and Statistics (R0)
Copyright Information: Birkhäuser Basel 2008
Softcover ISBN: 978-3-7643-8517-0Published: 17 April 2008
eBook ISBN: 978-3-7643-8518-7Published: 25 May 2008
Series ISSN: 2297-0282
Series E-ISSN: 2297-0290
Edition Number: 1
Number of Pages: VIII, 178