Logical Environments - Hardcover

Hardcover

ISBN 10: 0521433126 ISBN 13: 9780521433129

Publisher: Cambridge University Press, 1993

Synopsis

The contributors to Logical Environments cover four main themes: the general problem of representing formal systems in logical frameworks, basic algorithms of general use in proof assistants, logical issues, and large-scale experiments with proof assistants. This book is a successor to Logical Frameworks(CUP, 1991) and will be of interest to any mathematician or computer scientist whose research interests lie in the development of the interplay between logic and software engineering.

About this title

Book Description

In Logical Frameworks, Huet and Plotkin gathered contributions from the first International Workshop on Logical Frameworks. This volume has grown from the second workshop, and as before the contributions are of the highest calibre. Four main themes are covered: the general problem of representing formal systems in logical frameworks, basic algorithms of general use in proof assistants, logical issues, and large-scale experiments with proof assistants.

Review

"The research of logical frameworks probably has a long future ahead, and the reviewed volume provides truthful information about the first steps into this wide field." Journal of Symbolic Logic

Edition details

• Publisher: Cambridge University Press
• Publication date: 1993
• Language: English
• ISBN 10: 0521433126
• ISBN 13: 9780521433129
• Binding: Hardcover
• Number of pages: 352
• Editor: Huet Gerard, Plotkin Gordon