Axiomati-sation Binary operators Computer circuits Finite sequence International Classification of Diseases Knowledge representation Letter Linear inequalities Modal logic Probability Probability theory Qualitative probability Set of events Sound and complete blood clotting disorder blood transfusion comorbidity diagnostic procedure endoscopy esophagus varices evidence based practice fibrinogen gastrointestinal hemorrhage health care system hemoglobin hemoglobin blood level human incidence international normalized ratio liver cirrhosis