The following pages link to (Q3113046):
Displayed 42 items.
- On vectorizations of unary generalized quantifiers (Q412063) (← links)
- Reasoning about mathematical fuzzy logic and its future (Q419039) (← links)
- Distributivity, collectivity, and cumulativity in terms of (in)dependence and maximality (Q548707) (← links)
- Extensions of MSO and the monadic counting hierarchy (Q617710) (← links)
- Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information (Q645985) (← links)
- On the expressive power of counting (Q672336) (← links)
- Partially-ordered (branching) generalized quantifiers: A general definition (Q676181) (← links)
- Old and new identities for Bernoulli polynomials via Fourier series (Q715098) (← links)
- On simplicity of formulas (Q757354) (← links)
- Monadic \(\mathbf L\)-fuzzy quantifiers of the type \(\langle 1^n,1\rangle \) (Q835184) (← links)
- Question answering and database querying: bridging the gap with generalized quantification (Q881829) (← links)
- Aristotelian syllogisms and generalized quantifiers (Q918951) (← links)
- Definability of second order generalized quantifiers (Q964457) (← links)
- A remark on collective quantification (Q1006495) (← links)
- The Craig interpolation theorem in abstract model theory (Q1024119) (← links)
- Symmetric propositions and logical quantifiers (Q1029824) (← links)
- \(\mathbf L\)-fuzzy quantifiers of type \(\langle 1\rangle \) determined by fuzzy measures (Q1043324) (← links)
- The Skolem-Löwenheim theorem in toposes. II (Q1068081) (← links)
- Henkin and function quantifiers (Q1121872) (← links)
- An overview of fuzzy quantifiers. I. Interpretations (Q1292062) (← links)
- On second-order generalized quantifiers and finite structures (Q1612478) (← links)
- Definability hierarchies of generalized quantifiers (Q1824614) (← links)
- Generalized quantifiers and pebble games on finite structures (Q1892941) (← links)
- Directions in generalized quantifier theory (Q1908858) (← links)
- The Skolem-Löwenheim theorem in toposes (Q2266009) (← links)
- Linguistic quantifiers based on Choquet integrals (Q2270416) (← links)
- Modeling the concept of majority opinion in group decision making (Q2488633) (← links)
- On Second-Order Monadic Groupoidal Quantifiers (Q3511462) (← links)
- Extensional Uniformity for Boolean Circuits (Q3540171) (← links)
- The Computational Complexity of Quantified Reciprocals (Q3623832) (← links)
- Generalized fuzzy quantifiers and the modeling of fuzzy branching quantification (Q3632980) (← links)
- Logical constants in quantifier languages (Q3727961) (← links)
- Topological model theory with an interior operator: Consistency properties and back — and forth arguments (Q3926559) (← links)
- On orderings of the family of all logics (Q3964545) (← links)
- (Q4013058) (← links)
- Generalized Quantifiers and Compact Logic (Q4083390) (← links)
- (Q4101074) (← links)
- (Q4453869) (← links)
- Polyadic quantifiers (Q4733854) (← links)
- The Square of Opposition and Generalized Quantifiers (Q4915587) (← links)
- (Q5573635) (← links)
- The descriptive complexity approach to LOGCFL (Q5946058) (← links)