Structural Completeness in Fuzzy Logics
Petr Cintula, George Metcalfe · Notre Dame Journal of Formal Logic · 2009
Structural completeness properties are investigated for a range of popular t-norm based fuzzy logics—including Łukasiewicz Logic, Gödel Logic, Product Logic, and Hájek's Basic Logic—and their fragments. General methods are defined and used to establish these properties or exhibit their failure, solving a number of open problems.