Algebraic logic for the negation fragment of classical logic.
Luciano J. GonzálezPublished in: Log. J. IGPL (2024)
Keyphrases
- classical logic
- logic programming
- logic programs
- modal logic
- intuitionistic logic
- deductive databases
- valued logic
- commonsense reasoning
- knowledge representation
- truth values
- possibilistic logic
- autoepistemic logic
- answer set programming
- stable models
- nonmonotonic reasoning
- default logic
- programming language
- automated theorem proving
- horn clauses
- computer science and artificial intelligence
- predicate logic
- possibility theory
- artificial intelligence
- answer sets
- object oriented
- knowledge base