Title :
Simple consequence relations
Author_Institution :
Lab. for Found. of Comput. Sci., Edinburgh Univ., UK
Abstract :
The Edinburgh LF is a general uniform system for implementing a large range of logics which was developed at the Laboratory for Foundations of Computer Science of Edinburgh University. Solutions are suggested to some basic general problems which were encountered while developing this system, such as what a logic is, what is common to the standard methods of representing logics, what are the differences between them, what distinguishes good representations from bad ones and what characterizes various known logics
Keywords :
formal logic; Edinburgh LF; consequence relations; logic representation;
Conference_Titel :
Inference, IEE Colloquium on
Conference_Location :
London
