34 research outputs found
Dual Logic Concepts based on Mathematical Morphology in Stratified Institutions: Applications to Spatial Reasoning
Several logical operators are defined as dual pairs, in different types of
logics. Such dual pairs of operators also occur in other algebraic theories,
such as mathematical morphology. Based on this observation, this paper proposes
to define, at the abstract level of institutions, a pair of abstract dual and
logical operators as morphological erosion and dilation. Standard quantifiers
and modalities are then derived from these two abstract logical operators.
These operators are studied both on sets of states and sets of models. To cope
with the lack of explicit set of states in institutions, the proposed abstract
logical dual operators are defined in an extension of institutions, the
stratified institutions, which take into account the notion of open sentences,
the satisfaction of which is parametrized by sets of states. A hint on the
potential interest of the proposed framework for spatial reasoning is also
provided.Comment: 36 page
Some variants of Vaughtâs conjecture from the perspective of algebraic logic
Vaughtâs Conjecture states that if T is a complete first order theory in a countable language such that T has uncountably many pairwise non-isomorphic countably infinite models, then T has 2^â”_0 many pairwise non-isomorphic countably infinite models. Continuing investigations initiated in SÂŽagi, we apply methods of algebraic logic
to study some variants of Vaughtâs conjecture. More concretely, let S be a Ï-compact monoid of selfmaps of the the natural numbers. We prove, among other
things, that if a complete first order theory T has at least â”1 many countable models that cannot be elementarily embedded into each other by elements of S, then, in fact, T has continuum many such models. We also study-related questions in the context of equality free logics and obtain similar results. Our proofs are based on the representation theory of cylindric and quasi-polyadic algebras (for details see Henkin, Monk and Tarski (cylindric Algebras Part 1 and Part 2)) and topological properties of the Stone spaces of these algebras