Annual Meeting of the Association for Symbolic Logic: Philadelphia 1981.
Simon KochenHugues LeblancCharles D. ParsonsPublished in: J. Symb. Log. (1983)
Keyphrases
- classical logic
- high level
- neural network
- asynchronous circuits
- logic programming
- modal logic
- international workshop
- symbolic representation
- predicate logic
- multi valued
- deontic logic
- set theory
- information technology
- defeasible logic
- data sets
- digital circuits
- multi party
- knowledge base
- meeting room
- sound and complete axiomatization