Twenty-Sixth Annual Meeting of the Association for Symbolic Logic.
Nuel BelnapPublished in: J. Symb. Log. (1960)
Keyphrases
- logic programming
- international workshop
- database
- high level
- modal logic
- symbolic representation
- multi valued
- logical framework
- sound and complete axiomatization
- classical logic
- automated reasoning
- computational properties
- predicate logic
- formal theory
- asynchronous circuits
- linear logic
- symbolic description
- information retrieval