scientific article; zbMATH DE number 5794503

zbMath1206.03015MaRDI QIDQ4932304

Ping Zhou, Ming Jiang, Xipeng Sun

Publication date: 1 October 2010

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

zbMATH Keywords

generalized quantifierlattice implication algebra\(\alpha\)-resolution principlelattice-valued first-order logic

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Mechanization of proofs and logical operations (03B35)

This page was built for publication: