Monadic extensions of institutions (Q622025): Difference between revisions

The theory of institutions was created about three decades ago by Goguen and Burstall as a categorical abstract model theory in order to provide a general uniform model-theoretic framework for developing concepts and result in computing science and logic in a way that is free from the often irrelevant details of concrete logical systems. Such concepts and results would thus be applicable to a wide variety of logical systems. The central concept of institution theory is that of an institution, which provides a category-theoretic formalization for the notion of logical system that includes syntax, semantics, and the satisfaction relation between them. This paper refines and deepens the traditional concept of institution towards many-valued logic by replacing the satisfaction relation by an abstract partially ordered monad; entailment systems, which are deductive variants of institutions, are also covered. The work provides only the basic definitions of this extension and illustrates them by examples.