Kripke Completeness of Bi-intuitionistic Multilattice Logic and its Connexive Variant
- 期刊名称Studia Logica
- 作者Kamide, Norihiro; Shramko, Yaroslav; Wansing, Heinrich
- 卷第105卷
- 期第6期
- 印刷ISSN0039-3215
- 电子ISSN1572-8730
- 文件大小544.40KB
- 发表时间2017-12
- DOI10.1007/s11225-017-9752-x
- 页码1193-1219
Endotracheal Tube Cuff LeaksEl-Orbany, Mohammad; Salem, M. Ramez · Survey of Anesthesiology · 2014
Anaesthesia Considerations in Penetrating TraumaSheffy, N.; Chemsian, R. V.; Grabinsky, A. · Survey of Anesthesiology · 2015
Patient Blood ManagementGoodnough, Lawrence Tim; Shander, Aryeh · Survey of Anesthesiology · 2012
Resuscitation FluidsMyburgh, John A.; Mythen, Michael G. · Survey of Anesthesiology · 2014
Pre-Hospital AnaesthesiaLockey, D. J.; Crewdson, K.; Lossius, H. M. · Survey of Anesthesiology · 2015
Perioperative Cognitive Trajectory in AdultsNadelson, M. R.; Sanders, R. D.; Avidan, M. S. · Survey of Anesthesiology · 2014
Intrapartum Neuraxial Analgesia and Breastfeeding OutcomesSzabo, Ashley L. · Survey of Anesthesiology · 2013
Glycemic Control in the ICUKavanagh, Brian P.; McCowen, Karen C. · Survey of Anesthesiology · 2011