Relating Intuitionist Negation and Triviality.

Wagner de Campos Sanz

Published in: Log. J. IGPL (2004)

Keyphrases

logic programs
logic programming
deductive databases
data structure
predicate logic
genetic algorithm
social networks
knowledge base
fixpoint
compositional semantics