Sökning: "disjunction"

Visar resultat 1 - 5 av 12 avhandlingar innehållade ordet disjunction.

  1. 1. Norms and Alternatives : Logical Aspects of Normative Reasoning

    Författare :Karl Nygren; Valentin Goranko; Dag Westerståhl; Ivano Ciardelli; Stockholms universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; alternative semantics; norms; normative systems; deontic logic; modal logic; inquisitive semantics; inquisitive logic; semantics of questions; disjunction; free choice; obligation; permission; action; normative reasoning; ignorance; axiomatic system; completeness; Philosophy; filosofi;

    Sammanfattning : In this thesis, I develop and investigate various novel semantic frameworks for deontic logic. Deontic logic concerns the logical aspects of normative reasoning. In particular, it concerns reasoning about what is required, allowed and forbidden. I focus on two main issues: free-choice reasoning and the role of norms in deontic logic. LÄS MER

  3. 2. Studies in extended unification-based formalism for linguistic description : an algorithm for feature structures with disjunction and a proposal for flexible systems

    Författare :Lena Strömbäck; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : Unification-based formalisms have been used in computational and traditional linguistics for quite some while. In these formalisms the feature structure is the basic structure for representing linguistic information. LÄS MER

  4. 3. Achieving completeness: from constructive set theory to large cardinals

    Författare :Christian Espíndola; Erik Palmgren; Benno van den Berg; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Mathematics; matematik;

    Sammanfattning : This thesis is an exploration of several completeness phenomena, both in the constructive and the classical settings. After some introductory chapters in the first part of the thesis where we outline the background used later on, the constructive part contains a categorical formulation of several constructive completeness theorems available in the literature, but presented here in an unified framework. LÄS MER

  5. 4. Systematics of Echiochilon and Ogastemma (Boraginaceae), and the Phylogeny of Boraginoideae

    Författare :Elisabeth Långström; Per Ola Karis; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Organismic biology; Antiphytum; Echiochilon; Ogastemma; Boraginaceae; Echiochileae trib. nov.; phylogeny; ITS; floral morphology; atpB; tribes; biogeography; Africa; America; Organismbiologi; Organism biology; Organismbiologi; Systematisk botanik; Systematic Botany;

    Sammanfattning : Echiochilon, Ogastemma and Sericostoma are revised resulting in the recognition of 15 species of Echiochilon and one Ogastemma species. Several species are placed in synonymy and three new species are described, E. baricum, E. callianthum and E. LÄS MER

  7. 5. Lived transitions : experiences of learning and inclusion among newly arrived students

    Författare :Jenny Nilsson Folke; Nihad Bunar; Karin Aronsson; Dympna Devine; Stockholms universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; lived transition; newly arrived students; post-migration ecology; lived school career; imagined school career; inclusion exclusion; in line out of line; in place out of place; embodied experiences; temporality; Child and Youth Science; barn- och ungdomsvetenskap;

    Sammanfattning : This thesis explores how newly arrived students experience conditions for learning and inclusion in their lived transitions within the Swedish school system. The thesis deploys an ethnographic approach combining interviews with participant observation. LÄS MER