A strict implication calculus for compact Hausdorff spaces (Q2326420)

The Stone-type representation of algebraic structure by topological spaces is fundamental also as a methodology to establish a semantical framework for deductive formal systems. The basic duality between Boolean algebras and Stone spaces is applied not only to the classical logic but also to many other logical systems such as intuitionistic and/or modal logics, for example. It has been extended by \textit{H. de Vries} [Compact spaces and compactifications. An algebraic approach. Amsterdam: University of Amsterdam (PhD Thesis) (1962)] to the duality between the so-called de Vries algebras and compact Hausdorff spaces which include Stone spaces. \textit{P. Balbiani} et al. [Fundam. Inform. 81, No. 1--3, 29--82 (2007; Zbl 1142.03012)] developed a region-based theory of space featuring a binary relation called pre-contact relation in Boolean algebras, and introduced a kind of modal logic in the language through the representation of contact algebras which include de Vries algebras. The authors of this paper, on the other hand, investigated in their earlier works these algebraic and topological properties by means of another binary relation called subordination in Boolean algebras, where several algebraic structures including contact and de Vries algebras are characterized on the basic algebra for subordination by additional properties given in terms of subordination. This paper extends the study to formal deductive systems, that is, introduces some propositional logics of strict implication which is a new binary logical connective added to the standard classical logic and formalizes certain subordinations. The basic calculus SIC is axiomatized as a certain modal logic with modality induced by strict implication and extended to its symmetric and connected versions by characteristic axioms. Then they are shown to be strongly complete with respect to the corresponding varieties of their algebras as well as various subclasses. Among others, for example, the symmetric SIC is shown to be characterizable not only by the variety of contact algebras but also by the class of de Vries algebras, which then establishes its characterizability by compact Hausdorff spaces in terms of topological semantics according to the de Vries duality. At the same time, however, this means that the characteristic properties of de Vries algebra on contact algebra are absolute syntactically in the calculus. The properties are given by \(\Pi_2\)-sentences on subordinations and shown to be translated into certain non-standard rules, so that the rules are admissible there consequently. Taking account of this feature, the authors define such a non-standard rule given by \(\Pi_2\)-sentence in general and investigate its admissibility in these calculi, providing a criterion for it in SIC for instance. In addition, the symmetric SIC is shown to be translated to the above mentioned modal logic for a region-based theory of space enjoying the dual correspondence with respect to provability, where such a translation is also available to certain bi-modal logics characterized by simple and well-known axioms.