Structural Completeness in Fuzzy Logics

Authors: Petr Cintula, G. Metcalfe
Publication year: 2009
Publication type: Článek v odborném periodiku
Periodical: Notre Dame Journal of Formal Logic
Projects: Institute for Theoretical Computer Science
Bibliographic citation: CINTULA, Petr, METCALFE, G. Structural Completeness in Fuzzy Logics. Notre Dame Journal of Formal Logic. 2009, 50(2), 153-183. ISSN 0029-4527. E-ISSN 1939-0726
Dostupné z: doi:10.1215/00294527-2009-004
DOI: 10.1215/00294527-2009-004
ID: 323928

Abstract

Structural completeness properties are investigated for a range of popular t-norm based fuzzy logics - including Lukasiewicz Logic, Godel Logic, Product Logic, and Hajek'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.