Sciweavers

CORR
2010
Springer
118views Education» more  CORR 2010»
13 years 11 months ago
A view of canonical extension
Abstract. This is a short survey illustrating some of the essential aspects of the theory of canonical extensions. In addition some topological results about canonical extensions o...
Mai Gehrke, Jacob Vosmaer
APAL
2010
90views more  APAL 2010»
13 years 11 months ago
Canonical extensions for congruential logics with the deduction theorem
We introduce a new and general notion of canonical extension for algebras in the algebraic counterpart AlgS of any finitary and congruential logic S. This definition is logic-base...
Mai Gehrke, Ramon Jansana, Alessandra Palmigiano