Les algèbres de Heyting-Brouwer et de Łukasiewicz trivalentes.

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

Keyphrases

set theory
fixed point theorem
pattern recognition
machine learning
real time
decision making
knowledge representation
rough sets
first order logic
mathematical morphology