Anderson and Belnap's Minimal Positive Logic with Minimal Negation.

José M. Méndez Francisco Salto Gemma Robles

Published in: Reports Math. Log. (2002)

Keyphrases

logic programming
positive and negative
data sets
predicate logic
computer vision
logic programs
modal logic