A logic of implications in algebra and coalgebra

DOI10.1007/s00012-009-0009-zzbMath1229.18001OpenAlexW2029610160MaRDI QIDQ1047097

Lurdes Sousa, Manuela Sobral, Jiří Adámek

Publication date: 4 January 2010

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10316/11299

zbMATH Keywords

coalgebrasalgebraslogic of injectivityBirkhoff calculuscoalgebraic implicationsGumm calculuslogic of implications

Mathematics Subject Classification ID

Logic in computer science (03B70) Equational classes, universal algebra in model theory (03C05) Foundations, relations to logic and deductive systems (18A15)

Related Items (3)

Unnamed Item ⋮ The orthogonal subcategory problem and the small object argument ⋮ A calculus of lax fractions

Cites Work

• On the final sequence of a finitary set functor
• Residually small varieties without rank
• The intersection of algebra and coalgebra
• Additions and corrections to ``Terminal coalgebras in well-founded set theory
• Universal coalgebra: A theory of systems
• On tree coalgebras and coalgebra presentations
• Solid hulls of concrete categories
• Completeness Theorems for Universal and Implicational Logics of Algebras Via Congruences
• The temporal logic of coalgebras via Galois algebras
• On varieties and covarieties in a category
• Modal operators and the formal dual of Birkhoffs completeness theorem This research is part of the Logic of Types and Computation project at Carnegie Mellon University under the direction of Dana Scott.
• Parametrized data types do not need highly constrained parameters
• Computer Science Logic
• Complete Categorical Deduction for Satisfaction as Injectivity
• Equational and implicational classes of coalgebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A logic of implications in algebra and coalgebra