26 research outputs found
Reconciliation of Approaches to the Semantics of Logics without Distribution
This article contributes in that it clarifies and indeed completes an
approach (initiated by Dunn and this author several years ago and again pursued
by the present author over the last three years or so) to the relational
semantics of logics that may lack distribution (Dunn's non-distributive
gaggles). The approach uses sorted frames with an incidence relation on sorts
(polarities), equipped with additional sorted relations, but, in the spirit of
Occam's razor principle, it drops the extra assumptions made in the generalized
Kripke frames approach, initiated by Gehrke, that the frames be separated and
reduced (RS-frames). We show in this article that, despite rejecting the
additional frame restrictions, all the main ideas and results of the RS-frames
approach relating to the semantics of non-distributive logics are captured in
this simpler framework. This contributes in unifying the research field, and,
in an important sense, it complements and completes Dunn's gaggle theory
project for the particular case of logics that may drop distribution
Correspondence Theory for Atomic Logics
We develop the correspondence theory for the framework of atomic and molecular logics on the basis of the work of Goranko & Vakarelov. First, we show that atomic logics and modal polyadic logics can be embedded into each other. Using this embedding, we reformulate the notion of inductive formulas introduced by Goranko & Vakarelov into our framework. This allows us to prove correspondence theorems for atomic logics by adapting their results
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