Obtaining infinitely many degrees of inconsistency by adding a strictly paraconsistent negation to classical logic.
Peter VerdéePublished in: Synth. (2021)
Keyphrases
- classical logic
- logic programming
- logic programs
- possibilistic logic
- valued logic
- deductive databases
- default logic
- nonmonotonic reasoning
- knowledge base
- knowledge representation
- answer set programming
- stable models
- truth values
- intuitionistic logic
- programming language
- answer sets
- revision operators
- fixpoint
- high level
- autoepistemic logic
- rough sets
- bayesian networks
- neural network
- rationality postulates
- computer science and artificial intelligence