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 8 of 8 for “"Distributivity"”.

  1. Distributivity and quantification in discourse representation theory

    … by existential closure or by the rule of distributivity. Then, sentence (1) is translated into (b) via (a). $\vert$student$\vert$ represents the number of atomic individuals of the set denoted by student.$$\eqalign{(1)\ &\rm Every\ student\ came.\cr(\rm a)\ &\rm\exists X\ \lbrack students\ …

    uiuc Repository record for Distributivity and quantification in discourse representation theory (opens in a new tab)

  2. Stability and distributivity over orbital [infinity]-categories/

    Let G be a finite group. The homotopy theory of topological spaces with an action of G has provided important applications in many parts of homotopy theory and geometry. An especially important role has been played by the so-called "norm maps". In this thesis we develop a characterization of the …

    mit Repository record for Stability and distributivity over orbital [infinity]-categories/ (opens in a new tab)

  3. Distributivity across domains : a study of the distributive numerals in Bangla

    … I argue that distributive numerals are not distributivity operators themselves. The distributive numerals introduce a plurality of discourse referents, and they require that this plurality of discourse referents must enter into a formal relationship with the plurality of individuals …

    mit Repository record for Distributivity across domains : a study of the distributive numerals in Bangla (opens in a new tab)

  4. Structured frames

    … view that a complete lattice with an appropriate distributivity property deserved to be studied as a generalized topological space in its own right. He called the lattice a local lattice. Here is the distributivity property: x ∧ Vxα = V(x∧xα). A map of local lattices should preserve finite meets …

    cape-town Repository record for Structured frames (opens in a new tab)

  5. A study of the phenomena of conjoining terms and related aberrant transformations in the simplification of algebraic expressions by Grade 8 learners of two secondary schools in the Western Cape

    … exploited structure-preserving mapping between distributivity and indirect distributivity that enables students to simplify algebraic expressions, but which inadvertently contributes to the production of aberrant conjoining in its reliance on the typographically legitimate conjoining of symbols …

    cape-town Repository record for A study of the phenomena of conjoining terms and related aberrant transformations in the simplification of algebraic expressions by Grade 8 learners of two secondary schools in the Western Cape (opens in a new tab)

  6. Universal quantification in the nominal domain in American Sign Language

    … quantifiers in ASL. In particular, I consider distributivity, interaction with the semantics of nouns, and the role of space.

    texas Repository record for Universal quantification in the nominal domain in American Sign Language (opens in a new tab)

  7. A probabilistic approach to a classical result of ore

    … The characterization of a cyclic group by the distributivity of its lattice of subgroups is due to a classical result of Ore in 1938. Therefore sd(G) is strongly related to structural properties of L(G). Here we introduce a new notion of probability gsd(G) in which two arbitrary sublattices …

    cape-town Repository record for A probabilistic approach to a classical result of ore (opens in a new tab)

  8. Probabilistic completion of nondeterministic models

    … two choice operators by requiring appropriate distributivity axioms (probabilistic choice over nondeterministic choice), in addition to the operations and axioms from both individual choice theories. Classically, the required monad has been defined by composing the adjunctions on the left hand …

    ottawa-retro Repository record for Probabilistic completion of nondeterministic models (opens in a new tab)