A Logical Foundation for Representation of Clinical Data

Abstract

Formal logic provides a framework for formalizing the representation of medical concepts. Actual implementations will be required to evaluate the practicality of this approach.