Deduction as Reduction, from a Categorical Point of View.

Dominique Duval

Published in: Logica Universalis (2013)

Keyphrases

inference rules
reduction method
attribute values
theorem proving
knowledge base
image processing
case study
image segmentation
special case
theorem prover
categorical data