Extensions of paraconsistent weak Kleene logic.
Francesco PaoliMichele Pra BaldiPublished in: Log. J. IGPL (2021)
Keyphrases
- logic programming
- default logic
- truth values
- classical logic
- propositional logic
- possibilistic logic
- logic programs
- valued semantics
- knowledge representation formalisms
- inconsistent knowledge
- regular expressions
- algebraic operators
- inference rules
- multi valued
- default theories
- nonmonotonic logics
- modal logic
- data sets
- logical framework
- neural network
- knowledge base
- valued logic
- epistemic logic
- formal theory
- autoepistemic logic
- predicate logic
- knowledge representation
- database
- xml documents
- asynchronous circuits
- natural deduction
- truth maintenance systems
- proof theory
- defeasible logic
- social networks
- knowledge based systems