Algebraization, Parametrized Local Deduction Theorem and Interpolation for Substructural Logics over FL.
Nikolaos GalatosHiroakira OnoPublished in: Stud Logica (2006)
Keyphrases
- intuitionistic logic
- propositional calculus
- classical logic
- inference rules
- linear logic
- fuzzy logic
- natural deduction
- image interpolation
- proof theoretic
- expressive power
- modal logic
- anti unification
- interpolation method
- interpolation methods
- valued logic
- theorem proving
- first order logic
- piecewise polynomial
- motion estimation
- edge directed
- computer algebra
- computational properties
- theorem prover