Keyphrases
- logic programming
- truth values
- classical logic
- modal logic
- inference rules
- possibilistic logic
- valued semantics
- inconsistent knowledge
- asynchronous circuits
- logic programs
- digital circuits
- predicate logic
- automated reasoning
- logical framework
- reasoning tasks
- multi valued
- proof theory
- valued logic
- deductive reasoning
- knowledge representation