Unifying Graded Linear Logic and Differential Operators.
Flavien BreuvartMarie KerjeanSimon MirwasserPublished in: FSCD (2023)
Keyphrases
- linear logic
- differential operators
- vector field
- multiscale
- fixed point
- partial differential equations
- logic programming
- cut elimination
- desirable properties
- sequent calculus
- multiple scales
- scale space
- diffusion tensor
- logical framework
- zero crossing
- image enhancement
- high resolution
- anisotropic diffusion
- feature detectors
- multiresolution
- object recognition
- natural deduction
- image sequences