|   The role of entailment in natural dualities and in canonical extensions09/09/2010 Quinta-feira, 9 de Setembro de 2010, 11h30m, Sala B2-01Maria João Gouveia (CAUL / Dept. Matemática, FCUL, Portugal)
 Instituto para a Investigação Interdisciplinar
 
 Natural dualities allow us to represent an algebra as a set of continuous maps preserving a relational structure. Canonical extensions of lattice based algebras have compact and dense complete lattices as an underlying lattice in which the former are lattice embeddable. In some settings there is a bridge between natural dualities and canonical extensions, with entailment playing a role in it. |