Resolution and Model Building in the Infinite-Valued Calculus of Lukasiewicz.

Daniele Mundici Nicola Olivetti

Published in: Theor. Comput. Sci. (1998)

Keyphrases

modal logic
high resolution
conflict detection
valued logic
consequence finding
fuzzy logic
low resolution
database query languages
genetic algorithm
truth values
computer algebra
sampling rate
sequent calculus
real numbers
temporal logic
multiresolution
database systems