Leibniz filters and the strong version of a protoalgebraic logic.

Josep Maria Font Ramon Jansana

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

Keyphrases

edge detection
multi valued
modal logic
automated reasoning
high level
logic programming
order statistics
classical logic
image processing
probability theory
bandpass
set theory
low pass filter
filter design
filtering scheme
proof theory