On Implicational Intermediate Logics Axiomatizable by Formulas Minimal in Classical Logic: A Counter-Example to the Komori-Kashima Problem.
Yoshiki NakamuraNaosuke MatsudaPublished in: Stud Logica (2021)
Keyphrases
- classical logic
- modal logic
- logic programming
- intuitionistic logic
- possibilistic logic
- valued logic
- revision operators
- default logic
- modal operators
- autoepistemic logic
- possibility theory
- default theories
- neural network
- nonmonotonic logics
- temporal logic
- general purpose
- query language
- artificial intelligence
- machine learning