scientific article; zbMATH DE number 870184

zbMATH Open0852.03013MaRDI QIDQ4875706FDOQ4875706

Michał Krynicki

Publication date: 11 June 1996

Title of this publication is not available (Why is that?)

Recommendations

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

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)

Cited In (8)

• Qualitative reasoning with directional relations
• Weak independence of quantifiers
• Directions in generalized quantifier theory
• Expressing quantification in relational calculus by participation constraints
• Title not available (Why is that?)
• An arithmetical view to first-order logic
• A representation theorem for quantales
• Quantifiers determined by partial orderings

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)