Generality and existence: Quantificational Logic in Historical Perspective.

Published in: Bull. Symb. Log. (2014)

Keyphrases

historical perspective
background information
computer vision
multi valued
logic programming
propositional logic
automated reasoning
proof theory
modal logic
classical logic
predicate logic
deontic logic
asynchronous circuits
complementarity problems