Twenty-Fifth Annual Meeting of the Association for Symbolic Logic.
David NelsonPublished in: J. Symb. Log. (1960)
Keyphrases
- logic programming
- modal logic
- classical logic
- asynchronous circuits
- high level
- automated reasoning
- digital circuits
- sound and complete axiomatization
- delay insensitive
- multi valued
- computational properties
- logical framework
- symbolic description
- linear logic
- binary decision diagrams
- predicate logic
- databases
- probability theory
- belief revision
- information systems
- artificial intelligence