Gentzenizations of Relevant Logics With Distribution.

Published in: J. Symb. Log. (1996)

Keyphrases

closely related
expressive power
computer vision
probability density function
inference rules
uniformly distributed
database
real world
training data
data structure
maximum likelihood
higher level
modal logic
spatial distribution