Strengthening Brady's Paraconsistent 4-Valued Logic BN4 with Truth-Functional Modal Operators.
José M. MéndezGemma RoblesPublished in: J. Log. Lang. Inf. (2016)
Keyphrases
- valued logic
- classical logic
- modal operators
- modal logic
- truth values
- propositional logic
- fuzzy logic
- fuzzy sets
- nonmonotonic logics
- first order logic
- bayesian networks
- multi valued
- logic programs
- inference rules
- temporal logic
- logic programming
- datalog programs
- decision making
- automated reasoning
- partially ordered
- machine learning
- description logics
- high level
- default logic
- computational intelligence
- general purpose