鲍博尼等人(P.Balbiani et al.,[2])提出了任意公开宣告逻辑(APAL)。它是普拉策(J.Plaza,[7])公开宣告逻辑的扩展,加入了关于宣告的量词。这种逻辑已经被公理化,但它的完全性证明总被认为可能会很复杂。在本文中,我们提供了关于任意公...鲍博尼等人(P.Balbiani et al.,[2])提出了任意公开宣告逻辑(APAL)。它是普拉策(J.Plaza,[7])公开宣告逻辑的扩展,加入了关于宣告的量词。这种逻辑已经被公理化,但它的完全性证明总被认为可能会很复杂。在本文中,我们提供了关于任意公开宣告逻辑的一个简要的完全性证明。这个证明是鲍博尼等人([2])证明的优化版。展开更多
Vitamin D receptor (VDR) polymorphisms have been studied as potential contributors to multiple sclerosis (MS). However, published studies differ with respect to study design and the significance of the effects det...Vitamin D receptor (VDR) polymorphisms have been studied as potential contributors to multiple sclerosis (MS). However, published studies differ with respect to study design and the significance of the effects detected. The aim of this study was to quantify the magnitude of the risk associated with the Taql, Bsml, Apal and Fold VDR polymorphisms in MS using a meta-analysis approach. Following the Preferred Reporting Items for Systematic Reviews and Meta-Analyses guidelines, we conducted a systematic search and meta-analysis of the literature. Subgroup analyses were performed to detect potential sources of heterogeneity from the selected study characteristics. The stability of the summary risk was evaluated using sensitivity analyses. The meta-analysis included a total of 3300 cases and 3194 controls from 13 case- control studies. There were no significant associations found between Taql and Bsml polymorphisms and MS risk. The association between the Apal polymorphism and MS risk was significant in the homozygous and codominant models (P=0.013 and P=0.031, respectively), suggesting that the AA Apal genotype might be a significant MS risk factor. Publication year and age significantly affected the association between Taql polymorphisms and MS (P=0.014 and P=0.010, respectively), which indicates a protective effect of the major T allele. The AA Apal and FF Fold genotypes are significant risk factors for MS. The association between the Taql polymorphism and MS risk is significantly affected by study characteristics.展开更多
文摘鲍博尼等人(P.Balbiani et al.,[2])提出了任意公开宣告逻辑(APAL)。它是普拉策(J.Plaza,[7])公开宣告逻辑的扩展,加入了关于宣告的量词。这种逻辑已经被公理化,但它的完全性证明总被认为可能会很复杂。在本文中,我们提供了关于任意公开宣告逻辑的一个简要的完全性证明。这个证明是鲍博尼等人([2])证明的优化版。
文摘Vitamin D receptor (VDR) polymorphisms have been studied as potential contributors to multiple sclerosis (MS). However, published studies differ with respect to study design and the significance of the effects detected. The aim of this study was to quantify the magnitude of the risk associated with the Taql, Bsml, Apal and Fold VDR polymorphisms in MS using a meta-analysis approach. Following the Preferred Reporting Items for Systematic Reviews and Meta-Analyses guidelines, we conducted a systematic search and meta-analysis of the literature. Subgroup analyses were performed to detect potential sources of heterogeneity from the selected study characteristics. The stability of the summary risk was evaluated using sensitivity analyses. The meta-analysis included a total of 3300 cases and 3194 controls from 13 case- control studies. There were no significant associations found between Taql and Bsml polymorphisms and MS risk. The association between the Apal polymorphism and MS risk was significant in the homozygous and codominant models (P=0.013 and P=0.031, respectively), suggesting that the AA Apal genotype might be a significant MS risk factor. Publication year and age significantly affected the association between Taql polymorphisms and MS (P=0.014 and P=0.010, respectively), which indicates a protective effect of the major T allele. The AA Apal and FF Fold genotypes are significant risk factors for MS. The association between the Taql polymorphism and MS risk is significantly affected by study characteristics.