Analytic Cut and Mints - Symmetric Interpolation Method for Bi-intuitionistic Tense Logic.

Hiroakira Ono Katsuhiko Sano

Published 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