 Mathematical fuzzy logic focuses on logics based on a truth-functional account of partial truth and studies them in the spirit of classical mathematical logic, investigating syntax, model theoretic semantics, proof systems, completeness, etc.; both, at the propositional and the predicate level (see Cintula, Fermüller, Hájek, &amp; Noguera 2011 and 2015).