For a proper filter on a set, write when the truth set belongs to the filter. This quantifier preserves finite conjunctions. For an ultrafilter it also preserves finite disjunctions and obeys classical negation; a general proper filter need not have those latter properties.
A "filter quantifier" is a concept that can be found in various fields, but it is most commonly associated with logic, mathematics, and computer science, particularly in the context of quantified expressions in formal systems or programming languages. In logical and mathematical contexts, filter quantifiers can be understood as operators that restrict the domain of discourse to a certain subset defined by specific properties or conditions.
New to topics? Read the docs here!