Twenty-Eighth Annual Meeting of the Association for Symbolic Logic.
Robert L. VaughtPublished in: J. Symb. Log. (1962)
Keyphrases
- logic programming
- symbolic representation
- multi valued
- classical logic
- binary decision diagrams
- automated reasoning
- modal logic
- predicate logic
- natural language processing
- set theory
- international workshop
- boolean functions
- data sets
- truth values
- epistemic logic
- computer algebra
- symbolic description
- sound and complete axiomatization