Reprint
Deductive Systems in Traditional and Modern Logic
Edited by
November 2020
298 pages
- ISBN 978-3-03943-358-2 (Hardback)
- ISBN 978-3-03943-359-9 (PDF)
This is a Reprint of the Special Issue Deductive Systems in Traditional and Modern Logic that was published in
Computer Science & Mathematics
Summary
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.