Classical Negation and Expansions of Belnap-Dunn Logic.
Michael DeHitoshi OmoriPublished in: Stud Logica (2015)
Keyphrases
- logic programming
- predicate logic
- quantum computation
- truth values
- derivation rules
- classical logic
- closed world assumptions
- logic programs
- probability theory
- multi valued
- classical first order logic
- modal logic
- deductive databases
- programming language
- fixed point semantics
- horn clauses
- knowledge representation and reasoning
- deontic logic
- knowledge base
- genetic algorithm
- sound and complete axiomatization
- data sets