Interpolation in 16-Valued Trilattice Logics.
Reinhard MuskensStefan WinteinPublished in: Stud Logica (2018)
Keyphrases
- valued logic
- valued semantics
- expressive power
- classical logic
- modal logic
- propositional calculus
- inference rules
- image interpolation
- linear interpolation
- propositional logic
- consistent query answering
- nonmonotonic logics
- sparse sampling
- edge directed
- proof theory
- interpolation methods
- interpolation method
- image quality
- artificial intelligence
- real time
- epistemic logic
- interpolation algorithm
- multi valued
- low pass filtering
- default logic
- bilinear interpolation
- fuzzy sets
- image registration