Meaning-Preserving Translations of Non-classical Logics into Classical Logic: Between Pluralism and Monism.
Gerhard SchurzPublished in: J. Philos. Log. (2022)
Keyphrases
- classical logic
- cognitive science
- logic programming
- modal logic
- revision operators
- default logic
- valued logic
- natural language sentences
- commonsense reasoning
- natural language
- autoepistemic logic
- possibilistic logic
- machine translation
- computational intelligence
- intuitionistic logic
- logic programs
- computer science
- artificial intelligence
- rationality postulates