First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties

From MaRDI portal