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.
Similar content being viewed by others
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)