Curry-Howard-Lambek Correspondence for Intuitionistic Belief.
Cosimo Perini BrogiPublished in: CoRR (2020)
Keyphrases
- linear logic
- point correspondences
- belief revision
- belief functions
- fuzzy set theory
- case study
- probability measures
- image matching
- classical logic
- correspondence matching
- artificial intelligence
- interval valued
- belief base
- shape similarity
- feature matching
- fuzzy numbers
- real valued
- multi agent systems
- pattern recognition