Paracomplete Logics Dual to the Genuine Paraconsistent Logics: The Three-valued Case.
Alejandro Hernández-TelloVerónica Borja MacíasMarcelo E. ConiglioPublished in: LANMR (Selected Papers) (2019)
Keyphrases
- inference rules
- valued semantics
- nonmonotonic logics
- modal logic
- expressive power
- consistent query answering
- propositional dynamic logic
- databases
- propositional calculus
- default logic
- classical logic
- decision procedures
- proof procedures
- truth values
- proof theory
- horn logic
- conditional logic
- case based reasoning
- expert systems
- decision trees
- neural network