Truth-values as Labels: A General Recipe for Labelled Deduction.

Cristina Sernadas Luca Viganò João Rasga Amílcar Sernadas

Published in: J. Appl. Non Class. Logics (2003)

Keyphrases

truth values
inference rules
special case
computer vision
training examples
vector field