Abstract
By Rutten’s dualization of the Birkhoff Variety Theorem, a collection of coalgebras is a covariety (i.e., is closed under coproducts, subcoalgebras, and quotients) iff it can be presented by a subset of a cofree coalgebra. We introduce inference rules for these subsets, and prove that they are sound and complete. For example, given a polynomial endofunctor of a signature Σ, the cofree coalgebra consists of colored Σ-trees, and we prove that a set T of colored trees is a logical consequence of a set S iff T contains every tree such that all recolorings of all its subtrees lie in S. Finally, we characterize covarieties whose presentation needs only n colors.
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
Adámek, J.: Free algebras and automata realizations in the language of categories. Commentationes Mathematicae Universitatis Carolinae 15, 589–602 (1974)
Adámek, J.: On a description of terminal coalgebras and iterative theories. Electronic Notes in Theoretical Computer Science, vol. 82.1 (2003); Full version in Information and Computation (to appear)
Adámek, J.: Birkhoff’s covariety theorem without limitation. Commentationes Mathematicae Universitatis Carolinae 46, 197–215 (2005)
Adámek, J., Milius, S., Velebil, J.: On coalgebra based on classes. Theoretical Computer Science 316, 3–23 (2004)
Adámek, J., Porst, H.-E.: On tree coalgebras and coalgebra presentations. Theoretical Computer Science 311, 257–283 (2004)
Arbib, M.A., Manes, E.G.: Parametrized data types do not need highly constrained parameters. Information and Control 52, 130–158 (1982)
Awodey, S., Hughes, J.: Modal operators and the formal dual of Birkoff’s completeness theorem. Mathematical Structures in Computer Science 13, 233–258 (2003)
Barr, M.: Terminal coalgebras in well-founded set theory. Theoretical Computer Science 124, 182–192 (1984)
Birkhoff, G.: On the structure of abstract algebras. Proceedings of the Cambridge Philosophical Society 31, 433–454 (1935)
Gumm, H.P.: Elements of the general theory of coalgebras (preprint 1999)
Gumm, H.P.: Birkoff’s variety theorem for coalgebras. Contributions to General Algebra 13, 159–173 (2000)
Gumm, H.P., Schröder, T.: Covarieties and complete covarieties. Electronic Notes in Theoretical Computer Science 11 (1998)
Jacobs, B.: The temporal logic of coalgebras via Galois algebras. Mathematical Structures in Computer Science 12, 875–903 (2002)
Rutten, J.: Universal coalgebra: a theory of systems. Theoretical Computer Science 249, 3–80 (2000)
Worrell, J.: On the final sequence of a finitary set functor. Theoretical Computer Science 338, 184–199 (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Adámek, J. (2005). A Logic of Coequations. In: Ong, L. (eds) Computer Science Logic. CSL 2005. Lecture Notes in Computer Science, vol 3634. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11538363_7
Download citation
DOI: https://doi.org/10.1007/11538363_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28231-0
Online ISBN: 978-3-540-31897-2
eBook Packages: Computer ScienceComputer Science (R0)