Consequence and Interpolation in Łukasiewicz Logic.

Daniele Mundici

Published in: Stud Logica (2011)

Keyphrases

classical logic
logic programming
sound and complete axiomatization
multi valued
sparse sampling
image interpolation
linear interpolation
predicate logic
computational properties
delay insensitive
proof theory
deontic logic
formal theory
artificial intelligence
interpolation method
modal logic
video sequences