First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
first-order predicate nonclassical logics
scientific article; zbMATH DE number 5624907
scientific article