Natural Deduction, Hybrid Systems and Modal Logics
Download or Read eBook Natural Deduction, Hybrid Systems and Modal Logics PDF written by Andrzej Indrzejczak and published by Springer Science & Business Media. This book was released on 2010-07-03 with total page 515 pages. Available in PDF, EPUB and Kindle.
| Author | : Andrzej Indrzejczak |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 515 |
| Release | : 2010-07-03 |
| ISBN-10 | : 9789048187850 |
| ISBN-13 | : 9048187850 |
| Rating | : 4/5 (50 Downloads) |
Book Synopsis Natural Deduction, Hybrid Systems and Modal Logics by : Andrzej Indrzejczak
Book excerpt: This book provides a detailed exposition of one of the most practical and popular methods of proving theorems in logic, called Natural Deduction. It is presented both historically and systematically. Also some combinations with other known proof methods are explored. The initial part of the book deals with Classical Logic, whereas the rest is concerned with systems for several forms of Modal Logics, one of the most important branches of modern logic, which has wide applicability.
