In this paper we introduce and investigate an improved kernel logic Z C for the speciication language Z. Unlike the standard accounts, this logic is consistent and is easily shown to be sound. We show how a complete schema calculus can be derived within this logic and in doing so we reveal a high degree of logical organisation within the language. Finally, our approach eschews all non-standard ...

School of Medicine and Pharmacology, Royal Perth Hospital, University of Western Australia, Perth, WA, Australia Department of Clinical Biochemistry, PathWest Laboratory Medicine, Royal Perth Hospital, Perth, WA, Australia Kolling Institute Royal North Shore Hospital, St Leonards, NSW, Australia Correspondence to: P Glendenning, Department of Clinical Biochemistry, PathWest Laboratory Medicine,...

Correspondence BRITISH regimen of heavy exercise and at the same time are on a high food intake with protein supplements. I write " unfortunately " because the success of these athletes in increasing their muscle size by these means is being copied by more and more young men in the hope of finding an easy pathway to massive muscle size and strength. The tendency often is to rely more on the dru...