Abstract
The paper discusses a generalization of the notion of context institution and introduces a suitable notion of presentation for it. With an appropriate notion of morphism presentations constitute a category, whose structural properties can be used to systematically construct logical systems (i.e. abstract context institutions).
This research has been partially supported by ESPRIT workingg roup 29432 (CoFI WG), and KBN grant No. 8 T11C 037 16.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
M. Bidoit and A. Tarlecki. Behavioural satisfaction and equivalence in concrete model categories. In H. Kirchner, editor, Proceedings, 20th Colloquium on Trees in Algebra and Computing CAAP’96, Linköping, April 1996, volume 1059 of LNCS, pages 241–256. Springer-Verlag, 1996.
F. Borceux. Handbook of Categorical Algebra 1, Basic Category Theory, volume 50 of Encyclopedia of Mathematics and its Applications. Cambridge University Press, 1994.
R. M. Burstall and J. A. Goguen. Algebras, theories and freenes: an introduction for computer scientist. In Proc. 1981 Marktoberdorf NATO Summer School. Reidel, 1982.
M. Cerioli, T. Mossakowski, and H. Reichel. From total equational to partial first order logic. In E. Astesiano, H.-J. Kreowski, and B. Krieg-Brückner, editors, Algebraic Foundations of System specification, IFIP State-of-the-Art Reports, pages 31–104. Springer-Verlag, 1999.
J. A. Goguen and R. M. Burstall. A study in the foundations of programming methodology: specifications, institutions, charters and parchments. In D. Pitt, S. Abramsky, A. Poigné, and D. Rydeheard, editors, Proc. Conference on Category Theory and Computer Programming, volume 240 of LNCS, pages 313–333. Springer-Verlag, 1986.
J. A. Goguen and R. M. Burstall. Institutions: Abstract model theory for specification and programming. Journal of the Association for Computing Machinery, 39:95–146, 1992.
S. MacLane. Categories for the Working Mathematician, volume 5 of Springer Graduate Texts in Mathematics. Springer-Verlag, 1971.
K. Meinke and J. V. Tucker. Universal algebra. In S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, editors, Handbook of Logic in Computer Science, Volume 1, Background: Mathematical Structures, pages 189–411. Clarendon Press, Oxford, 1992.
T. Mossakowski. Usinglimits of parchments to systematically construct institutions of partial algebras. In M. Haveraaen and O.-J. Dahl, editors, Recent Trends in Data Type specifications. 11th Workshop on specification of Abstract Data Types joint with the 8th General COMPASS Workshop. Oslo, Norway, September 1995. Selected Papers, volume 1130 of LNCS, pages 379–393. Springer-Verlag, 1996.
T. Mossakowski, A. Tarlecki, and W. Pawłowski. Combiningand representing logical systems. In E. Moggi, editor, Category Theory and Computer Science, CTCS’97, Santa Margherita Ligure, Italy, 1997, Proceedings, volume 1290 of LNCS, pages 177–198. Springer-Verlag, 1997.
T. Mossakowski, A. Tarlecki, and W. Pawłowski. Combiningand representing logical systems using model-theoretic parchments. In F. Parisi Presicce, editor, Recent Trends in Algebraic Development Techniques. 12th International Workshop WADT’97. Tarquinia, Italy, June 1997. Selected papers, volume 1376 of LNCS, pages 349–364. Springer-Verlag, 1998.
W. Paw;lowski. Context institutions. In M. Haveraaen, O. Owe, and O.-J. Dahl, editors, Recent Trends in Data Type specifications. 11th Workshop on specification of Abstract Data Types joint with the 8th general COMPASS workshop. Oslo, Norway, September 1995. Selected papers, volume 1130 of LNCS, pages 436–457. Springer-Verlag, 1996.
W. Pawłowski. Context parchments. In F. Parisi Presicce, editor, Recent Trends in Algebraic Development Techniques. 12th International Workshop WADT’97. Tarquinia, Italy, June 1997. Selected papers, volume 1376 of LNCS, pages 381–401. Springer-Verlag, 1998.
W. Pawłowski. Contextual Logical Systems for the Foundations of Software Specification and Development (in Polish). PhD thesis, Inst. of Comp. Sci. PAS, Warsaw, 2000. ftp://ftp.ipipan.gda.pl/wiesiek/papers/thesis.ps.gz.
H. Rasiowa and R. Sikorski. The Mathematics of Metamathematics. Państwowe Wydawnictwo Naukowe, 1963.
R. Sikorski. Algebra of formalized languages. Colloquium Mathematicum, 9:2–32, 1962.
A. Stoughton. Substitution revisited. Theoretical Computer Science, 59:317–325, 1988.
A. Tarlecki. Bits and pieces of the theory of institutions. In Proc. Workshop on Category Theory and Computer Programming, volume 240 of LNCS, pages 334–363. Springer-Verlag, 1986.
A. Tarlecki. Institutions: An abstract framework for formal specifications. In E. Astesiano, H.-J. Kreowski, and B. Krieg-Brückner, editors, Algebraic Foundations of System specification, IFIP State-of-the-Art Reports, pages 105–130. Springer-Verlag, 1999.
A. Tarlecki, R. M. Burstall, and J. A. Goguen. Some fundamental algebraic tools for the semantics of computation: Part 3. Indexed categories. Theoretical Computer Science, 91(2):239–264, 1991.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pawłowski, W. (2002). Presentations for Abstract Context Institutions. In: Cerioli, M., Reggio, G. (eds) Recent Trends in Algebraic Development Techniques. WADT 2001. Lecture Notes in Computer Science, vol 2267. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45645-7_13
Download citation
DOI: https://doi.org/10.1007/3-540-45645-7_13
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43159-6
Online ISBN: 978-3-540-45645-2
eBook Packages: Springer Book Archive