|
Summary: A MODULAR HIERARCHY OF
LOGICAL FRAMEWORKS
A thesis submitted to the University of Manchester
for the degree of Doctor of Philosophy
in the Faculty of Engineering and Physical Sciences
2004
By
Robin Adams
School of Mathematics
Contents
Abstract 7
Declaration 8
Copyright 9
Acknowledgements 10
1 Introduction 11
1.1 Terminology . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.2 The Use of a Logical Framework . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.3 The Case for Weaker Frameworks . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.4 Outline . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
|
