Algorithmic correspondence for intuitionistic modal mu-calculus, Part 2.
Willem ConradieYves FomatatiAlessandra PalmigianoSumit SourabhPublished in: TACL (2013)
Keyphrases
- natural deduction
- cut elimination
- sequent calculus
- modal logic
- linear logic
- transition systems
- point correspondences
- correspondence matching
- theorem prover
- classical logic
- fuzzy information
- interval valued
- computer vision
- inference rules
- automated deduction
- fuzzy numbers
- theorem proving
- proof search
- fuzzy relations
- feature matching
- algebraic structure
- computer algebra
- image matching
- decision makers