Negative Equivalence of Extensions of Minimal Logic.

Sergei P. Odintsov

Published in: Stud Logica (2004)

Keyphrases

positive and negative
classical logic
logic programming
knowledge representation formalisms
databases
probabilistic logic
artificial intelligence
case study
integrity constraints
logical framework
default theories
predicate logic
asynchronous circuits
sound and complete axiomatization