Dependence Logic: Investigations into Higher-Order Semantics Defined on Teams

This thesis is a study of a rather new logic called dependence logic and its closure under classical negation, team logic. In this thesis, dependence logic is investigated from several aspects. Some rules are presented for quantifier swapping in dependence logic and team logic. Such rules are among the basic tools one must be familiar with in order to gain the required intuition for using the logic for practical purposes. The thesis compares Ehrenfeucht-Fraïssé (EF) games of first order logic and dependence logic and defines a third EF game that characterises a mixed case where first order formulas are measured in the formula rank of dependence logic. The thesis contains detailed proofs of several translations between dependence logic, team logic, second order logic and its existential fragment. Translations are useful for showing relationships between the expressive powers of logics. Also, by inspecting the form of the translated formulas, one can see how an aspect of one logic can be expressed in the other logic. The thesis makes preliminary investigations into proof theory of dependence logic. Attempts focus on finding a complete proof system for a modest yet nontrivial fragment of dependence logic. A key problem is identified and addressed in adapting a known proof system of classical propositional logic to become a proof system for the fragment, namely that the rule of contraction is needed but is unsound in its unrestricted form. A proof system is suggested for the fragment and its completeness conjectured. Finally, the thesis investigates the very foundation of dependence logic. An alternative semantics called 1-semantics is suggested for the syntax of dependence logic. There are several key differences between 1-semantics and other semantics of dependence logic. 1-semantics is derived from first order semantics by a natural type shift. Therefore 1-semantics reflects an established semantics in a coherent manner. Negation in 1-semantics is a semantic operation and satisfies the law of excluded middle. A translation is provided from unrestricted formulas of existential second order logic into 1-semantics. Also game theoretic semantics are considerd in the light of 1-semantics.

Short-term plant-decomposer feedbacks in grassland plants

Plant species differ in their effects on ecosystem productivity and it is recognised that these effects are partly due to plant species-specific influences on soil processes. Until recently, however, not much attention was given to the potential role played by soil biota in these species-specific effects. While soil decomposers are responsible for governing the availability of nutrients for plant production, they simultaneously depend on the amount of carbon provided by plants. Litter and rhizodeposition constitute the two basal resources that plants provide to soil decomposer food webs. While it has been shown that both of these can have effects on soil decomposer communities that differ among plant species, the putative significance of these effects for plant nitrogen (N) acquisition is currently understudied. My PhD work aimed at clarifying whether the species-specific influences of three temperate grassland plants on the soil microfood-web, through rhizodeposition and litter, can feed back to plant N uptake. The methods and approach used (15N labelling of plant litter in microcosm experiments) revealed to be an effective combination of tools in studying these feedbacks. Plant effects on soil organisms were shown to differ significantly between plant species and the effects could be followed across several trophic levels. The labelling of litter further permitted the evaluation of plant acquisition of N derived from soil organic matter. The results show that the structure of the soil microfood-web can have a significant role in plant N acquisition when the structure is experimentally manipulated, such as when comparing systems consisting of microbes to those consisting of microbes and their grazers. However, despite this, the results indicate that differences in N uptake from soil organic matter between different plant species are not related to the effects these species exert on the structure of the soil microfood-web. Rather, these differences in N uptake seem to be determined by other species-specific traits of live plants and their litter. My results thus indicate that different resources provided by different plant species may not induce species-specific decomposer feedbacks on plant N uptake from soil organic matter. This further suggests that the species-specific plant effects on soil decomposer communities may not, at least in the short term, have significant consequences on plant production.

Archaea in the Mycorrhizosphere of Boreal Forest Trees

Archaea were long thought to be a group of ancient bacteria, which mainly lived in extreme environments. Due to the development of DNA sequencing methods and molecular phylogenetic analyses, it was shown that the living organisms are in fact divided into three domains; the Archaea, Bacteria and the Eucarya. Since the beginning of the previous decade, it was shown that archaea generally inhabit moderate environments and that these non-extremophilic archaea are more ubiquitous than the extremophiles. Group 1 of non-extreme archaea affiliate with the phylum Crenarchaeota. The most commonly found soil archaea belong to the subgroup 1.1b. However, the Crenarchaeota found in the Fennoscandian boreal forest soil belong to the subgroup 1.1c. The organic top layer of the boreal forest soil, the humus, is dominated by ectomycorrhizal fungal hyphae. These colonise virtually all tree fine root tips in the humus layer and have been shown to harbour distinct bacterial populations different from those in the humus. The archaea have also been shown to colonise both boreal forest humus and the rhizospheres of plants. In this work, studies on the archaeal communities in the ectomycorrhizospheres of boreal forest trees were conducted in microcosms. Archaea belonging to the group 1.1c Crenarchaeota and Euryarchaeota of the genera Halobacterium and Methanolobus were detected. The archaea generally colonised fungal habitats, such as ectomycorrhizas and external mycelia, rather than the non-mycorrhizal fine roots of trees. The species of ectomycorrhizal fungus had a great impact on the archaeal community composition. A stable euryarchaeotal community was detected especially in the mycorrhizas, of most of the tested Scots pine colonising ectomycorrhizal fungi. The Crenarchaeota appeared more sporadically in these habitats, but had a greater diversity than the Euryarchaeota. P. involutus mycorrhizas had a higher diversity of 1.1c Crenarchaeota than the other ectomycorrhizal fungi. The detection level of archaea in the roots of boreal trees was generally low although archaea have been shown to associate with roots of different plants. However, alder showed a high diversity of 1.1c Crenarchaeota, exceeding that of any of the tested mycorrhizas. The archaeal 16S rRNA genes detected from the non-mycorrhizal roots were different from those of the P. involutus mycorrhizas. In the phylogenetic analyses, the archaeal 16S rRNA gene sequences obtained from non-mycorrhizal fine roots fell in a separate cluster within the group 1.1c Crenarchaeota than those from the mycorrhizas. When the roots of the differrent tree species were colonised by P. involutus, the diversity and frequency of the archaeal populations of the different tree species were more similar to each other. Both Cren- and Euryarchaeota were enriched in cultures to which C-1 substrates were added. The 1.1c Crenarchaeota grew anaerobically in mineral medium with CH4 and CO2 as the only available C sources, and in yeast extract media with CO2 and CH4 or H2. The crenarchaeotal diversity was higher in aerobic cultures on mineral medium with CH4 or CH3OH than in the anaerobic cultures. Ecological functions of the mycorrhizal 1.1c Crenarchaeota in both anaerobic and aerobic cycling of C-1 compounds were indicated. The phylogenetic analyses did not divide the detected Crenarchaeota into anaerobic and aerobic groups. This may suggest that the mycorrhizospheric crenarchaeotal communities consist of closely related groups of anaerobic and aerobic 1.1c Crenarchaeota, or the 1.1c Crenarchaeota may be facultatively anaerobic. Halobacteria were enriched in non-saline anaerobic yeast extract medium cultures in which CH4 was either added or produced, but were not detected in the aerobic cultures. They may potentially be involved in anaerobic CH4 cycling in ectomycorrhizas. The CH4 production of the mycorrhizal samples was over 10 times higher than for humus devoid of mycorrhizal hyphae, indicating a high CH4 production potential of the mycorrhizal metanogenic community. Autofluorescent methanogenic archaea were detected by microscopy and 16S rRNA gene sequences of the genus Methanolobus were obtained. The archaeal community depended on both tree species and the type of ectomycorrhizal fungus colonising the roots and the Cren- and Euryarchaeota may have different ecological functions in the different parts of the boreal forest tree rhizosphere and mycorrhizosphere. By employing the results of this study, it may be possible to isolate both 1.1c Crenarchaeota as well as non-halophilic halobacteria and aerotolerant methanogens from mycorrhizospheres. These archaea may be used as indicators for change in the boreal forest soil ecosystem due to different factors, such as exploitations of forests and the rise in global temperature. More information about the microbial populations with apparently low cell numbers but significant ecological impacts, such as the boreal forest soil methanogens, may be of crucial importance to counteract human impacts on such globally important ecosystems as the boreal forests.

Maintaining plant species richness by cattle grazing - mesic semi-natural grasslands as focal habitats

Semi-natural grasslands are the most important agricultural areas for biodiversity. The present study investigates the effects of traditional livestock grazing and mowing on plant species richness, the main emphasis being on cattle grazing in mesic semi-natural grasslands. The two reviews provide a thorough assessment of the multifaceted impacts and importance of grazing and mowing management to plant species richness. It is emphasized that livestock grazing and mowing have partially compensated the suppression of major natural disturbances by humans and mitigated the negative effects of eutrophication. This hypothesis has important consequences for nature conservation: A large proportion of European species originally adapted to natural disturbances may be at present dependent on livestock grazing and / or mowing. Furthermore, grazing and mowing are key management methods to mitigate effects of nutrient-enrichment. The species composition and richness in old (continuously grazed), new (grazing restarting 3-8 years ago) and abandoned (over 10 years) pastures differed consistently across a range of spatial scales, and was intermediate in new pastures compared to old and abandoned pastures. In mesic grasslands most plant species were shown to benefit from cattle grazing. Indicator species of biologically valuable grasslands and rare species were more abundant in grazed than in abandoned grasslands. Steep S-SW-facing slopes are the most suitable sites for many grassland plants and should be prioritized in grassland restoration. The proportion of species trait groups benefiting from grazing was higher in mesic semi-natural grasslands than in dry and wet grasslands. Consequently, species trait responses to grazing and the effectiveness of the natural factors limiting plant growth may be intimately linked High plant species richness of traditionally mowed and grazed areas is explained by numerous factors which operate on different spatial scales. Particularly important for maintaining large scale plant species richness are evolutionary and mitigation factors. Grazing and mowing cause a shift towards the conditions that have occurred during the evolutionary history of European plant species by modifying key ecological factors (nutrients, pH and light). The results of this Dissertation suggest that restoration of semi-natural grasslands by private farmers is potentially a useful method to manage biodiversity in the agricultural landscape. However, the quality of management is commonly improper, particularly due to financial constraints. For enhanced success of restoration, management regulations in the agri-environment scheme need to be defined more explicitly and the scheme should be revised to encourage management of biodiversity.

The biological functions of mouse twinfilin isoforms

The actin cytoskeleton is essential for many cellular processes, including motility, morphogenesis, endocytosis and signal transduction. Actin can exist in monomeric (G-actin) or filamentous (F-actin) form. Actin filaments are considered to be the functional form of actin, generating the protrusive forces characteristic for the actin cytoskeleton. The structure and dynamics of the actin filament and monomer pools are regulated by a large number of actin-binding proteins in eukaryotic cells. Twinfilin is an evolutionarily conserved small actin monomer binding protein. Twinfilin is composed of two ADF/cofilin-like domains, separated by a short linker and followed by a C-terminal tail. Twinfilin forms a stable, high affinity complex with ADP-G-actin, inhibits the nucleotide exchange on actin monomers, and prevents their assembly into filament ends. Twinfilin was originally identified from yeast and has since then been found from all organisms studied except plants. Not much was known about the role of twinfilin in the actin dynamics in mammalian cells before this study. We set out to unravel the mysteries still covering twinfilins functions using biochemistry, cell biology, and genetics. We identified and characterized two mouse isoforms for the previously identified mouse twinfilin-1. The new isoforms, twinfilin-2a and -2b, are generated from the same gene through alternative promoter usage. The three isoforms have distinctive expression patterns, but are similar biochemically. Twinfilin-1 is the major isoform during development and is expressed in high levels in almost all tissues examined. Twinfilin-2a is also expressed almost ubiquitously, but at lower levels. Twinfilin-2b turned out to be a muscle-specific isoform, with very high expression in heart and skeletal muscle. It seems all mouse tissues express at least two twinfilin isoforms, indicating that twinfilins are important regulators of actin dynamics in all cell and tissue types. A knockout mouse line was generated for twinfilin-2a. The mice homozygous for this knockout were viable and developed normally, indicating that twinfilin-2a is dispensable for mouse development. However, it is important to note that twinfilin-2a shows similar expression pattern to twinfilin-1, suggesting that these proteins play redundant roles in mice. All mouse isoforms were shown to be able to sequester actin filaments and have higher affinity for ADP-G-actin than ATP-G-actin. They are also able to directly interact with heterodimeric capping protein and PI(4,5)P2 similar to yeast twinfilin. In this study we also uncovered a novel function for mouse twinfilins; capping actin filament barbed ends. All mouse twinfilin isoforms were shown to possess this function, while yeast and Drosophila twinfilin were not able to cap filament barbed ends. Twinfilins localize to the cytoplasm but also to actin-rich regions in mammalian cells. The subcellular localizations of the isoforms are regulated differently, indicating that even though twinfilins biochemical functions in vitro are very similar, in vivo they can play different roles through different regulatory pathways. Together, this study show that twinfilins regulate actin filament assembly both by sequestering actin monomers and by capping filament barbed ends, and that mammals have three biochemically similar twinfilin isoforms with partially overlapping expression patterns.

Production of F4 Fimbrial Adhesin in Plants: a Model for Oral Porcine Vaccine against Enterotoxigenic Escherichia coli

F4 fimbriae of enterotoxigenic Escherichia coli (ETEC) are highly stable multimeric structures with a capacity to evoke mucosal immune responses. With these characters F4 offer a unique model system to study oral vaccination against ETEC-induced porcine postweaning diarrhea. Postweaning diarrhea is a major problem in piggeries worldwide and results in significant economic losses. No vaccine is currently available to protect weaned piglets against ETEC infections. Transgenic plants provide an economically feasible platform for large-scale production of vaccine antigens for animal health. In this study, the capacity of transgenic plants to produce FaeG protein, the major structural subunit and adhesin of F4 fimbria, was evaluated. Using the model plant tobacco, the optimal subcellular location for FaeG accumulation was examined. Targeting of FaeG into chloroplasts offered a superior accumulation level of 1% of total soluble proteins (TSP) over the other investigated subcellular locations, namely, the endoplasmic reticulum and the apoplast. Moreover, we determined whether the FaeG protein, when isolated from its fimbrial background and produced in a plant cell, would retain the key properties of an oral vaccine, i.e. stability in gastrointestinal conditions, binding to porcine intestinal F4 receptors (F4R), and inhibition of the F4-possessing (F4+) ETEC attachment to F4R. The chloroplast-derived FaeG protein did show resistance against low pH and proteolysis in the simulated gastrointestinal conditions and was able to bind to the F4R, subsequently inhibiting the F4+ ETEC binding in a dose-dependent manner. To investigate the oral immunogenicity of FaeG protein, the edible crop plant alfalfa was transformed with the chloroplast-targeting construct and equally to tobacco plants, a high-yield FaeG accumulation of 1% of TSP was obtained. A similar yield was also obtained in the seeds of barley, a valuable crop plant, when the FaeG-encoding gene was expressed under an endosperm-specific promoter and subcellularly targeted into the endoplasmic reticulum. Furthermore, desiccated alfalfa plants and barley grains were shown to have a capacity to store FaeG protein in a stable form for years. When the transgenic alfalfa plants were administred orally to weaned piglets, slight F4-specific systemic and mucosal immune responses were induced. Co-administration of the transgenic alfalfa and the mucosal adjuvant cholera toxin enhanced the F4-specific immune response; the duration and number of F4+ E. coli excretion following F4+ ETEC challenge were significantly reduced as compared with pigs that had received nontransgenic plant material. In conclusion, the results suggest that transgenic plants producing the FaeG subunit protein could be used for production and delivery of oral vaccines against porcine F4+ ETEC infections. The findings here thus present new approaches to develop the vaccination strategy against porcine postweaning diarrhea.

Dung beetle radiations in Madagascar

Speciation on islands is affected by island size and the range of habitats and resources available and often also by limited interactions with other taxa. An ancestral population may evolve into a large number of species via an adaptive radiation. In Madagascar, most groups of animals and plants have radiated on the island, having arrived via oceanic dispersal during the long isolation of Madagascar. Characteristic features of Malagasy biota are exceptionally high level of endemism, high species richness as well as lack of many higher taxa that are dominant on the African mainland. Malagasy dung beetles are dominated by two tribes, Canthonini and Helictopleurina, with more than 250 endemic species. In this thesis I have reconstructed molecular phylogenies for the two tribes using several gene regions and different phylogenetic methods. Evolution of closely related species and among populations of the same species was examined with haplotype networks. The Malagasy Canthonini consists of three large lineages, while Helictopleurina forms a monophyletic group. The ancestors of each of the four clades colonised Madagascar at different times during Cenozoic. The subsequent radiations differ in terms of the number of extant species (from 37 to more than 100) and the level of ecological differentiation. In addition, Onthophagini (6 species) and Scarabaeini (3) have colonised Madagascar several times, but they have not radiated and the few species have not entered forests where Canthonini and Helictopleurina mostly occur. Among the three Canthonini radiations, speciation appears to have been mostly allopatric in the oldest and the youngest clades, while in the Epactoides clade sister species have diverged in their ecologies but have similar geographical distributions, indicating that speciation may have occurred in regional sympatry. The most likely isolating mechanisms have been rivers and forest refugia during dry and cool geological periods. Most species are generalists feeding on both carrion and dung, and competition among ecologically similar species may prevent their coexistence in the same communities. Some species have evolved to forage in the canopy and a few species have shifted to use cattle dung, a new resource in the open habitats following the introduction of cattle 1500 years ago. The latter shift has allowed species to expand their geographical ranges.

Ecological consequences of genetic modifications - an invasion analysis approach

Biological invasions are considered as one of the greatest threats to biodiversity, as they may lead to disruption and homogenization of natural communities, and in the worst case, to native species extinctions. The introduction of gene modified organisms (GMOs) to agricultural, fisheries and forestry practices brings them into contact with natural populations. GMOs may appear as new invasive species if they are able to (1) invade into natural habitats or (2) hybridize with their wild relatives. The benefits of GMOs, such as increased yield or decreased use of insecticides or herbicides in cultivation, may thus be reduced due the potential risks they may cause. A careful ecological risk analysis therefore has to precede any responsible GMO introduction. In this thesis I study ecological invasion in relation to GMOs, and what kind of consequences invasion may have in natural populations. A set of theoretical models that combine life-history evolution, population dynamics, and population genetics were developed for the hazard identification part of ecological risks assessment of GMOs. In addition, the potential benefits of GMOs in management of an invasive pest were analyzed. In the first study I showed that a population that is fluctuating due to scramble-type density dependence (due to, e.g., nutrient competition in plants) may be invaded by a population that is relatively more limited by a resource (e.g., light in plants) that is a cause of contest-type density dependence. This result emphasises the higher risk of invasion in unstable environments. The next two studies focused on escape of a growth hormone (GH) transgenic fish into a natural population. The results showed that previous models may have given too pessimistic a view of the so called Trojan gene -effect, where the invading genotype is harmful for the population as a whole. The previously suggested population extinctions did not occur in my studies, since the changes in mating preferences caused by the GH-fish were be ameliorated by decreased level of competition. The GH-invaders may also have to exceed a threshold density before invasion can be successful. I also showed that the prevalence of mature parr (aka. sneaker) strategy among GH-fish may have clear effect on invasion outcome. The fourth study assessed the risks and developed methods against the invasion of the Colorado Potato Beetle (CPB, Leptinotarsa decemlineata). I showed that the eradication of CPB is most important for the prevention of their establishment, but the cultivation of transgenic Bt-potato could also be effective. In general, my results emphasise that invasion of transgenic species or genotypes to be possible under certain realistic conditions and resulting in competitive exclusion, population decline through outbreeding depression and genotypic displacement of native species. Ecological risk assessment should regard the decline and displacement of the wild genotype by an introduced one as a consequence that is as serious as the population extinction. It will also be crucial to take into account different kinds of behavioural differences among species when assessing the possible hazards that GMOs may cause if escaped. The benefits found of GMO crops effectiveness in pest management may also be too optimistic since CPB may evolve resistance to Bt-toxin. The models in this thesis could be further applied in case specific risk assessment of GMOs by supplementing them with detailed data of the species biology, the effect of the transgene introduced to the species, and also the characteristics of the populations or the environments in the risk of being invaded.