A strict implication calculus for compact Hausdorff spaces

DOI10.1016/J.APAL.2019.06.003MaRDI QIDQ2326420zbMATH OpenOpenAlexWikidataFDO

Authors Guram Bezhanishvili, Nick Bezhanishvili, T. Santoli, Yde Venema

Publication date 7 October 2019

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2019.06.003

Boolean algebra with operators compact Hausdorff space de Vries algebra extremally disconnected space Gleason cover modal logic Stone space strict implication

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Stone spaces (Boolean spaces) and related structures (06E15) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Proximity structures and generalizations (54E05) Extremally disconnected spaces, (F)-spaces, etc. (54G05)

Review text

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.

Recommendations

Cites work

Cited in

(12)

This page was built for publication: A strict implication calculus for compact Hausdorff spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2326420)