Meeting of the Association for Symbolic Logic.
James K. FeiblemanRaymond M. SmullyanRobert L. VaughtPublished in: J. Symb. Log. (1970)
Keyphrases
- modal logic
- logic programming
- proof theory
- classical logic
- multi valued
- symbolic description
- symbolic representation
- binary decision diagrams
- digital circuits
- nonmonotonic logics
- high level
- neural network
- multi party
- temporal logic
- logical framework
- logic programs
- decision trees
- genetic algorithm
- information retrieval
- data mining