Polyatomic logics and generalized Blok–Esakia theory

Abstract

This paper presents a novel concept of a polyatomic logic and initiates its systematic study. This approach, inspired by inquisitive semantics, is obtained by taking a variant of a given logic, obtained by looking at the fragment covered by a selector term. We introduce an algebraic semantics for these logics and prove algebraic completeness. These logics are then related to translations, through the introduction of a number of classes of translations involving selector terms, which are noted to be ubiquitous in algebraic logic. In this setting, we also introduce a generalized Blok–Esakia theory, which can be developed for special classes of translations. We conclude by showing some systematic connections between the theory of polyatomic logics and the general Blok–Esakia theory for a wide class of interesting translations.