Consistency and interpolation in linear continuous logic.

Mahya Malekghasemi Seyed Mohammad Bagheri

Published in: Arch. Math. Log. (2023)

Keyphrases

piecewise linear
image interpolation
programming language
computational properties
linear filtering
continuous variables
predicate logic
proof theory
shift register