Double Negation Semantics for Generalisations of Heyting Algebras.
Rob ArthanPaulo OlivaPublished in: Stud Logica (2021)
Keyphrases
- logic programming
- logic programs
- compositional semantics
- fixed point semantics
- stable models
- containment of conjunctive queries
- formal semantics
- stable model semantics
- set theory
- semantics for logic programs
- derivation rules
- operational semantics
- normal logic programs
- fixpoint semantics
- answer set programming
- deductive databases
- semantic information
- predicate logic
- knowledge base
- reasoning tasks
- databases
- horn clauses
- default reasoning
- rough sets
- neural network