scientific article; zbMATH DE number 1979783

MaRDI QIDQ4428166zbMATH OpenFDO

Authors Huiyang Xie, Hanpin Wang

Publication date 14 September 2003

zbMATH Keywords

elementary submodelgeneralized quantifierelementary extensionslattice-valued model

Mathematics Subject Classification ID

Many-valued logic (03B50) Logic with extra quantifiers and operators (03C80) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Recommendations

• scientific article; zbMATH DE number 1979741
• scientific article; zbMATH DE number 1150406
• scientific article; zbMATH DE number 754183
• Quantifiers determined by partial orderings
• scientific article; zbMATH DE number 3928979

Cited in

(6)

• Quantifiers determined by partial orderings
• Elementary extensions of topological models in \(L_ t\) language
• scientific article; zbMATH DE number 1979741 (Why is no real title available?)
• Weak completion theorem with generalized quantifiers in \(\text{LF}(X)\)
• scientific article; zbMATH DE number 721736 (Why is no real title available?)
• scientific article; zbMATH DE number 3928979 (Why is no real title available?)

This page was built for publication:

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