Generality and existence 1: Quantification and Free Logic.
Greg RestallPublished in: Rev. Symb. Log. (2019)
Keyphrases
- modal logic
- logic programming
- proof theory
- automated reasoning
- multi valued
- information retrieval
- abductive reasoning
- search algorithm
- relational databases
- classical logic
- delay insensitive
- database
- asynchronous circuits
- defeasible logic
- logical framework
- logic programs
- multi agent
- similarity measure
- artificial intelligence
- data sets