Abstract
This paper discusses system consequence, a central idea in the project to lift the theory of information flow to the abstract level of universal logic and the theory of institutions. The theory of information flow is a theory of distributed logic. The theory of institutions is abstract model theory. A system is a collection of interconnected parts, where the whole may have properties that cannot be known from an analysis of the constituent parts in isolation. In an information system, the parts represent information resources and the interconnections represent constraints between the parts. System consequence, which is the extension of the consequence operator from theories to systems, models the available regularities represented by an information system as a whole. System consequence (without part-to-part constraints) is defined for a specific logical system (institution) in the theory of information flow. This paper generalizes the idea of system consequence to arbitrary logical systems.
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.
References
Barr, M., Wells, C.: Category Theory for Computing Science. Prentice-Hall, Englewood Cliffs (1999)
Barwise, J., Seligman, J.: Information Flow: The Logic of Distributed Systems. Cambridge University Press, Cambridge (1997)
Ganter, B., Wille, R.: Formal Concept Analysis: Mathematical Foundations. Springer, New York (1999)
Goguen, J.: A Categorical Manifesto. Math. Struc. Comp. Sci. 1, 49–67 (1991)
Goguen, J.: Information Integration in Institutions. Draft paper for the Jon Barwise memorial volume edited by Moss, L. (2006)
Goguen, J., Burstall, R.: Institutions: Abstract Model Theory for Specification and Programming. J. Assoc. Comp. Mach. 39, 95–146 (1992)
Johnson, M., Rosebrugh, R.: Fibrations and Universal View Updatability. Th. Comp. Sci. 388, 109–129 (2007)
Kent, R.E.: Semantic Integration in the Information Flow Framework. In: Kalfoglou, Y., Schorlemmer, M., Sheth, A., Staab, S., Uschold, M. (eds.) Semantic Interoperability and Integration, Dagstuhl Research Online Publication Serve. Dagstuhl Seminar Proceedings, vol. 04391 (2005)
Krotzsch, M., Hitzler, P., Zhang, G.: Morphisms in Context. In: Dau, F., Mugnier, M.-L., Stumme, G. (eds.) ICCS 2005. LNCS, vol. 3596, pp. 223–237. Springer, Heidelberg (2005)
Mossakowski, T., Goguen, J., Diaconescu, R., Tarlecki, A.: What is a Logic? In: Beziau, J.Y. (ed.) Logica Universalis, pp. 113–133. Birkhäuser, Basel (2005)
Tarlecki, A., Burstall, R., Goguen, J.: Some Fundamental Algebraic Tools for the Semantics of Computation. Part 3: Indexed Categories. Th. Comp. Sci. 91, 239–264 (1991)
The Information Flow Framework (IFF), http://suo.ieee.org/IFF/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kent, R.E. (2009). System Consequence. In: Rudolph, S., Dau, F., Kuznetsov, S.O. (eds) Conceptual Structures: Leveraging Semantic Technologies. ICCS 2009. Lecture Notes in Computer Science(), vol 5662. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-03079-6_16
Download citation
DOI: https://doi.org/10.1007/978-3-642-03079-6_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-03078-9
Online ISBN: 978-3-642-03079-6
eBook Packages: Computer ScienceComputer Science (R0)