Adams, Robin (2004) A Modular Hierarchy of Logical Frameworks In: Types for Proofs and Programs. Springer.
Full text access: Open
We present a method for defining logical frameworks as a collection of features which are defined and behave independently of one another. Each feature is a set of grammar clauses and rules of deduction such that the result of adding the feature to a framework is a conservative extension of the framework itself. We show how several existing logical frameworks can be so built, and how several much weaker frameworks defined in this manner are adequate for expressing a wide variety of object logics.
This is a Submitted version This version's date is: 2004 This item is not peer reviewed
https://repository.royalholloway.ac.uk/items/996ae795-8bbe-917f-c002-8a5e5a41b303/8/
Deposited by Research Information System (atira) on 18-Nov-2014 in Royal Holloway Research Online.Last modified on 18-Nov-2014