Zobrazeno 1 - 10
of 53
pro vyhledávání: '"Gruszczyński, Rafał"'
Autor:
Gruszczyński, Rafał, Zhao, Zhiguang
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 possibil
Externí odkaz:
http://arxiv.org/abs/2410.20837
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,
Externí odkaz:
http://arxiv.org/abs/2408.09581
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
Externí odkaz:
http://arxiv.org/abs/2404.13480
Autor:
Gruszczynski, Rafal, Li, Dazhu
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 mere
Externí odkaz:
http://arxiv.org/abs/2310.13450
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 wo
Externí odkaz:
http://arxiv.org/abs/2309.00159
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
Externí odkaz:
http://arxiv.org/abs/2303.08664
Autor:
Gruszczyński, Rafał, Menchón, Paula
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
Externí odkaz:
http://arxiv.org/abs/2205.11208
Autor:
Gruszczyński, Rafał
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 shoul
Externí odkaz:
http://arxiv.org/abs/2103.14446
Autor:
Gruszczyński, Rafał1 gruszka@umk.pl
Publikováno v:
Bulletin of the Section of Logic. Mar2024, Vol. 53 Issue 1, p63-104. 42p.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.