DocumentCode
283090
Title
Simple consequence relations
Author
Avron, A.
Author_Institution
Lab. for Found. of Comput. Sci., Edinburgh Univ., UK
fYear
1988
fDate
32216
Firstpage
42522
Lastpage
42524
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;
fLanguage
English
Publisher
iet
Conference_Titel
Inference, IEE Colloquium on
Conference_Location
London
Type
conf
Filename
208937
Link To Document