Galois connection in category theory play an important role inestablish the relationships between different spatial structures. Inthis paper, we prove that there exist many interesting Galoisconnections between the category of Alexandroff $L$-fuzzytopological spaces, the category of reflexive $L$-fuzzyapproximation spaces and the category of Alexandroff $L$-fuzzyinterior (closure) spaces. This ...

We consider the framework of regular hedge model checking where configurations are represented by trees of arbitrary arities, sets of configurations are represented by regular hedge automata, and the dynamic of a system is modeled by a term rewriting system. We consider the problem of computing the transitive closure R ∗(L) of a hedge automaton L and a (not necessarily structure preserving) ter...

In practice, some special LR fuzzy numbers, like the triangular fuzzy number, the Gaussian fuzzy number and the Cauchy fuzzy number, are widely used in many areas to deal with various vague information. With regard to these special LR fuzzy numbers, called regular LR fuzzy numbers in this paper, an operational law is proposed for fuzzy arithmetic, providing a novel approach to analytically and ...

The paper presents a general method of imposing constraints in formal concept analysis of tabular data with fuzzy attributes. The constraints represent a user-defined requirements which are supplied along with the input data table. The main effect is to filter-out conceptual clusters (outputs of the analysis) which are not compatible with the constraint, in a computationally efficient way. Our ...

We reduce the calculation of the eigenvalues of an elliptic operator defined on a closed and bounded surface in R to the solution of an elliptic eigenvalue problem in divergence form in R via separation of variables and estimates from semi-classical analysis. By representing the surface implicitly, we solve the latter problem using standard finite element methods on a regular mesh. In an append...

By defining a closure operator on effective equivalence relations in a regular category C, it is possible to establish a bijective correspondence between these closure operators and the regular epireflective subcategories of C, on the model of the closure operators on kernels in homological categories [5]. When C is an exact Goursat category [6], this correspondence restricts to a bijection bet...

Right ternary near-rings (RTNR) are generalization of their binary counterpart and fuzzy soft sets are generalization of soft sets which are parameterized family of subsets of a universal set. In this paper fuzzy soft Nsubgroups, quasi-ideals and bi-ideals over a right ternary near-ring N are defined. The substructures N-subgroups, quasi-ideals and bi-ideals of an RTNR are characterized in term...

We introduce a new topological semantics for belief logics in which the belief modality is interpreted as the interior of the closure of the interior operator. We show that the system wKD45, a weakened version of KD45, is sound and complete w.r.t. the class of all topological spaces. Moreover, we point out a problem regarding updates on extremally disconnected spaces that appears in the setting...