Limiting Partial Combinatory Algebras towards Infinitary Lambda-Calculi and Classical Logic.
Yohji AkamaPublished in: CSL (2001)
Keyphrases
- classical logic
- logic programming
- modal logic
- default logic
- possibilistic logic
- interval algebra
- valued logic
- fixed point
- intuitionistic logic
- revision operators
- possibility theory
- computer science and artificial intelligence
- machine learning
- rationality postulates
- autoepistemic logic
- reasoning tasks
- spatial relations
- logic programs
- temporal reasoning