Meeting of the Association for Symbolic Logic.
Jaakko HintikkaKarel L. de BouvèreIsaac LeviPublished in: J. Symb. Log. (1970)
Keyphrases
- multi valued
- logic programming
- dynamic logic
- classical logic
- symbolic representation
- automated reasoning
- modal logic
- expert systems
- neural network
- computer algebra
- binary decision diagrams
- real time
- propositional dynamic logic
- database
- connectionist systems
- meeting room
- proof theory
- formal theory
- digital circuits
- defeasible logic
- computational properties
- learning algorithm