On the strongest three-valued paraconsistent logic contained in classical logic.
Cornelis A. MiddelburgPublished in: CoRR (2017)
Keyphrases
- classical logic
- modal logic
- logic programming
- nonmonotonic logics
- intuitionistic logic
- possibilistic logic
- possibility theory
- revision operators
- inference rules
- computer science and artificial intelligence
- autoepistemic logic
- default logic
- default theories
- logic programs
- commonsense reasoning
- temporal logic
- programming language
- knowledge base
- dynamical systems
- automated theorem proving
- valued logic
- relational databases
- rationality postulates