A Finite Model Property for Gödel Modal Logics

A new semantics with the finite model property is provided and used to establish decidability for Gödel modal logics based on (crisp or fuzzy) Kripke frames combined locally with Gödel logic. A similar methodology is also used to establish decidability, and indeed co-NP-completeness for a Gödel S5 logic that coincides with the one-variable fragment of first-order Gödel logic.

Soil property and management effects on grassland microbial communities across a latitudinal gradient in Germany

There is much interest in the identification of the main drivers controlling changes in the microbial community that may be related to sustainable land use. We examined the influence of soil properties and land-use intensity (N fertilization, mowing, grazing) on total phospholipid fatty acid (PLFA) biomass, microbial community composition (PLFA profiles) and activities of enzymes involved in the C, N, and P cycle. These relationships were examined in the topsoil of grasslands from three German regions (Schorfheide-Chorin (SCH), Hainich-Dun (HAI), Schwabische Alb (ALB)) with different parent material. Differences in soil properties explained 60% of variation in PLFA data and 81% of variation in enzyme activities across regions and land-use intensities. Degraded peat soils in the lowland areas of the SCH with high organic carbon (OC) concentrations and sand content contained lower PLFA biomass, lower concentrations of bacterial, fungal, and arbuscular mycorrhizal PLFAs, but greater enzyme activities, and specific enzyme activities (per unit microbial biomass) than mineral soils in the upland areas of the HAI and ALB, which are finer textured, drier, and have smaller OC concentrations. After extraction of variation that originated from large-scale differences among regions and differences in land-use intensities between plots, soil properties still explained a significant amount of variation in PLFA data (34%) and enzyme activities (60%). Total PLFA biomass and all enzyme activities were mainly related to OC concentration, while relative abundance of fungi and fungal to bacterial ratio were mainly related to soil moisture. Land-use intensity (LUI) significantly decreased the soil C:N ratio. There was no direct effect of LUI on total PLFA biomass, microbial community composition, N and P cycling enzyme activities independent of study region and soil properties. In contrast, the activities and specific activities of enzymes involved in the C cycle increased significantly with LUI independent of study region and soil properties, which can have impact on soil organic matter decomposition and nutrient cycling. Our findings demonstrate that microbial biomass and community composition as well as enzyme activities are more controlled by soil properties than by grassland management at the regional scale. (C) 2013 Elsevier B.V: All rights reserved.

Fabric-mechanical property relationships of trabecular bone allografts are altered by supercritical CO2 treatment and gamma sterilization

Tissue grafts are implanted in orthopedic surgery every day. In order to minimize infection risk, bone allografts are often delipidated with supercritical CO2 and sterilized prior to implantation. This treatment may, however, impair the mechanical behavior of the bone graft tissue. The goal of this study was to determine clinically relevant mechanical properties of treated/sterilized human trabecular bone grafts, e.g. the apparent modulus, strength, and the ability to absorb energy during compaction. They were compared with results of identical experiments performed previously on untreated/fresh frozen human trabecular bone from the same anatomical site (Charlebois, 2008). We tested the hypothesis that the morphology–mechanical property relationships of treated cancellous allografts are similar to those of fresh untreated bone. The morphology of the allografts was determined by μCT. Subsequently, cylindrical samples were tested in unconfined and confined compression. To account for various morphologies, the experimental data was fitted to phenomenological mechanical models for elasticity, strength, and dissipated energy density based on bone volume fraction (BV/TV) and the fabric tensor determined by MIL. The treatment/sterilization process does not appear to influence bone graft stiffness. However, strength and energy dissipation of the bone grafts were found to be significantly reduced by 36% to 47% and 66% to 81%, respectively, for a broad range of volume fraction (0.14 < BV/TV < 0.39) and degree of anisotropy (1.24 < DA < 2.18). Since the latter properties are strongly dominated by BV/TV, the clinical consequences of this reduction can be compensated by using grafts with lower porosity. The data of this study suggests that an increase of 5–10% in BV/TV is sufficient to compensate for the reduced post-yield mechanical properties of treated/sterilized bone in monotonic compression. In applications where graft stiffness needs to be matched and strength is not a concern, treated allograft with the same BV/TV as an appropriate fresh bone graft may be used.

Rezension zu: Inge Govaere and Hanns Ulrich (eds.): Intellectual Property, Public Policy and International Trade

The contemporary intellectual property rights (IPR) system is not a simple, smoothly working block of rules but is complex and full of ambiguities, and as many argue, imperfections. Some deficits relate on the one hand to the inherent centrality of authorship, originality and mercantilism to the ‘Western’ IP model, which leaves numerous non-Western, collaborative or folkloric modes of production outside the scope of protection. On the other hand, some imperfections stem from the way IPR are granted, whereby creators acquire a temporary monopoly over their works and thus exclude the public from having access to them. In this sense, it is often uncertain whether the existent IPR model appropriately reflects the precarious balance between private and public interests, and whether the best incentives to promote creativity and innovation - the initially stated objectives of intellectual property protection - are offered. The matter becomes still more complicated when one considers that the IPR system is not domestically contained but is globalised and strongly affected by rules at the regional and international levels. The question of whether the balance between private interests and public values is sustained within the international legal framework, epitomised by the Agreement on Trade-Related Aspects of Intellectual Property Rights (TRIPS) of the World Trade Organization (WTO), is precisely the topic of the book reviewed here. Review of Intellectual Property, Public Policy, and International Trade, edited by Inge Govaere and Hanns Ullrich, P.I.E. Peter Lang, 2007.