scientific article; zbMATH DE number 1516312

zbMath0954.03030MaRDI QIDQ4509110

David Švejda, Petr Hájek

Publication date: 11 October 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

strong completeness theoremfinitely axiomatized theoriesfuzzy logic in the narrow sensefinitely axiomatized fuzzy theoriesŁukasiewicz's propositional calculusrational Pavelka's logic

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Many-valued logic (03B50)