Implication and biconditional in some three-valued logics.
Verónica Borja MacíasAlejandro Hernández-TelloPublished in: LANMR (2018)
Keyphrases
- nonmonotonic logics
- valued semantics
- inference rules
- logical implication
- modal logic
- expressive power
- epistemic logic
- functional dependencies
- default logic
- propositional logic
- automated reasoning
- description logics
- horn clauses
- consistent query answering
- classical logic
- databases
- nonmonotonic reasoning
- real time
- xml keys
- proof procedures
- defeasible logic
- knowledge representation
- social networks
- data sets