forall x: Calgary. An Introduction to Formal Logic

forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), translating (formalizing) English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as truth-functional completeness and modal logic. Exercises with solutions are available. It is provided in PDF (for screen reading, printing, and a special version for dyslexics) and in LaTeX source code

Autoimmunity After Ischemic Stroke and Brain Injury

Ischemic Stroke is a major cause of morbidity and mortality worldwide. Sterile inflammation occurs after both stroke subtypes and contributes to neuronal injury and damage to the blood-brain barrier with release of brain antigens and a potential induction of autoimmune responses that escape central and peripheral tolerance mechanisms. In stroke patients, the detection of T cells and antibodies specific to neuronal antigens suggests a role of humoral adaptive immunity. In experimental models stroke leads to a significant increase of autoreactive T and B cells to CNS antigens. Lesion volume and functional outcome in stroke patients and murine stroke models are connected to antigen-specific responses to brain proteins. In patients with traumatic brain injury (TBI) a range of antibodies against brain proteins can be detected in serum samples. In this review, we will summarize the role of autoimmunity in post-lesional conditions and discuss the role of B and T cells and their potential neuroprotective or detrimental effects

Building Ownership, Renovation Investments, and Energy Performance—A Study of Multi-Family Dwellings in Gothenburg

The European building stock was renewed at a rapid pace during the period 1950–1975. In many European countries, the building stock from this time needs to be renovated, and there are opportunities to introduce energy efficiency measures in the renovation process. information availability and increasingly available analysis tools make it possible to assess the impact of policy and regulation. This article describes methods developed for analyzing investments in renovation and energy performance based on building ownership and inhabitant socio-economic information developed for Swedish authorities, to be used for the Swedish national renovations strategy in 2019. This was done by analyzing measured energy usage and renovation investments made during the last 30 years, coupled with building specific official information of buildings and resident area characteristics, for multi-family dwellings in Gothenburg (N = 6319). The statistical analyses show that more costly renovations lead to decreasing energy usage for heating, but buildings that have been renovated during the last decades have a higher energy usage when accounting for current heating system, ownership, and resident socio-economic background. It is appropriate to include an affordability aspect in larger renovation projects since economically disadvantaged groups are over-represented in buildings with poorer energy performance

Report on the 1st scientific meeting of the "Verein zur Förderung des Wissenschaftlichen Nachwuchses in der Neurologie" (NEUROWIND e.V.) held in Mittenwalde/Motzen, Germany, Oct. 30th - Nov. 1st, 2009

Report on the 1st scientific meeting of the "Verein zur Forderung des Wissenschaftlichen Nachwuchses in der Neurologie" (NEUROWIND e.V.) held in Mittenwalde/Motzen, Germany, Oct. 30th - Nov. 1st, 2009 A scientific meeting repor

Report on the 3'rd scientific meeting of the "Verein zur Förderung des Wissenschaftlichen Nachwuchses in der Neurologie" (NEUROWIND e.V.) held in Motzen, Germany, Nov. 4'th - Nov. 6'th, 2011

From November 4th- 6th 2011, the 3rd NEUROWIND e.V. meeting was held in Motzen, Brandenburg, Germany. Like in the previous years, the meeting provided an excellent platform for scientific exchange and the presentation of innovative projects for young colleagues in the fields of neurovascular research, neuroinflammation and neurodegeneration. As kick-off to the scientific sessions, Reinhard Hohlfeld, Head of the Institute for Clinical Neuroimmunology in Munich, gave an illustrious overview on the many fascinations of neuroimmunologic research. A particular highlight on the second day of the meeting was the award of the 1’st NEUROWIND e.V. prize for young academics in the field of experimental neurology. This award is posted for young colleagues under the age of 35 with a significant achievement in the field of neurovascular research, neuroinflammation or neurodegeneration and comprises an amount of 20.000 Euro, founded by Merck Serono GmbH, Darmstadt. Germany. The first prize was awarded to Ivana Nikic from Martin Kerschensteiner’s group in Munich for her brilliant work on a reversible form of axon damage in experimental autoimmune encephalomyelitis and multiple sclerosis, published in Nature Medicine in 2011. This first prize award ceremony was a great incentive for the next call for proposals now upcoming in 2012

Report on the 2nd scientific meeting of the "Verein zur Förderung des Wissenschaftlichen Nachwuchses in der Neurologie" (NEUROWIND e.V.) held in Motzen, Germany, Oct. 29'th - Oct. 31'st, 2010

From November 4th- 6th 2011, the 3rd NEUROWIND e.V. meeting was held in Motzen, Brandenburg, Germany. Like in the previous years, the meeting provided an excellent platform for scientific exchange and the presentation of innovative projects for young colleagues in the fields of neurovascular research, neuroinflammation and neurodegeneration. As kick-off to the scientific sessions, Reinhard Hohlfeld, Head of the Institute for Clinical Neuroimmunology in Munich, gave an illustrious overview on the many fascinations of neuroimmunologic research. A particular highlight on the second day of the meeting was the award of the 1'st NEUROWIND e.V. prize for young academics in the field of experimental neurology. This award is posted for young colleagues under the age of 35 with a significant achievement in the field of neurovascular research, neuroinflammation or neurodegeneration and comprises an amount of 20.000 Euro, founded by Merck Serono GmbH, Darmstadt. Germany. The first prize was awarded to Ivana Nikic from Martin Kerschensteiner's group in Munich for her brilliant work on a reversible form of axon damage in experimental autoimmune encephalomyelitis and multiple sclerosis, published in Nature Medicine in 2011. This first prize award ceremony was a great incentive for the next call for proposals now upcoming in 2012