Partial Up and Down Logic.

Published in: Notre Dame J. Formal Log. (1995)

Keyphrases

classical logic
predicate logic
logic programming
data mining
image processing
clustering algorithm
bayesian networks
modal logic
proof theory
logic synthesis
intuitionistic logic