A New Constructive Logic: Classical Logic.
Jean-Yves GirardPublished in: Math. Struct. Comput. Sci. (1991)
Keyphrases
- classical logic
- logic programming
- modal logic
- intuitionistic logic
- possibilistic logic
- default logic
- autoepistemic logic
- commonsense reasoning
- possibility theory
- genetic algorithm
- revision operators
- valued logic
- artificial intelligence
- inference rules
- logic programs
- knowledge representation
- probabilistic model
- sufficient conditions
- automated theorem proving
- neural network
- computer science and artificial intelligence