Deductive Systems in Traditional and Modern Logic
Author | : Alex Citkin |
Publisher | : MDPI |
Total Pages | : 298 |
Release | : 2020-11-18 |
ISBN-10 | : 9783039433582 |
ISBN-13 | : 303943358X |
Rating | : 4/5 (82 Downloads) |
Download or read book Deductive Systems in Traditional and Modern Logic written by Alex Citkin and published by MDPI. This book was released on 2020-11-18 with total page 298 pages. Available in PDF, EPUB and Kindle. Book excerpt: The book provides a contemporary view on different aspects of the deductive systems in various types of logics including term logics, propositional logics, logics of refutation, non-Fregean logics, higher order logics and arithmetic.