Filetype
In this paper we define a many-valued semantics for hybrid logic and we give a sound and complete tableau system which is proof-theoretically well-behaved, in particular, it gives rise to a decision procedure for the logic. This shows that many-valued hybrid logics is a natural enterprise and opens up the way for future applications.
Översikt över innehavarna av posten som "rector illustris" vid Lunds universitet (1670 till 1750) med tonvikt på den förste respektive siste innehavaren av posten: Nils Banér (1654-1684) och Gustaf Fredrik Gyllenborg (1731-1808).
[abstract missing]
I denna artikel diskuteras betydelsen av kroppen som en uppmärksam och aktiv aktör i rituell praktik, förankrad i en specifik social och historisk kontext, de kanadensiska mi’kmaqindianernas livsvärld. Mi’kmaqs möjlighet att arbeta om den kulturella kropp det dominerande samhället har implementerat i dem, öppnar nya vägar att göra sig av med destruktiva mönster som de medvetet eller omedvetet har
Aim: The study investigated clinical and social changes during an 18-month follow-up period in a group (n = 76) of schizophrenic outpatients admitted to a newly implemented outpatient psychosis team. Changes related to level of contact with the psychosis team were also examined as well as aspects of the content of the treatment interventions and work situation from a staff perspective. Methods: St
[abstract missing]
This article adresses the problem of literary unity as is is posed by two late eighteenth century long poems, "Året 1783" by Bengt Lidner and Skördarne by Johan Gabriel Oxenstierna. By investigating the relations between poetry, poetics and practical criticism it seeks to document a situation in which new poems failed to achieve the kind of unity found in the traditional long poem, i.e. the epic.
Background: Pichia stipitis xylose reductase (Ps-XR) has been used to design Saccharomyces cerevisiae strains that are able to ferment xylose. One example is the industrial S. cerevisiae xyloseconsuming strain TMB3400, which was constructed by expression of P. stipitis xylose reductase and xylitol dehydrogenase and overexpression of endogenous xylulose kinase in the industrial S. cerevisiae strain
