Coequational logic for accessible functors

DOI10.1016/J.IC.2009.10.010MaRDI QIDQ618173zbMATH OpenOpenAlexFDO

Authors Daniel Schwencke

Publication date 14 January 2011

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ic.2009.10.010

zbMATH Keywords

coalgebraaccessible functorcoequational logicrepresentative tree

Mathematics Subject Classification ID

Logic in computer science (03B70) Categorical logic, topoi (03G30) Abstract data types; algebraic specification (68Q65) General theory of categories and functors (18A99)

Recommendations

• Coequational logic for finitary functors
• Computer Science Logic
• Birkhoff's covariety theorem without limitations.
• Equational and implicational classes of coalgebras
• Modal predicates and coequations

Cites work

• scientific article; zbMATH DE number 46168 (Why is no real title available?)
• scientific article; zbMATH DE number 1753205 (Why is no real title available?)
• A fixpoint theorem for complete categories
• Coalgebraic logic
• Coalgebraic modal logic: soundness, completeness and decidability of local consequence
• Coalgebras of bounded type
• Coequational logic for finitary functors
• Computer Science Logic
• On the final sequence of a finitary set functor
• On tree coalgebras and coalgebra presentations
• Recursive coalgebras of finitary functors
• Terminal coalgebras and free iterative theories
• Universal coalgebra: A theory of systems

Cited in

(7)

• Functorial coalgebraic logic: the case of many-sorted varieties
• Coequational logic for finitary functors
• Coalgebraic semantics of modal logics: an overview
• Computer Science Logic
• On final coalgebras of power-set functors and saturated trees
• Duality of equations and coequations via contravariant adjunctions
• Operators on classes of coalgebras

This page was built for publication: Coequational logic for accessible functors

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q618173)