@Article{zbMATH05652288,
Author = {Ji\v{r}\'{\i} {Ad\'amek} and Manuela {Sobral} and Lurdes {Sousa}},
Title = {{A logic of implications in algebra and coalgebra.}},
FJournal = {{Algebra Universalis}},
Journal = {{Algebra Univers.}},
ISSN = {0002-5240; 1420-8911/e},
Volume = {61},
Number = {3-4},
Pages = {313--337},
Year = {2009},
Publisher = {Springer (Birkh\"auser), Basel; University of Manitoba, Department of Mathematics, Winnipeg},
Language = {English},
MSC2010 = {18A15 03C05 03B70},
Zbl = {1229.18001}
}