Three Views of Logic
Loveland, Donald W
Three Views of Logic Mathematics, Philosophy, and Computer Science - Princeton Princeton University Press 2014 - 322p
includes index and biblioraphy
1. Proof Theory ................1 Propositional Logic ..............3 Predicate Logic...........31 An Application : Linear resolution and Prolog ...............61 2. Computability Theory ....................93 Overview of Computability ...........95 A machine model of Computability ........123 A mathematical Model of Computability .............165 3. Philosophical Logics...................223 Natural Deduction : Classical and non-Classical ................243 Semantics for relevance Logic: A useful four-valued logic ..............288 Some concluding remarks on the logic of Entailment .....................315
9780691160443 3259
N14 / L942
Three Views of Logic Mathematics, Philosophy, and Computer Science - Princeton Princeton University Press 2014 - 322p
includes index and biblioraphy
1. Proof Theory ................1 Propositional Logic ..............3 Predicate Logic...........31 An Application : Linear resolution and Prolog ...............61 2. Computability Theory ....................93 Overview of Computability ...........95 A machine model of Computability ........123 A mathematical Model of Computability .............165 3. Philosophical Logics...................223 Natural Deduction : Classical and non-Classical ................243 Semantics for relevance Logic: A useful four-valued logic ..............288 Some concluding remarks on the logic of Entailment .....................315
9780691160443 3259
N14 / L942