|Date:||2015, May 27|
Institutions are a general concept aimed at formalizing the notion of a “logical system” in order to provide a uniform way to reason about the properties of different logics by treating them as mathematical objects. Originally developed in the context of model theory, institutions have now found applications in many different areas. But they are a very abstract concept and rooted in category theory, which itself is a very abstract branch of mathematics. This talk aims to explain institutions by providing concrete examples of familiar logical systems formalized as institutions.