Login / Signup
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