Abstract
The Generic Logic Environment described here is designed to manipulate sequent-based presentations of logical systems. This note outlines its characteristics and facilities, and gives a flavour of its utility.
The support of SERC (grant GR/F72475) is gratefully acknowledged.
References
S. Abramsky. Computational interpretations of Linear Logic. Technical Report DOC 90/20, Department of Computing, Imperial College, London SW7 2BZ, 1990.
M. Burrows, M. Abadi, and R. Needham. A logic of authentication. ACM Transactions on Computer Systems, 8(1):18–36, February 1990.
M. Dawson. A Generic Logic Environment. PhD thesis, Imperial College, University of London, 1990.
M. Dawson. Defining Logics with the Imperial Logic Environment. DOC 91/38, Department of Computing, Imperial College, 1991.
G. Gentzen. Investigations into logical deduction. In M. E. Szabo, editor, The Collected Papers of Gerhard Gentzen, chapter 3, pages 68–129. North-Holland Publishing Company, 1969.
I. Mackie. LiLac — a functional programming language based on linear logic. Master's thesis, Department of Computing, September 1991.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dawson, M. (1992). A generic logic environment. In: Voronkov, A. (eds) Logic Programming and Automated Reasoning. LPAR 1992. Lecture Notes in Computer Science, vol 624. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013089
Download citation
DOI: https://doi.org/10.1007/BFb0013089
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55727-2
Online ISBN: 978-3-540-47279-7
eBook Packages: Springer Book Archive