Extended Natural Deduction Images of Conversions from the System of Sequents.

Mirjana Borisavljevic

Published in: J. Log. Comput. (2004)

Keyphrases

image data
image database
sequent calculus
natural deduction
image analysis
image classification
three dimensional
image features
ground truth
input image
image retrieval
segmentation algorithm
linear logic
image collections
test images
image regions
artificial intelligence
intuitionistic logic
inference rules
feature points
object recognition
training data
image processing