Priestley Duality for Paraconsistent Nelson's Logic.
Sergei P. OdintsovPublished in: Stud Logica (2010)
Keyphrases
- logic programming
- truth values
- classical logic
- inference rules
- inconsistent knowledge
- valued semantics
- modal logic
- logic programs
- possibilistic logic
- linear programming
- machine learning
- knowledge base
- artificial intelligence
- genetic algorithm
- deductive databases
- multi valued
- information systems
- digital circuits
- predicate logic
- asynchronous circuits
- natural deduction
- consistent query answering
- multi agent