It is well-known that any two real closed fields R and S are elementarily equivalent. We can then consider some simple constructions of new structures out of real closed fields, and try to determine if these constructions, when applied to R and S, give elementarily equivalent structures. We can for instance consider def(R, R), the ring of definable functions from R to R, and we obtain without d...

We investigate (quantifier-free) spatial constraint languages with equality, contact and connectedness predicates, as well as Boolean operations on regions, interpreted over low-dimensional Euclidean spaces. We show that the complexity of reasoning varies dramatically depending on the dimension of the space and on the type of regions considered. For example, the logic with the interior-connecte...

In this paper, we construct two fuzzy sets using the notions of level subsets and strong level subsets of a given fuzzy set in a ring R. These fuzzy sets turn out to be identical and provide a universal construction of a fuzzy ideal generated by a given fuzzy set in a ring. Using this construction and employing the technique of strong level subsets, we provide the shortest and direct fuzzy set ...

Neutrosophic set is a new mathematical tool for handling problems involving imprecise, indeterminacy and inconsistent data. Pseudo-BCI algebra is a kind of non-classical logic algebra in close connection with various non-commutative fuzzy logics. Recently, we applied neutrosophic set theory to pseudo-BCI algebras. In this paper, we study neutrosophic filters in pseudo-BCI algebras. The concepts...

Topology is an important and major area of mathematics and it can give many relationships between other scientific areas and mathematical models.The aim of this paper is to construct intuitionistic fuzzy soft multi topological space and it is shown that an intuitionistic fuzzy soft multi topological space gives a family of parameterized topological spaces and some basic properties regarding wit...

In this paper, the theory of Oθ-convergence and weak Oθ-convergence of nets is introduced in L-spaces by means of neighborhoods and strong neighborhoods of fuzzy points based on Shi’s O-convergence. It can be used to characterize preclosed sets, preopen sets, θ-closed sets, θ-open sets, almost F -compactness and almost S-compactness.