Annual Meeting of the Association for Symbolic Logic.

Burton Dreben James Thomson

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

Keyphrases

logic programming
symbolic representation
classical logic
modal logic
nonmonotonic logics
connectionist models
proof theory
database
high level
multi party
multi valued
probabilistic logic
logical framework
predicate logic
truth values