Global ETD Search

Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.

Results

Showing 1 to 4 of 4 for “"generalized quantifiers"”.

  1. Operador de consecuencias extendido por agregadores formales para modelar bases de datos con incertidumbre

    … su categoría: Immediate consequences operator on generalized quantifiers (Fuzzy Sets and Systems) [129]. Computational reaching of quantified consequences from imperfect initial data (Mathematical Methods in the Applied Sciences) [122]. Computational technique for obtaining consequences in …

    cadiz Repository record for Operador de consecuencias extendido por agregadores formales para modelar bases de datos con incertidumbre (opens in a new tab)

  2. Plural predication

    … in first-order languages enriched with plural quantifiers. To capture such sentences I develop a language containing plural predicates. The introduction of plural predicates leads to an extension of Quine's criterion of ontological commitment. I argue that theories containing plural predicates …

    mit Repository record for Plural predication (opens in a new tab)

  3. Comparative quantifiers

    … is to present a novel analysis of comparative quantifiers such as more than three students. The prevalent view on such expressions advocated in Generalized Quantifier Theory is that they denoted generalized quantifiers ranging over individuals - entirely on a par with expressions like every …

    mit Repository record for Comparative quantifiers (opens in a new tab)

  4. Logic and games on automatic structures

    … and extend the notions of open and closed game quantifiers, introduced in the model theory of infinitary logics, to a regular game quantifier. We show that this game quantifier preserves regularity on automatic presentations and investigate its expressive power. We identify the classes of …

    aachen Repository record for Logic and games on automatic structures (opens in a new tab)