Metric Temporal Logic (MTL) is a generalisation of Linear Temporal Logic in which the Until and Since modalities are annotated with intervals that express metric constraints. In this paper we show that over the reals MTL has the same expressive power as monadic first-order logic with binary order relation < and an infinite collection of unary functions +q, where q is a non-negative rational. Th...

The local equivalence problem for sub-Riemannian structures on threemanifolds is solved. In the course of the solution, it is shown how to attach a canonical Riemannian metric and connection to the given sub-Riemannian metric and it is shown how all of the differential invariants of the sub-Riemannian structure can be calculated. The relation between the completeness of the sub-Riemannian metri...

In this paper, we introduce three classes of proximal contractions that are called the proximally λ−ψ−dominated contractions, generalized ηβγ−proximal and Berinde-type weak obtain common best proximity points for these in setting F−metric spaces. Further, point result α−φ−proximal As an application, fixed coincidence results obtained. Some examples provided to support validity our main results....

When a class of fuzzy value functions constitute a metric space, the completeness and separability is an important problem that must be considered to discuss the approximation of fuzzy systems. In this paper, Firstly, a new tK-integral norm is defined by introducing two induced operators, and prove that the class of tK-integrable fuzzy value functions is a metric space. And then, the integral t...