Three decades of paraconsistent annotated logics: a review paper on some applications.
Jair Minoro AbeKazumi NakamatsuJoão Inácio da Silva FilhoPublished in: KES (2019)
Keyphrases
- inference rules
- truth values
- expressive power
- valued semantics
- manually annotated
- modal logic
- classical logic
- inconsistent knowledge
- literature review
- logic programming
- higher order
- manually constructed
- multi agent systems
- integrity constraints
- first order logic
- relevant literature
- systematic review
- propositional calculus