Institutions – Abstract Logical Systems for Computer Science, Part II
Abstract:
Institution morphisms and comorphisms are used for relating different logics that are formalised as institutions. They can be used for borrowing proof support, for heterogeneous theories and for logic combination.
Back to the Oberseminar web page Webmaster