Intuitionistic Completeness for First Order Classical Logic.
Stefano BerardiPublished in: J. Symb. Log. (1999)
Keyphrases
- classical logic
- valued logic
- logic programming
- general logic programs
- modal logic
- possibilistic logic
- computer science and artificial intelligence
- first order logic
- autoepistemic logic
- revision operators
- intuitionistic logic
- rationality postulates
- horn clauses
- possibility theory
- inference rules
- knowledge representation
- probabilistic model
- genetic algorithm