We extend the relational algebra of Chin and Tarski so that it is multisorted or, as we prefer, typed. Each type supports a local Boolean algebra outfitted with a converse operator. From Lyndon, we know that relation algebras cannot be represented as proper relation algebras where a proper relation algebra has binary relations as elements and the algebra is singly-typed. Here, the intensional conjunction, which was to represent relational composition in Chin and Tarski, spans three different local algebras, thus the (...) term distributed in the title. Since we do not rely on proper relation algebras, we are free to re-express the algebras as typed. In doing so, we allow many different intensional conjunction operators. We construct a typed logic over these algebras, also known as heterogeneous algebras of Birkhoff and Lipson. The logic can be seen as a form of relevance logic with a classical negation connective where the Routley-Meyer star operator is reified as a converse connective in the logic. Relevance logic itself is not typed but our work shows how it can be made so. Some of the properties of classical relevance logic are weakened from Routley-Meyer’s version which is too strong for a logic over relation algebras. (shrink)

Over the past 50 years, academic-industrial collaborations and technology transfer have played an increasingly prominent role in the biomedical sciences. These relationships can speed the delivery of innovative drugs and medical technologies to clinical practice, creating important public health benefits as well as income for universities and their faculty. At the same time, they raise ethical concerns, particularly when research involves human subjects in clinical trials. Lapses in oversight of industry sponsored clinical trials at universities, and especially patient deaths in (...) a number of trials, have brought these issues into the public spotlight and have led the federal government to intensify its oversight of clinical research. The leadership of Harvard Medical School convened a group of leaders in academic medicine to formulate guidelines on individual financial conflicts of interest. They and other groups are working to formulate a national consensus on this issue. (shrink)