Annual Meeting of the Association for Symbolic Logic.
Sidney MorgenbesserElliott MendelsonPublished in: J. Symb. Log. (1966)
Keyphrases
- modal logic
- logic programming
- automated reasoning
- classical logic
- connectionist models
- symbolic representation
- multi valued
- probabilistic logic
- binary decision diagrams
- sound and complete axiomatization
- data sets
- proof theory
- linear logic
- asynchronous circuits
- predicate logic
- nonmonotonic logics
- inference rules
- artificial intelligence
- neural network