Structural Completeness in Fuzzy Logics
Cintula, Petr ; Metcalfe, George
Notre Dame J. Formal Logic, Tome 50 (2009) no. 1, p. 153-182 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
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.
Publié le : 2009-04-15
Classification:  substructural logics,  fuzzy logics,  structural completeness,  admissible rules,  primitive variety,  residuated lattices,  03B22,  03B52,  03B47 
@article{1242067708,
     author = {Cintula, Petr and Metcalfe, George},
     title = {Structural Completeness in Fuzzy Logics},
     journal = {Notre Dame J. Formal Logic},
     volume = {50},
     number = {1},
     year = {2009},
     pages = { 153-182},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1242067708}
}

Cintula, Petr; Metcalfe, George. Structural Completeness in Fuzzy Logics. Notre Dame J. Formal Logic, Tome 50 (2009) no. 1, pp.  153-182. http://gdmltest.u-ga.fr/item/1242067708/