(extended version)

by Dion Coumans , Sam Van Gool

Active Bibliography

On generalizing free algebras for a functor ∗ – Dion Coumans, Sam Van Gool - 2011
Distributive Substructural Logics as Coalgebraic Logics over Posets – Marta Bílková, Rostislav Horčík
Free Heyting algebras: revisited – N. Bezhanishvili, M. Gehrke
Table of Contents General Information 1 Editor’s Letter — Ross – unknown authors
Coalgebras, Stone Duality, Modal Logic – Alexander Kurz - 2006
Coalgebras and Their Logics 1 – Riccardo Pucella, Alexander Kurz - 2006
MSc in Logic – Samuel Jacob Van Gool - 2009
Bare canonicity of representable cylindric and polyadic algebras ∗ – Jannis Bulian, Ian Hodkinson
2 Canonical extensions, Esakia spaces, and universal models, Leo Esakia on duality in modal and intuitionistic logics, Trends in Logic, 2012 – Mai Gehrke
2 Distributive lattice-structured ontologies – Hans Bruun, Dion Coumans, Mai Gehrke - 2006
7 Finitely Presented Heyting Algebras – Carsten Butz - 1998
5 Free modal algebras: a coalgebraic perspective – N. Bezhanishvili, A. Kurz
Kripke semantics for modal bilattice logic – Achim Jung, Umberto Rivieccio
unknown title – unknown authors - 2006
19 Combining Computational Effects: Commutativity and Sum – Martin Hyland, Gordon Plotkin, John Power - 2002
12 Separating concurrent languages with categories of language embeddings – Ehud Shapiro - 1991
23 Composing Monads Using Coproducts – Christoph Lüth, Neil Ghani - 2002
1 Abstract Modularity – Michael Abbott, Neil Ghani, Christoph Lüth - 2005
8 Combining algebraic effects with continuations – Martin Hyland, Paul Blain Levy , Gordon Plotkin , John Power - 2007