Algorithmic correspondence for intuitionistic modal mu-calculus.
Willem ConradieYves FomatatiAlessandra PalmigianoSumit SourabhPublished in: Theor. Comput. Sci. (2015)
Keyphrases
- cut elimination
- sequent calculus
- natural deduction
- modal logic
- linear logic
- fuzzy set theory
- transition systems
- fuzzy numbers
- development environment
- inference rules
- theorem prover
- proof search
- classical logic
- fuzzy information
- relational calculus
- interval valued
- computer vision
- group decision making
- point correspondences