scientific article; zbMATH DE number 870184

MaRDI QIDQ4875706zbMATH OpenFDO

Authors Michał Krynicki

Publication date 11 June 1996

zbMATH Keywords

compactnesscompletenessdownward Löwenheim-Skolem theoremlogics with relational quantifiersmodel theorymonotone quantifierpreservationrelational quantifierrough quantifiersemanticsultraproducts

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

(9)

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

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)