Les algèbres de Heyting et de Lukasiewicz trivalentes.

Published in: Notre Dame J. Formal Log. (1970)

Keyphrases

set theory
modal logic
truth values
first order logic
neural network
fuzzy set theory
general purpose
rough sets
multi dimensional
data structure
rough set theory
temporal logic
training data
computer vision
multi valued
artificial intelligence
databases