Abstract

Contents

Introduction

ECGR at the propositional level

ECGR at the first order level

Extensions to ECGR

Factorisation and redundancy

ECGR+ at the first order level and the copy rule

Conclusions

Appendix A: The completeness and termination of KCGR

Appendix B: Eisinger's example revisited

References

Index