2016/03/10 by Robert E. Kent, Kent, Robert E. · 1 voice
Computer Science · #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #cs.LO
paper · pdf · doi:10.48550/arxiv.1603.03475
This paper was completed in 2008
arxiv created 2016/03/10 · openalex publication_date 2016/03/10 · arxiv published 2016/03/10 · arxiv updated 2016/03/14 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
This paper describes information flow within logical environments. The theory of information flow, the logic of distributed systems, was first defined by Barwise and Seligman (Information Flow: The Logic of Distributed Systems. 1997). Logical environments are a semantic-oriented version of institutions. The theory of institutions, which was initiated by Goguen and Burstall (Institutions: Abstract Model Theory for Specification and Programming. 1992), is abstract model theory. Information flow is the flow of information in channels over distributed systems. The semantic integration of distributed systems, be they ontologies, databases or other information resources, can be defined in terms of the channel theory of information flow. As originally defined, the theory of information flow uses only a specific logical environment in order to discuss information flow. This paper shows how information flow can be defined in an arbitrary logical environment.