Representing logics in type theory

Computer Science today has many examples of logics given by proof systems. Although one intuitively knows how to use these systems and recognise correct derivations, there is no definitive account which captures this intuition. It is therefore natural to seek a framework for representing logics, whi...

Full description

Bibliographic Details
Main Author: Gardner, Philippa
Other Authors: Plotkin, Gordon
Published: University of Edinburgh 1992
Subjects:
Online Access:http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.651333