Embedding Classical Logic into Basic Orthologic with a Primitive Modality.
Giulia BattilottiPublished in: Log. J. IGPL (1998)
Keyphrases
- classical logic
- logic programming
- modal logic
- multi modal
- medical images
- default logic
- intuitionistic logic
- possibilistic logic
- commonsense reasoning
- high level
- computer science and artificial intelligence
- rationality postulates
- revision operators
- possibility theory
- automated theorem proving
- autoepistemic logic
- data mining
- neural network