The paper introduces a notion of context parchment. The notion is illustrated by several examples. It is shown, that every logical context parchment generates a context institution. Morphisms between context parchments are introduced, thus yielding a category of context parchments. The use of universal constructions in the category of context parchments, for modular construction of logics is discussed and illustrated by examples.
CITATION STYLE
Pawłowski, W. (1998). Context parchments. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1376, pp. 381–401). Springer Verlag. https://doi.org/10.1007/3-540-64299-4_46
Mendeley helps you to discover research relevant for your work.