Quantifiers determined by partial orderings

DOI10.1002/MALQ.19900360109zbMATH Open0712.03025OpenAlexW1992419016MaRDI QIDQ3496324FDOQ3496324

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

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

zbMATH Keywords

complete axiomatizationgeneralized quantifierweak modelrough quantifierspo-structure

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80)

Cited In (11)

• PARTIALLY ORDERED CONNECTIVES
• Title not available (Why is that?)
• AN OVERVIEW OF ROUGH SET SEMANTICS FOR MODAL AND QUANTIFIER LOGICS
• Title not available (Why is that?)
• Ranked partial structures
• Weak independence of quantifiers
• Title not available (Why is that?)
• 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)