We present a syntactic proof of cut-elimination for weak Grzegorczyk logic Go. The logic has a syntactically similar axiomatisation to Gödel–Löb logic GL (provability logic) and Grzegorczyk’s logic Grz. Semantically, GL can be viewed as the irreflexive counterpart of Go, and Grz can be viewed as the reflexive counterpart of Go. Although proofs of syntactic cut-elimination for GL and Grz have ap...

The aims of this study were to elucidate the immunomodulatory effects of glycyrrhizin (GL) on CD4(+)T cell responses during liver fibrogenesis. To obtain in vivo evidence about the effects of GL on CD4(+)T cells in livers and spleens of concanavalin A (ConA)-induced mouse model, mice were administrated with ConA together with or without GL for 8 weeks. Mice treated with GL dramatically prevente...

The aim of this study was to describe dietary glycaemic index (GI) and glycaemic load (GL) values in the diets of Danish children, and to examine the associations between dietary GI, GL and body fatness. Data were collected during 1997-8 as part of the European Youth Heart Study. The study population comprised 485 children aged 10 years and 364 children aged 16 years from Odense County, Denmark...

AIM Glycyrrhizin (GL) has been reported to protect against ischemia and reperfusion (I/R)-induced injury by inhibiting the cytokine activity of high mobility group box 1 (HMGB1). In the present study, the protective effects of GL against I/R injury, as well as the related molecular mechanisms, were investigated in rat brains. METHODS Focal cerebral I/R injury was induced by intraluminal filam...

Although the enzymatic lesion in Gaucher's disease is well established, little is known concerning the pathogenic mechanisms involved in the clinical manifestations of the disease. In order to obtain insight into this unexplored aspect of Gaucher's disease, we examined the effects of glucocerebroside (GL(1)) at the cellular level in monolayers of cultured murine macrophages. The addition of GL(...

ABSTRACT Human cytomegalovirus (HCMV) glycoproteins gB and gH/gL are both necessary and sufficient for cell-cell fusion. However, it is not clear what roles these glycoproteins play in virus entry, whether acting directly in membrane fusion or in binding receptors. With other herpesviruses, it appears that gB is the fusion protein and is triggered by gH/gL, which, in some cases, binds receptors...

The herpes simplex virus type 1 (HSV-1) gH-gL complex which is found in the virion envelope is essential for virus infectivity and is a major antigen for the host immune system. However, little is known about the precise role of gH-gL in virus entry, and attempts to demonstrate the immunologic or vaccine efficacy of gH and gL separately or as the gH-gL complex have not succeeded. We constructed...

which converges absolutely in R(s) > 1. One knows by Jacquet, Piatetski-Shapiro and Shalika ([JPSS]), and Shahidi ([Sh1]), that this L-function extends to a meromorphic function on all of C and admits a functional equation L(s, π × π) = W (π × π)(N(π × π)dF ) 1 2 L(1− s, π × π ∨ ). Here π (resp. π ∨ ) denotes the contragredient of π (resp. π), dF the discriminant of F , and N(π × π) a positive ...

Background: Irritative symptoms including prolonged urgency and dysuria after GreenLight laser photoselective vaporization (PVP) of benign prostatic hyperplasia (BPH) are common complication. We aimed to compare the incidence of postoperative irritative symptoms of GreenLight XPS (GL-XPS) 180W laser system with GreenLight KTP (GL-KTP) 80W laser system for the treatment of BPH and evaluate the r...