OTTER Experiments in a System of Combinatory Logic.
Thomas JechPublished in: J. Autom. Reason. (1995)
Keyphrases
- logic programming
- theorem prover
- multi valued
- predicate logic
- sound and complete axiomatization
- defeasible logic
- intuitionistic logic
- knowledge base
- epistemic logic
- modal logic
- data sets
- logical framework
- probability theory
- dynamic logic
- classical logic
- artificial neural networks
- information systems
- social networks
- databases