Logical Weak Completions of Paraconsistent Logics.
Mauricio Javier Osorio GalindoJosé R. Arrazola RamírezJosé Luis CarballidoPublished in: J. Log. Comput. (2008)
Keyphrases
- inconsistent knowledge
- truth values
- inference rules
- knowledge base
- knowledge based systems
- valued semantics
- expressive power
- temporal knowledge
- valued logic
- logical operations
- logic programming
- real time
- logical framework
- fixpoint
- epistemic logic
- classical logic
- first order logic
- fuzzy logic
- case study
- artificial intelligence