Showing 1–9 of 9 results for author: Gruszczyński, R

On Non-definability of Internal Connectedness via Contact Relation

Authors: Rafał Gruszczyński, Paula Menchón

Abstract: This short paper is a small contribution to the field of Boolean Contact Algebras. We analyze the non-definability of the property of internal connectedness, and we prove certain minimality conditions for algebras and spaces that can be used in demonstrating that the aforementioned property cannot be expressed by means of contact within regular closed algebras. This short paper is a small contribution to the field of Boolean Contact Algebras. We analyze the non-definability of the property of internal connectedness, and we prove certain minimality conditions for algebras and spaces that can be used in demonstrating that the aforementioned property cannot be expressed by means of contact within regular closed algebras. △ Less

Submitted 24 February, 2025; originally announced March 2025.

MSC Class: 03G05; 03C07

Hybrid logic for strict betweenness

Authors: Rafał Gruszczyński, Zhiguang Zhao

Abstract: The paper is devoted to modal properties of the ternary strict betweenness relation as used in the development of various systems of geometry. We show that such a relation is non-definable in a basic similarity type with a binary operator of possibility, and we put forward two systems of hybrid logic, one of them complete with respect to the class of dense linear betweenness frames without endpoin… ▽ More The paper is devoted to modal properties of the ternary strict betweenness relation as used in the development of various systems of geometry. We show that such a relation is non-definable in a basic similarity type with a binary operator of possibility, and we put forward two systems of hybrid logic, one of them complete with respect to the class of dense linear betweenness frames without endpoints, and the other with respect to its subclass composed of Dedekind complete frames. △ Less

Submitted 28 October, 2024; originally announced October 2024.

MSC Class: 03B45; 53C75

A mixed logic with binary operators

Authors: Ivo Düntsch, Rafał Gruszczyński, Paula Menchón

Abstract: In previous work "Betweenness algebras" we introduced and examined the class of betweenness algebras. In the current paper we study a larger class of algebras with binary operators of possibility and sufficiency, the weak mixed algebras. Furthermore, we develop a system of logic with two binary modalities, sound and complete with respect to the class of frames closely related to the aforementioned… ▽ More In previous work "Betweenness algebras" we introduced and examined the class of betweenness algebras. In the current paper we study a larger class of algebras with binary operators of possibility and sufficiency, the weak mixed algebras. Furthermore, we develop a system of logic with two binary modalities, sound and complete with respect to the class of frames closely related to the aforementioned algebras, and we prove an embedding theorem which solves an open problem from "Betweenness algebras". △ Less

Submitted 18 August, 2024; originally announced August 2024.

MSC Class: 06E25; 03B45

Conditional algebras

Authors: Sergio Celani, Rafał Gruszczyński, Paula Menchón

Abstract: Drawing on the classic paper by Chellas "Basic conditional logic" (1975), we propose a general algebraic framework for studying a binary operation of conditional that models universal features of the "if..., then..." connective as strictly related to the unary modal necessity operator. To this end, we introduce a variety of conditional algebras, and we develop its duality and canonical extensions… ▽ More Drawing on the classic paper by Chellas "Basic conditional logic" (1975), we propose a general algebraic framework for studying a binary operation of conditional that models universal features of the "if..., then..." connective as strictly related to the unary modal necessity operator. To this end, we introduce a variety of conditional algebras, and we develop its duality and canonical extensions theory. △ Less

Submitted 27 February, 2025; v1 submitted 20 April, 2024; originally announced April 2024.

MSC Class: 6E25; 03G05

The sum relation as a primitive concept of mereology

Authors: Rafal Gruszczynski, Dazhu Li

Abstract: Mereology in its formal guise is usually couched in a language whose signature contains only one primitive binary predicate symbol representing the part of relation, either the proper or improper one. In this paper, we put forward an approach to mereology that uses mereological sum as its primitive notion, and we demonstrate that it is definitionally equivalent to the standard parthood-based theor… ▽ More Mereology in its formal guise is usually couched in a language whose signature contains only one primitive binary predicate symbol representing the part of relation, either the proper or improper one. In this paper, we put forward an approach to mereology that uses mereological sum as its primitive notion, and we demonstrate that it is definitionally equivalent to the standard parthood-based theory of mereological structures. △ Less

Submitted 20 October, 2023; originally announced October 2023.

MSC Class: 03A05

Betweenness algebras

Authors: Ivo Duentsch, Rafal Gruszczynski, Paula Menchon

Abstract: We introduce and study a class of betweenness algebras-Boolean algebras with binary operators, closely related to ternary frames with a betweenness relation. From various axioms for betweenness, we chose those that are most common, which makes our work applicable to a wide range of betweenness structures studied in the literature. On the algebraic side, we work with two operators of possibility an… ▽ More We introduce and study a class of betweenness algebras-Boolean algebras with binary operators, closely related to ternary frames with a betweenness relation. From various axioms for betweenness, we chose those that are most common, which makes our work applicable to a wide range of betweenness structures studied in the literature. On the algebraic side, we work with two operators of possibility and of suffciency. △ Less

Submitted 31 August, 2023; originally announced September 2023.

Comments: 26 pages, 2 figures

MSC Class: 06E25; 03B45

Grzegorczyk and Whitehead points: the story continues

Authors: Rafał Gruszczyński, Santiago Jockwich Martinez

Abstract: One of the main goals of region-based theories of space is to formulate a geometrically appealing definition of points. The paper is devoted to the analysis of two such seminal definitions: Alfred N. Whitehead's (1929) and Andrzej Grzegorczyk's (1960). Relying on the work of Loredana Biacino's and Ginagiacomo Gerla's (1996), we improve their results, solve some open problems concerning the mutual… ▽ More One of the main goals of region-based theories of space is to formulate a geometrically appealing definition of points. The paper is devoted to the analysis of two such seminal definitions: Alfred N. Whitehead's (1929) and Andrzej Grzegorczyk's (1960). Relying on the work of Loredana Biacino's and Ginagiacomo Gerla's (1996), we improve their results, solve some open problems concerning the mutual relationship between Whitehead and Grzegorczyk points, and put forward open problems for future investigation. △ Less

Submitted 30 September, 2023; v1 submitted 15 March, 2023; originally announced March 2023.

Comments: 21 pages, 1 figure

MSC Class: 00A30; 03G05; 06E25

From contact relations to modal operators, and back

Authors: Rafał Gruszczyński, Paula Menchón

Abstract: One of the standard axioms for Boolean Contact Algebras says that if a region x is in contact with the join of y and z, then x is in contact with at least one of the two regions. Our intention is to examine a stronger version of this axiom according to which if x is in contact with the supremum of some family S of regions, then there is a y in S that is in contact with x. We study a modal possibil… ▽ More One of the standard axioms for Boolean Contact Algebras says that if a region x is in contact with the join of y and z, then x is in contact with at least one of the two regions. Our intention is to examine a stronger version of this axiom according to which if x is in contact with the supremum of some family S of regions, then there is a y in S that is in contact with x. We study a modal possibility operator which is definable in complete algebras in the presence of the aforementioned axiom, and we prove that the class of complete algebras satisfying the axiom is closely related to the class of modal KTB-algebras. We also demonstrate that in the class of complete extensional contact algebras the axiom is equivalent to the statement: every region is isolated. Finally, we present an interpretation of the modal operator in the class of the so-called resolution contact algebras. △ Less

Submitted 8 November, 2022; v1 submitted 23 May, 2022; originally announced May 2022.

MSC Class: Primary 06E25; Secondary 03G05

Mathematical methods in region-based theories of space: the case of Whitehead points

Authors: Rafał Gruszczyński

Abstract: Regions-based theories of space aim -- among others -- to define points in a geometrically appealing way. The most famous definition of this kind is probably due to Whitehead. However, to conclude that the objects defined are points indeed, one should show that they are points of a geometrical or a topological space constructed in a specific way. This paper intends to show how the development of m… ▽ More Regions-based theories of space aim -- among others -- to define points in a geometrically appealing way. The most famous definition of this kind is probably due to Whitehead. However, to conclude that the objects defined are points indeed, one should show that they are points of a geometrical or a topological space constructed in a specific way. This paper intends to show how the development of mathematical tools allows showing that Whitehead's method of extensive abstraction provides a construction of objects that are fundamental building blocks of specific topological spaces. △ Less

Submitted 30 September, 2023; v1 submitted 26 March, 2021; originally announced March 2021.

MSC Class: 00A30; 03G05; 06E25