A Hierarchy of Classical and Paraconsistent Logics.
Eduardo Alejandro BarrioFederico Matias PailosDamián Enrique SzmucPublished in: J. Philos. Log. (2020)
Keyphrases
- valued logic
- inference rules
- truth values
- modal logic
- logic programming
- expressive power
- classical logic
- fuzzy logic
- logic programs
- hierarchical structure
- inconsistent knowledge
- fuzzy sets
- horn logic
- valued semantics
- classical first order logic
- real time
- classical methods
- possibilistic logic
- propositional logic
- first order logic
- decision trees
- knowledge base