-valued propositional Belnap-Dunn logic.
Cungen CaoBo ChenYuefei SuiPublished in: J. Intell. Fuzzy Syst. (2015)
Keyphrases
- multi valued
- sound and complete axiomatization
- probabilistic logic
- coalition logic
- valued logic
- default logic
- valued semantics
- propositional logic
- deductive reasoning
- truth values
- classical logic
- logic programming
- general logic programs
- horn clauses
- modal logic
- predicate logic
- first order logic
- proof procedure
- classical first order logic
- autoepistemic logic
- truth maintenance systems
- relational databases
- model checking
- normal form
- propositional theories
- theorem proving
- abductive reasoning
- default reasoning
- conditional logic
- computational properties