Relevant Variants of Intuitionistic Logic
- 期刊名称Logic Journal of IGPL
- 作者SHRAMKO, YAROSLAV V.
- 卷第2卷
- 期第1期
- 印刷ISSN1367-0751
- 电子ISSN1368-9894
- 文件大小321.65KB
- 发表时间1994
- DOI10.1093/jigpal/2.1.47
- 页码47-53
Al models for business process reengineeringYu, E.S.K.; Mylopoulos, J.; Lesperance, Y. · 1996
2285: Clinical Predictors of Bone Metastasis Following Definitive Radiation Therapy for Prostate CancerJ.R. Sterbis; Y. Chen; J. Cullen; J.O. Lesperance; D.G. McLeod; S.K. Kang · 2006
Sex Differences in Presentation and Outcome After an Acute Transient or Minor Neurologic EventYu, Amy Y. X.; Penn, Andrew M.; Lesperance, Mary L.; Croteau, Nicole S.; Balshaw, Robert F.; Votova, Kristine; Bibok, Maximilian B.; Penn, Melanie; Saly, Viera; Hegedus, Janka; Zerna, Charlotte; Klourfeld, Evgenia; Bilston, Lisa; Hong, Zachary M.; Coutts, Shelagh B. · JAMA Neurology · 2019
Mega-Dose Vitamins and Minerals in the Treatment of Non-Metastatic Breast Cancer: An Historical Cohort StudyM.L. Lesperance; I.A. Olivotto; N. Forde; Y. Zhao; C. Speers; H. Foster; M. Tsao; N. MacPherson; A. Hoffer · 2002
A controlled clinical trial to assess the effect of a calcium channel blocker on the progression of coronary atherosclerosisWaters, D.; Lesperance, J.; Francetich, M.; Causey, D.; Theroux, P.; Chiang, Y. K.; Hudon, G.; Lemarbre, L.; Reitman, M.; Joyal, M. · Circulation · 1990
Systolic blood pressure as a predictor of transient ischemic attack/minor stroke in emergency department patients under age 80: a prospective cohort studyPenn, Andrew M.; Croteau, Nicole S.; Votova, Kristine; Sedgwick, Colin; Balshaw, Robert F.; Coutts, Shelagh B.; Penn, Melanie; Blackwood, Kaitlin; Bibok, Maximilian B.; Saly, Viera; Hegedus, Janka; Yu, Amy Y. X.; Zerna, Charlotte; Klourfeld, Evgenia; Lesperance, Mary L. · BMC Neurology · 2019
Verification of a Proteomic Biomarker Panel to Diagnose Minor Stroke and Transient Ischaemic Attack: Phase 1 of SpecTRA, a Large Scale Translational Study.Penn, Andrew. M.; Bibok, Maximilian B.; Saly, Viera K.; Coutts, Shelagh B.; Lesperance, Mary L.; Balshaw, Robert F.; Votova, Kristine; Croteau, Nicole S.; Trivedi, Anurag; Jackson, Angela M.; Hegedus, Janka; Klourfeld, Evgenia; Yu, Amy Y. X.; Zerna, Charlotte; Borchers, Christoph H. · Biomarkers · 2018
Hyperidentities of De Morgan algebrasMovsisyan, Y. M.; Aslanyan, V. A. · Logic Journal of IGPL · 2012
Substructural logics on displayGore, R · Logic Journal of IGPL · 1998
Modal Logics for Qualitative Spatial ReasoningBENNETT, BRANDON · Logic Journal of IGPL · 1996
Self provers and 1 sentencesGoris, E.; Joosten, J. J. · Logic Journal of IGPL · 2012
A Useful Substructural LogicRESTALL, GREG · Logic Journal of IGPL · 1994
Unifiability in extensions of K4Gencer, C.; De Jongh, D. · Logic Journal of IGPL · 2009
After GodelPutnam, H. · Logic Journal of IGPL · 2006
Algebraic polymodal logic: a surveyGoldblatt, R · Logic Journal of IGPL · 2000