Algebraic Semantics for Paraconsistent Nelson's Logic.
Sergei P. OdintsovPublished in: J. Log. Comput. (2003)
Keyphrases
- logic programming
- valued semantics
- algebraic structure
- classical logic
- algebraic operators
- proof theory
- logic programs
- possibilistic logic
- sound and complete axiomatization
- sound and complete with respect
- epistemic logic
- logical framework
- nonmonotonic logics
- reasoning tasks
- deductive databases
- default logic
- propositional dynamic logic
- valued logic
- nonmonotonic reasoning
- knowledge representation
- default reasoning
- inference rules
- proof theoretic
- truth values
- stable models
- consistent query answering
- higher order logic
- intuitionistic logic
- answer sets
- query language
- alternating time temporal logic
- modal operators
- programming language
- answer set programming
- conditional logic
- mathematical theory
- rule engine
- model theoretic
- autoepistemic logic
- computational properties
- modal logic
- dynamic logic
- knowledge base
- formal language
- logical rules
- defeasible logic
- derivation rules
- computer algebra