Part of the Studies in Universal Logic book series (SUL)


In this chapter we first give a model theoretic presentation of classical first order logic with equality and show the invariance of the satisfaction relation between models and sentences with respect to the change of notation. This is our first example of an institution. We then introduce the abstract concept of institution and illustrate it by a list of examples from logic and computing science. The next section introduces morphisms and comorphisms of institutions, which are mappings preserving the structure of institution with rather complementarymeaning in the actual situations. The final section of this chapter, which is intended for the more category theoretic minded readers, provides a more categorical definition for the concept of institution, which eases considerably our access to the structural properties of categories of institutions. As an application we prove the existence of limits of institutions


Propositional Logic Kripke Model Satisfaction Condition Heyting Algebra Relation Symbol 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Birkhäuser Verlag AG 2008

Personalised recommendations