Residuated Lattices as an Algebraic Semantics for Paraconsistent Nelson's Logic.
Manuela BusanicheRoberto CignoliPublished in: J. Log. Comput. (2009)
Keyphrases
- logic programming
- valued semantics
- logic programs
- proof theory
- classical logic
- nonmonotonic reasoning
- sound and complete with respect
- epistemic logic
- logical framework
- possibilistic logic
- sound and complete axiomatization
- inference rules
- reasoning tasks
- default logic
- deductive databases
- propositional dynamic logic
- truth values
- highly expressive
- computational properties
- proof theoretic
- nonmonotonic logics
- operational semantics
- valued logic
- algebraic structure
- consistent query answering
- proof procedures
- answer sets
- knowledge representation
- knowledge base
- model theoretic
- formal language
- formal semantics
- answer set programming
- predicate calculus
- modal operators
- derivation rules
- conditional logic
- dynamic logic
- predicate logic
- defeasible logic
- stable models
- default reasoning
- modal logic
- programming language
- linear logic
- autoepistemic logic
- rewrite systems
- intuitionistic logic
- automated reasoning
- propositional logic
- fixed point semantics