Constructive negation, implication, and co-implication.

Heinrich Wansing

Published in: J. Appl. Non Class. Logics (2008)

Keyphrases

horn clauses
real world
databases
functional dependencies
complete axiomatization
artificial intelligence
search engine
logic programs
integrity constraints
deductive databases