BibTeX
@MISC{Coumans_(extendedversion),
author = {Dion Coumans and Sam Van Gool},
title = {(extended version)},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
a logic step-by-step using duality
Citations
| 114 | The theory of representations for Boolean algebras - Stone - 1936 |
| 90 | Maarten de Rijke, and Yde Venema. Modal logic, volume 53 of Cambridge tracts in theoretical computer science - Blackburn - 2001 |
| 22 | Presenting functors by operations and equations - Bonsangue, Kurz - 2006 |
| 18 | A Course in Universal Algebra, The Millennium Edition - Burris, Sankappnavar - 2001 |
| 14 | Algebraic theories, Graduate Texts - Manes - 1976 |
| 7 | Free Heyting algebras as bi-Heyting algebras - Ghilardi - 1992 |
| 4 | Free modal algebras: a coalgebraic perspective, in: Algebra and Coalgebra - Bezhanishvili, Kurz - 2007 |
| 2 | Finitely generated free Heyting algebras via Birkhoff duality and coalgebra - Bezhanishvili, Gehrke |
| 2 | Constructing the Lindenbaum algebra for a logic step-by-step using duality (extended version - Coumans, Gool - 2011 |
| 1 | Filtrations, Rapporto Interno 331-10, Dipartimento di Scienze dell’Informazione, Università degli Studi di Milano - Continuity - 2010 |
