scientific article; zbMATH DE number 870184

MaRDI QIDQ4875706zbMATH OpenFDO

Authors Michał Krynicki

Publication date 11 June 1996

zbMATH Keywords

compactnesssemanticscompletenessmodel theoryultraproductspreservationmonotone quantifierdownward Löwenheim-Skolem theoremrough quantifierlogics with relational quantifiersrelational quantifier

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80)

Recommendations

• scientific article; zbMATH DE number 1163946
• Quantifiers determined by partial orderings
• scientific article; zbMATH DE number 4031646
• Basic quantifier theory

Cited in

(8)

• Quantifiers determined by partial orderings
• Qualitative reasoning with directional relations
• Weak independence of quantifiers
• Directions in generalized quantifier theory
• Expressing quantification in relational calculus by participation constraints
• scientific article; zbMATH DE number 408810 (Why is no real title available?)
• An arithmetical view to first-order logic
• A representation theorem for quantales

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 Q4875706)