zbMath1374.03011MaRDI QIDQ2983897
San-min Wang, Jinfang Wang
Publication date: 17 May 2017
zbMATH Keywords
fuzzy logicsyntactical proofNM system
Mathematics Subject Classification ID
Fuzzy logic; logic of vagueness (03B52) Many-valued logic (03B50)