Description
Logics for Computer Science, 1st ed. 2018
Classical and Non-Classical
Language: EnglishSubject for Logics for Computer Science:
Keywords
Symbolic logic; propositional languages; predicate languages; classical semantics; non-classical semantics; intuitionistic logic; modal logics; Hilbert style formalizations; Gentzen style formalizations; automated theorem proving; Formal methods; completeness theorem; Godel Theorems; many-valued logics; Boolean algebras
Support: Print on demand
Description
/li>Contents
/li>Biography
/li>Comment
/li>
1: Introduction: Paradoxes and Puzzles.- 2: Introduction to Classical Logic.- 3: Propositional Semantics: Classical and Many Valued.- 4: General Proof Systems: Syntax and Semantics.- 5: Hilbert Proof Systems: Deduction and Completeness Theorems for Classical Propositional Logic.- 6: Automated Proof Systems.- 7: Introduction to Intuitionistic and Modal Logics.- 8: Classical Predicate Semantics and Proof Systems.- 9: Completeness and Deduction Theorems for Classical Predicate Logic.- 10: Predicate Automated Proof Systems.- 11: Formal Theories and Godel Theorems.