8 research outputs found
A view of canonical extension
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 of lattices with additional operations in finitely
generated varieties are given. In particular, they are doubly algebraic
lattices and their interval topologies agree with their double Scott topologies
and make them Priestley topological algebras.Comment: 24 pages, 2 figures. Presented at the Eighth International Tbilisi
Symposium on Language, Logic and Computation Bakuriani, Georgia, September
21-25 200
Canonical extensions and ultraproducts of polarities
J{\'o}nsson and Tarski's notion of the perfect extension of a Boolean algebra
with operators has evolved into an extensive theory of canonical extensions of
lattice-based algebras. After reviewing this evolution we make two
contributions. First it is shown that the failure of a variety of algebras to
be closed under canonical extensions is witnessed by a particular one of its
free algebras. The size of the set of generators of this algebra can be made a
function of a collection of varieties and is a kind of Hanf number for
canonical closure. Secondly we study the complete lattice of stable subsets of
a polarity structure, and show that if a class of polarities is closed under
ultraproducts, then its stable set lattices generate a variety that is closed
under canonical extensions. This generalises an earlier result of the author
about generation of canonically closed varieties of Boolean algebras with
operators, which was in turn an abstraction of the result that a first-order
definable class of Kripke frames determines a modal logic that is valid in its
so-called canonical frames
A fresh perspective on canonical extensions for bounded lattices
This paper presents a novel treatment of the canonical extension of a bounded
lattice, in the spirit of thetheory of natural dualities. At the level of
objects, this can be achieved by exploiting the topological representation due
to M. Ploscica, and the canonical extension can be obtained in the same manner
as can be done in the distributive case by exploiting Priestley duality. To
encompass both objects and morphismsthe Ploscica representation is replaced by
a duality due to Allwein and Hartonas, recast in the style of Ploscica's paper.
This leads to a construction of canonical extension valid for all bounded
lattices,which is shown to be functorial, with the property that the canonical
extension functor decomposes asthe composite of two functors, each of which
acts on morphisms by composition, in the manner of hom-functors
Extending maps to profinite completions in finitely generated quasivarieties
We consider the problem of extending maps from algebras to their profinite completions in finitely generated quasivarieties. Our developments are based on the construction of the profinite completion of an algebra as its natural extension. We provide an extension which is a multi-map and we study its continuity properties, and the conditions under which it is a map
Algebraic methods for hybrid logics
Ph.D. (Mathematics)Algebraic methods have been largely ignored within the eld of hybrid logics. A main theme of this thesis is to illustrate the usefulness of algebraic methods in this eld. It is a well-known fact that certain properties of a logic correspond to properties of particular classes of algebras, and that we therefore can use these classes of algebras to answer questions about the logic. The rst aim of this thesis is to identify a class of algebras corresponding to hybrid logics. In particular, we introduce hybrid algebras as algebraic semantics for the better known hybrid languages in the literature. The second aim of this thesis is to use hybrid algebras to solve logical problems in the eld of hybrid logic. Specically, we will focus on proving general completeness results for some well-known hybrid logics with respect to hybrid algebras. Next, we study Sahlqvist theory for hybrid logics. We introduce syntactically de ned classes of hybrid formulas that have rst-order frame correspondents, which are preserved under taking Dedekind MacNeille completions of atomic hybrid algebras, and which are preserved under canonical extensions of permeated hybrid algebras. Finally, we investigate the nite model property (FMP) for several hybrid logics. In particular, we give analogues of Bull's theorem for the hybrid logics under consideration in this thesis. We also show that if certain syntactically de ned classes of hybrid formulas are added to the normal modal logic S4 as axioms, we obtain hybrid logics with the nite model property