Publication:5693579

zbMath1078.03508MaRDI QIDQ5693579

Petr Hájek

Publication date: 26 September 2005

zbMATH Keywords

survey; computational complexity; basic logic; t-norms; arithmetical complexity; mathematical fuzzy logic; BL-algebras; BL

Mathematics Subject Classification ID

03B52: Fuzzy logic; logic of vagueness

03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations

Related Items

A categorical semantics for fuzzy predicate logic