ByNobleID
    Elements of model theory in higher-order fuzzy logic | NobleID