Home
 

Workshop on General Logic

Editors: A. Avron, R. Harper, F. Honsell, I. Mason, G. Plotkin

Abstract: This is a collection of papers and notes from the Workshop on General Logic held in Edinburgh in February 1987.

The workshop started on Monday morning and lasted five days. It covered frameworks for defining varieties of logics, with an aim to developing a very general environment for proof checking, editing and discovery. Research along these lines by various people has been proceeding particularly strongly in the last year or so, and it was felt - as seems to have turned out the case - to be a particularly appropriate time to organise a workshop bringing together logicians and computer scientists. The workshop was organised with formal lectures in the morning, a brief lecture in the afternoon and then informal discussions and demonstrations of various computer systems.Price - £20.00

LFCS report ECS-LFCS-88-52

Previous | Index | Next