First Order Logic: Syntax of FL,
Semantics, Consequences, Calculations, Prenex Form, Skolemization, Herbrand
Interpretation, Skolem-Lowenheim Theorem. Proof Theory:
Resolution in PL, Propositional Calculus (PC), Completeness and Compactness
of PC, Analytic Tableaux for PL, Analytic Tableaux for FL, Completeness of
Analytic Tableaux, Compactness of PL and FL,
Issue of Decidability.
A.Singh, Logics for
Computer Science, PHI Learning, New Delhi, 2003. |