Annual Meeting of the Association for Symbolic Logic: Saint Louis, 1977.
Jon BarwiseKenneth KunenJoseph S. UllianPublished in: J. Symb. Log. (1978)
Keyphrases
- modal logic
- neural learning
- logic programming
- classical logic
- artificial intelligence
- computational molecular biology
- deontic logic
- binary decision diagrams
- predicate logic
- computational properties
- logical framework
- multi valued
- symbolic representation
- information technology
- data sets
- state university
- truth values
- meeting room
- sound and complete axiomatization