Weak completion theorem with generalized quantifiers in LF(X)

zbMATH Open1199.03024MaRDI QIDQ3403376FDOQ3403376

Authors Ping Zhou, Ming Jiang, Xipeng Sun 

Publication date 12 February 2010

zbMATH Keywords

generalized quantifierfirst-order lattice-valued logic systemweak completion theorem

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Recommendations

• Monadic \(\mathbf L\)-fuzzy quantifiers of the type \(\langle 1^n,1\rangle \)
• Publication:3484813
• Publication:4509110
• scientific article; zbMATH DE number 1979783
• Fuzzy equational logic

Cited in

(3)

• Completeness theorem for Dummett's LC quantified and some of its extensions
• Weak completeness in \(\text{E}\) and \(\text{E}_{2}\)
• scientific article; zbMATH DE number 7695589 (Why is no real title available?)

This page was built for publication: Weak completion theorem with generalized quantifiers in \(\text{LF}(X)\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3403376)