Omitting types in fuzzy logic with evaluated syntax.

Petra MurinováVilém Novák
Published in: Math. Log. Q. (2006)
Keyphrases