Algorithmic correspondence for intuitionistic modal mu-calculus, Part 1.
Willem ConradieYves FomatatiAlessandra PalmigianoSumit SourabhPublished in: TACL (2013)
Keyphrases
- cut elimination
- modal logic
- sequent calculus
- natural deduction
- linear logic
- classical logic
- inference rules
- fuzzy numbers
- fuzzy set theory
- point correspondences
- development environment
- provably correct
- knowledge representation
- transition systems
- artificial intelligence
- data sets
- stereo correspondence
- image matching
- shape similarity
- formal language
- random walk
- fuzzy sets
- proof search