A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4.
Gemma RoblesJosé M. MéndezPublished in: Log. J. IGPL (2016)
Keyphrases
- valued logic
- classical logic
- logic programming
- propositional logic
- fuzzy logic
- logic programs
- fuzzy sets
- truth values
- multi valued
- first order logic
- bayesian networks
- modal logic
- datalog programs
- automated reasoning
- answer sets
- stable models
- answer set programming
- probability distribution
- np complete
- theorem proving
- real time
- artificial neural networks
- default logic
- belief revision
- expressive power
- deductive databases
- belief networks
- temporal logic
- inductive logic programming