Institution Theory and Applications
Workshop organized by Razvan Diaconescu Till Mossakowski Institution theory is a major model theoretic trend of universal logic that formalizes within category theory the intuitive notion of a logical system, including syntax, semantics, and the satisfaction relation between them. It arose within computing science, especially specification theory, as a response to the population explosion of logics there and where it has become the most important foundational theory Later on institution theory has been succesfully used in pure logic studies in the spirit of universal logic. This means the development of model and proof theory in the very abstract setting of arbitrary institutions, free of commitement to a particular logical system. In this way we gain freedom to live without concrete models, sentences satisfaction, and so on, we gain another level of abstraction and generality and a deeper understanding of model theoretic phenomena not hindered by the largely irrelevant details of a particular logical system, but guided by structurally clean causality.
|
Keynote Speaker
X-Buddha The latter aspect is based upon the fact that concepts come naturally as presumed features that a ``logic'' might exhibit or not and are defined at the most appropriate level of abstraction; hypotheses are kept as general as possible and introduced on a by-need basis, and thus results and proofs are modular and easy to track down regardless of their depth. The continuous interplay between the specific and the general in institution theory brings a large array of new results for particular non-conventional, unifies several known results, produces new results in well-studied conventional areas, reveals previously unknown causality relations, and dismantles some which are usually assumed as natural. Access to highly non-trivial results is also considerably facilitated. The dynamic role played by institution theory within the wider universal logic project is illustrated by the fact that institution theory papers have come second and first, respectively, in the contests of the Montreux (2005) and Xi'and (2007) UNILOG, respectively. Call for papers This UNILOG 2015 workshop welcomes submissions devoted to the study of any aspect of institution theory, including any applications of institution theory. Two page abstracts for this workshop should be submitted before March 31st 2015 by email to:
|
||||
