We establish syntactic cut-elimination for the one-variable fragment of the modal mu-calculus. Our method is based on a recent cut-elimination technique by Mints that makes use of Buchholz' Ω-rule.

In many simulation applications, the target system may change its structure unpredictably. The simulation model should adjust in time, to follow the evolving of the target system. In this paper we put forward a new definition of system to accommodate the dynamic structural change, and classify the structural change of system, include change in components, relationships among components and inte...

Recommended by Brigitte Forster-Heinlein For λ > −1 and μ ≥ 0, we consider a liner operator I μ λ on the class A of analytic functions in the unit disk defined by the convolution f μ −1 * fz, where f μ 1 − μz 2 F 1 a, b, c; z μzz 2 F 1 a, b, c; z , and introduce a certain new subclass of A using this operator. Several interesting properties of these classes are obtained.

‎In the classical group theory there is‎ an open question‎: ‎Is every torsion free n-Engel group (for n ≥ 4)‎, nilpotent?‎. ‎To answer the question‎, ‎Traustason‎ [11] showed that with some additional conditions all‎ ‎4-Engel groups are locally nilpotent‎. ‎Here‎, ‎we gave some partial‎ answer to this question on Engel fuzzy subgroups‎. ‎We show that if μ is a normal 4-Engel fuzzy‎ subgroup of ...

In this paper, we give a simple proof of Mirzakhani's recursion formula of Weil-Petersson volumes of moduli spaces of curves using the Witten-Kontsevich theorem. We also briefly describe a very general recursive phenomenon in the intersection theory of moduli spaces of curves. In particular, we present several new recursion formulas for higher degree κ classes.

Linguistic neutrosophic numbers (LNN) is presented by Fang and Ye in 2017, which can describe the truth, falsity, and indeterminacy linguistic information independently. In this paper, the LNN and the Bonferroni mean operator are merged together to propose a LNN normalized weighted Bonferroni mean (LNNNWBM) operator and a LNN normalized weighted geometric Bonferroni mean (LNNNWGBM) operator and...

Let T be a singular nonintegral operator; that is, it does not have an integral representation by a kernel with size estimates, even rough. In this paper, we consider the boundedness of commutators with T and Lipschitz functions. Applications include spectral multipliers of self-adjoint, positive operators, Riesz transforms of second-order divergence form operators, and fractional power of elli...