Deductive Systems in Traditional and Modern Logic

• Tác giả: Alex Citkin, Urszula Wybraniec-Skardowska
• Ngôn ngữ: eng
• ISBN-13: 978-3039433582
• Thông tin xuất bản: Basel, Switzerland : MDPI - Multidisciplinary Digital Publishing Institute, 2020
• Mô tả vật lý: 1 electronic resource (298 p.)
• Bộ sưu tập: Tài liệu truy cập mở
• ID: 229249
• Chủ đề: 1. Mathematics & science; 2. Research & information: general

Tóm tắt

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.