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...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
University of Edinburgh
1992
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.651333 |