Classical Logic and Non-Classical Logic Foundations

Author: Du Guoping / Country: Mainland China
Publisher:
Publish Date: 2006-07-01
Features: This book systematically introduces the basic content of modern logic. It mainly includes three parts. The first part introduces the basic content of set theory. The second part introduces the basic content of classical logic, mainly including propositional logic and predicate logic. The third part introduces the basic content of non-classical logic, mainly including modal logic, temporal logic, paraconsistent logic, and intuitionistic logic.