Gerald Seligman — 1886–1973

A Seligman-Style Tableau System

Proof systems for hybrid logic typically use @-operators to access information hidden behind modalities; this labeling approach lies at the heart of most resolution, natural deduction, and tableau systems for hybrid logic. But there is another, less well-known approach, which we have come to believe is conceptually clearer. We call this Seligman-style inference, as it was first introduced and e...

Gerald Grace

The death of Mr. Gerald Grace took place in South Africa as the result of a singularly tragic incident on Sept. 17th. For some time the Witwatersrand had been terrorised by a band of desperadoes. Mr. Grace was travelling on the Witwatersrand reef in a motor-car resembling that in which the gang was believed to be escaping. The police challenged the car, but, according to the account in the Rand...

Gerald Sommer

Gerald Klatskin

At a time of celebration of one of American medicine's great men, it is appropriate to try to capture the essence of his being as seen by his students-past, present, and perpetual. When we, his former Fellows, think of Gerry Klatskin, we really do not focus on his obvious great productivity as a clinical investigator, his myriads of papers and textbook chapters, his dozens of honors and awards ...

Prostatitis GERALD

INTRODUCTION .......................................................................................................................................................604 Definition of a Problem..........................................................................................................................................604 Acute and Chronic Bacterial Prostatitis ...........................