Quantifiers determined by partial orderings

DOI10.1002/MALQ.19900360109MaRDI QIDQ3496324zbMATH OpenOpenAlexFDO

Authors Michał Krynicki

Publication date 1990

Published in Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19900360109

zbMATH Keywords

complete axiomatizationgeneralized quantifierweak modelrough quantifierspo-structure

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80)

Recommendations

• scientific article; zbMATH DE number 870184
• Unary quantifiers on finite models
• An axiomatization of the logic with the rough quantifier
• scientific article; zbMATH DE number 1979783
• scientific article; zbMATH DE number 1163946

Cited in

(11)

• PARTIALLY ORDERED CONNECTIVES
• scientific article; zbMATH DE number 1979783 (Why is no real title available?)
• AN OVERVIEW OF ROUGH SET SEMANTICS FOR MODAL AND QUANTIFIER LOGICS
• scientific article; zbMATH DE number 68156 (Why is no real title available?)
• Ranked partial structures
• Weak independence of quantifiers
• scientific article; zbMATH DE number 935103 (Why is no real title available?)
• Generalized quantification as substructural logic
• The classifications of all quantifier-eliminable treelike partial orderings with a least element
• A property of sentences that define quasi-order
• Correspondence and Completeness for Generalized Quantifiers

This page was built for publication: Quantifiers determined by partial orderings

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