Full Intuitionistic Linear Logic (FILL) was first introduced by Hyland and de Paiva, and went against current beliefs that it was not possible to incorporate all of the linear connectives, e.g. tensor, par, and implication, into an intuitionistic linear logic. It was shown that their formalization of FILL did not enjoy cut-elimination by Bierman, but Bellin proposed a change to the definition o...

Jodi O'Brien remembers Ken Plummer.

Box MIX and MIXAL are available on the UCSD B6700; although, according to Ken Bowles, they are not currently being handled as fully supported products, and there may be some remaining bugs in the systems. However, MIX and MIXAL are available for network users, and Ken says they will be happy to receive notification of any errors found in the MIX and MIXAL and will attempt to get corrections mad...

1. Guyatt GH, Berman LB, Townsend M, et al. A measure of quality of life for clinical trials in chronic lung disease. Thorax 1987; 42: 773-778. 2. Quirk FH, Jones PW. Patients' perception of distress due to symptoms and effects of asthma on daily living and an investigation of possible influential factors. Clin Sci 1990; 79: 17-21. 3. Hyland ME, Finnis S, Irvine SH. A scale for assessing qualit...

As a part of pragmatics of language, Metadiscourse (MD) has been widely recognized as playing a pivotal role in the expression and comprehension of messages in academic writing. In view of its significance in effective communication, there have been a lot of attempts to categorize different MD devices within manageable models alongside some descriptive works to demonstrate the use of MD devices...

s partial differential equation models of fluid mechanical systems. Ken Forbus (Northwestern University) rounded out the discussion by leading a panel session on building and sharing large-scale models. Many researchers in qualitative reasoning are looking at engineering tasks to focus their investigations Many researchers are looking at engineering tasks to focus their investigations and provi...