Analytic Cut and Mints - Symmetric Interpolation Method for Bi-intuitionistic Tense Logic.
Hiroakira OnoKatsuhiko SanoPublished in: AiML (2022)
Keyphrases
- interpolation method
- classical logic
- interpolation methods
- linear logic
- natural deduction
- image interpolation
- cut elimination
- spatial interpolation
- edge directed
- logical framework
- linear interpolation
- sequent calculus
- edge direction
- business intelligence
- sharp edges
- modal logic
- logic programming
- inference rules
- pixel values
- interpolation algorithm
- fuzzy set theory
- fuzzy numbers
- theorem prover
- logic programs
- fuzzy sets
- similarity measure