A new formalism for predicate logic is introduced, with a non-standard method of binding variables, which allows a compositional formalization of certain anaphoric constructions, including 'donkey ...

Outline of topics Ever since modern symbolic logic was consolidated (in the mid 1900s), the standard format for an introductory logic class has been to learn the classical predicate calculus in three ...

Knowledge representation and reasoning in logic programming constitute a core area of artificial intelligence that formalises how information is symbolically encoded and manipulated.