Coequational Logic for Finitary Functors

13 years 11 months ago

Download www.iti.cs.tu-bs.de

Coequations, which are subsets of a cofree coalgebra, can be viewed as properties of systems. In case of a polynomial functor, a logic of coequations was formulated by J. Ad

Daniel Schwencke

Real-time Traffic

Coequational Logic | ENTCS 2008 | Functors | Logic |

claim paper

» A Note on Expressive Coalgebraic Logics for Finitary Set Functors

» Functorial Coalgebraic Logic The Case of Manysorted Varieties

» Towards Coalgebraic Behaviourism

» Open Graphs and Monoidal Theories

Post Info
More Details (n/a)

Added	10 Dec 2010
Updated	10 Dec 2010
Type	Journal
Year	2008
Where	ENTCS
Authors	Daniel Schwencke

Comments (0)

Sciweavers

Coequational Logic for Finitary Functors

Coequational Logic | ENTCS 2008 | Functors | Logic |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers