相关论文: Point-free theories of space and time
Contact algebra is one of the main tools in region-based theory of space. In \cite{dmvw1, dmvw2,iv,i1} it is generalized by dropping the operation Boolean complement. Furthermore we can generalize contact algebra by dropping also the…
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,…
Contact algebra is one of the main tools in the region-based theory of space. It is an extension of Boolean algebra with a relation called contact. The elements of the Boolean algebra are considered as formal representations of physical…
In this thesis we propose and study a theory of ordered locales, a type of point-free space equipped with a preorder structure on its frame of opens. It is proved that the Stone-type duality between topological spaces and locales lifts to a…
We define a ternary Relation Algebra (RA) of relative position relations on two-dimensional directed lines (d-lines for short). A d-line has two degrees of freedom (DFs): a rotational DF (RDF), and a translational DF (TDF). The…
Understanding the evolution of connectivity in spatiotemporal systems requires mathematical frameworks capable of encoding not only instantaneous interactions but also their cumulative causal structure. In this work, we introduce the…
While modern text-to-image models excel at prompt-based generation, they often lack the fine-grained control necessary for specific user requirements like spatial layouts or subject appearances. Multi-condition control addresses this, yet…
Contact Boolean algebras are one of the main algebraic tools in region-based theory of space. T. Ivanova provided strong motivations for the study of merely semilattices with a contact relation. Another significant motivation for…
In the beginning of the 20th century, A. N. Whitehead and T. de Laguna proposed a new theory of space, known as {\em region-based theory of space}. They did not present their ideas in a detailed mathematical form. In 1997, P. Roeper has…
In formal concept analysis, the collection of protoconcepts of any context forms a double Boolean algebra (dBa) which is fully contextual. Semiconcepts of a context form a pure dBa. The present article is a study on topological…
We introduce a new geometric framework for relativistic particle dynamics based on contact geometry and suitable for treating dissipative processes like particle decay. The dynamics is formulated on a nine--dimensional extended phase space…
We formulate a nonlinear synergistic theory of coevolutionary systems, disentangling and explaining dynamic complexity in terms of fundamental processes for optimised data analysis and dynamic model design: Dynamic Source Analysis (DSA).…
This is the second in a series of three notes on an investigation into core regular double Stone algebras, CRDSA, which are meant to be read in order. This note begins our investigation of duality for CRDSA through bi-topological spaces.…
We define a point-free construction of real exponentiation and logarithms, i.e.\ we construct the maps $\exp\colon (0, \infty)\times \mathbb{R} \rightarrow \!(0,\infty),\, (x, \zeta) \mapsto x^\zeta$ and $\log\colon (1,\infty)\times (0,…
Group field theory posits that spacetime is emergent and is hence defined without any background notion of space or time; dynamical questions are formulated in relational terms, in particular using (scalar) matter degrees of freedom as…
In this work, we are presenting an extension of the cooperative dual-task space (CDTS) in conformal geometric algebra. The CDTS was first defined using dual quaternion algebra and is a well established framework for the simplified…
Causal Dynamical Triangulations (CDT) is a methodology to define and compute the gravitational path integral, whose aim is a fully fledged nonperturbative quantum field theory of gravity and spacetime. Analogous to lattice formulations of…
In previous publications, we have started investigating some possible applications to the retraction theory in gravitational physics and showed that it can be very useful in providing proofs and explaining the topological bases. In the…
Directed spaces are natural topological extensions of dcpos in domain theory and form a cartesian closed category. In order to model nondeterministic semantics, the power structures over directed spaces were defined through the form of free…
This paper is mainly concerned with the relation-algebraical aspects of the well-known Region Connection Calculus (RCC). We show that the contact relation algebra (CRA) of certain RCC model is not atomic complete and hence infinite. So in…