Curry-Howard-Lambek Correspondence for Intuitionistic Belief.

Cosimo Perini Brogi

Published in: Stud Logica (2021)

Keyphrases

linear logic
interval valued
computer vision
belief functions
point correspondences
belief revision
correspondence matching
feature matching
probability measures
belief space
probability theory
belief state
real time
theorem prover
real valued
learning algorithm
data mining