Depicting Negation in Diagrammatic Logic: Legacy and Prospects.

Fabien Schang Amirouche Moktefi

Published in: Diagrams (2008)

Keyphrases

logic programming
predicate logic
derivation rules
closed world assumptions
logic programs
truth values
horn clauses
multi valued
classical logic
modal logic
defeasible logic
deductive databases
fixed point semantics
databases
nonmonotonic logics
declarative semantics
proof theory
semantics of logic programs