Results 1 to 10 of about 31,754 (166)
On Bisimilarity for Quasi-discrete Closure Spaces [PDF]
Logical Methods in Computer ScienceClosure spaces, a generalisation of topological spaces, have shown to be a convenient theoretical framework for spatial model checking. The closure operator of closure spaces and quasi-discrete closure spaces induces a notion of neighborhood akin to that
Vincenzo Ciancia +3 more
doaj +4 more sources
On Binding in the Spatial Logics for Closure Spaces
Lecture Notes in Computer Science, 2022 We present two different extensions of the spatial logic for closure spaces (SLCS), and its spatio-temporal variant (?SLCS), with spa- tial quantification operators. The first concerns the existential quantifi- cation on individual points of a space. The second concerns the quantifi- cation on sets of points.
Mieke Massink +2 more
exaly +3 more sources
Direct Approaches for Representations of Various Algebraic Domains via Closure Spaces
Fuzzy Information and EngineeringIn this paper, F-augmented closure spaces are generalized to F-closure spaces, and the concept of F-closed sets are introduced. Properties of their ordered structures are investigated.
Guojun Wu, Luoshan Xu
doaj +3 more sources
Alveolar bone remodeling following orthodontic closure of missing mandibular first molar spaces: a CBCT-based morphometric study [PDF]
Progress in OrthodonticsBackground Loss of the mandibular first molar is a common and detrimental clinical issue that often leads to alveolar bone resorption in the edentulous area, complicating future prosthetic or orthodontic interventions.
Xinmeng Shi +12 more
doaj +2 more sources
Internal Neighbourhood Structures II: Closure and closed morphisms [PDF]
Categories and General Algebraic Structures with Applications, 2023 Internal preneighbourhood spaces inside any finitely complete category with finite coproducts and proper factorisation structure were first introduced in \cite{2020}.
Partha Pratim Ghosh
doaj +1 more source
Violator spaces vs closure spaces [PDF]
European Journal of Combinatorics, 2019 Violator Spaces were introduced by J. Matousek et al. in 2008 as generalization of Linear Programming problems. Convex geometries were invented by Edelman and Jamison in 1985 as proper combinatorial abstractions of convexity. Convex geometries are defined by anti-exchange closure operators.
Yulia Kempner, Vadim E. Levit
openaire +3 more sources
Some Variants of Strong Normality in Closure Spaces Generated via Relations
Journal of Mathematics, 2021 In this paper, some variants of strongly normal closure spaces obtained by using binary relation are introduced, and examples in support of existence of the variants are provided by using graphs.
Ria Gupta, Ananga Kumar Das
doaj +1 more source
Neutrosophic θ−Closure Operator [PDF]
Neutrosophic Sets and Systems, 2023 The fundamental intent of this article is to develop the idea of neutrosophic θ-cluster point, neutrosophic θ-closure operator, neutrosophic θq-neibourhood in neutrosophic topological spaces.
Md. Hanif Page +2 more
doaj +1 more source
Fuzzy Closure Spaces vs. Fuzzy Rough Sets
Fuzzy Information and Engineering, 2014 This paper investigates the relationship among fuzzy rough sets, fuzzy closure spaces and fuzzy topology. It is shown that there exists a bijective correspondence between the set of all fuzzy reflexive approximation spaces and the set of all quasi ...
S.P. Tiwari +2 more
doaj +1 more source
Some classes of topological spaces related to zero-sets
Applied General Topology, 2022 An almost P-space is a topological space in which every zero-set is regular-closed. We introduce a large class of spaces, C-almost P-space (briefly CAP-space), consisting of those spaces in which the closure of the interior of every zero-set is a zero ...
F. Golrizkhatami, Ali Taherifar
doaj +1 more source