Early History of the Association for Symbolic Logic.

C. J. Ducasse Haskell B. Curry

Published in: J. Symb. Log. (1962)

Keyphrases

modal logic
multi valued
predicate logic
logic programming
binary decision diagrams
databases
high level
classical logic
symbolic reasoning
sound and complete axiomatization
artificial intelligence
artificial neural networks
symbolic representation
automated reasoning
asynchronous circuits
proof theory