Introducing Institutions

  title={Introducing Institutions},
  author={Joseph A. Goguen and Rod M. Burstall},
  booktitle={Logic of Programs},
There is a population explosion among the logical systems being used in computer science. Examples include first order logic (with and without equality), equational logic, Horn clause logic, second order logic, higher order logic, infinitary logic, dynamic logic, process logic, temporal logic, and modal logic; moreover ~, there is a tendency for each theorem prover to have its own idiosyncratic logical system. Yet it is usual to give many of the same results and applications for each logical… CONTINUE READING
Highly Influential
This paper has highly influenced 13 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS


Publications citing this paper.
Showing 1-10 of 163 extracted citations


Publications referenced by this paper.
Showing 1-10 of 31 references

Mechanizing structural induction

View 3 Excerpts
Highly Influenced

Functorial Semantics of Algebraic Theories.

Proceedings of the National Academy of Sciences of the United States of America • 1963
View 3 Excerpts
Highly Influenced

Higher Order Data Types

K. Parsaye-Ghomi
Phi) thesis, UCLA, Computer Science Department, • 1982
View 2 Excerpts

Algebras, Theories and Freeness: An Introduction for Computer Scientists

Burstall, R. M. Goguen 82 Burstalt, A GoguenJ.
In Proceedings, • 1981

An Informal Introduction to Specifications using Clear

Burstall, R. M. Goguen 81 Burstall, J. A. Goguen
The Correctness Problem in Computer Science, • 1981

Similar Papers

Loading similar papers…