Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
A MODULAR HIERARCHY OF LOGICAL FRAMEWORKS
 

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

  

Source: Adams, Robin - Department of Computer Science, Royal Holloway, University of London

 

Collections: Computer Technologies and Information Sciences