Natural Deduction, Hybrid Systems and Modal Logics
By:
Sign Up Now!
Already a Member? Log In
You must be logged into Bookshare to access this title.
Learn about membership options,
or view our freely available titles.
- Synopsis
- 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.
- Copyright:
- 2009
Book Details
- Book Quality:
- Publisher Quality
- ISBN-13:
- 9789048187850
- Related ISBNs:
- 9789048187843
- Publisher:
- Springer Netherlands
- Date of Addition:
- 10/27/16
- Copyrighted By:
- Springer
- Adult content:
- No
- Language:
- English
- Has Image Descriptions:
- No
- Categories:
- Nonfiction, Computers and Internet, Mathematics and Statistics, Philosophy
- Submitted By:
- Bookshare Staff
- Usage Restrictions:
- This is a copyrighted book.
Reviews
Other Books
- by Andrzej Indrzejczak
- in Nonfiction
- in Computers and Internet
- in Mathematics and Statistics
- in Philosophy