Related papers: Super-\L ukasiewicz logics expanded by $\Delta$
Analytic proof calculi are introduced for box and diamond fragments of basic modal fuzzy logics that combine the Kripke semantics of modal logic K with the many-valued semantics of G\"odel logic. The calculi are used to establish…
The a-adic numbers are those groups that arise as Hausdorff completions of noncyclic subgroups of the rational numbers. We give a crossed product construction of (stabilized) Cuntz-Li algebras coming from the a-adic numbers and investigate…
In this work we study the decidability of a class of global modal logics arising from Kripke frames evaluated over certain residuated lattices, known in the literature as modal many-valued logics. We exhibit a large family of these modal…
The fuzzy modality `probably` is interpreted over probabilistic type spaces by taking expected truth values. The arising probabilistic fuzzy description logic is invariant under probabilistic bisimilarity; more informatively, it is…
This paper is a continuation of our paper [Med. J. Math 19, Article number: 31 (2022)] in which we extended the notion of generalized Drazin-Riesz invertible operators to closed operators. We establish here, results relating the notion of…
The aim of this paper is to propose a many-valued modal framework to formalize reasoning with both graded preferences and propositions, in the style of van Benthem et al.'s classical modal logics for preferences. To do so, we start from Bou…
This paper studies the complexity of classical modal logics and of their extension with fixed-point operators, using translations to transfer results across logics. In particular, we show several complexity results for multi-agent logics…
In this paper, we introduce, for the first time, the fractional--logarithmic Laplacian \( (-\Delta)^{s+\log} \), defined as the derivative of the fractional Laplacian \( (-\Delta)^t \) at \( t=s \). It is a singular integral operator with…
Let $M$ be a finite volume, non-compact hyperbolic Riemann surface, possibly with elliptic fixed points, and let $\chi$ denote a finite dimensional unitary representation of the fundamental group of $M$. Let $\Delta$ denote the hyperbolic…
In this paper the p -adic Lizorkin spaces of test functions and distributions are introduced, and multidimensional Vladimirov's and Taibleson's fractional operators are studied on these spaces. Since the p -adic Lizorkin spaces are…
We extend the so-called Kotani Theory for a particular class of ergodic matrix-like Jacobi operators defined in $l^{2}(\mathbb{Z}; \mathbb{C}^{l})$ by the law $[H_{\omega} \textbf{u}]_{n} := D^{*}(T^{n - 1}\omega) \textbf{u}_{n - 1} +…
In this paper we present some results on the variety of divisible MV-algebras. Any free divisible MV-algebra is an algebra of continuous piecewise linear functions with rational coefficients. Correspondingly, Rational {\L}ukasiewicz logic…
Let function $f$ be normalized, analytic and univalent in the unit disk ${\mathbb D}=\{z:|z|<1\}$ and $f(z)=z+\sum_{n=2}^{\infty} a_n z^n$. Using a method based on Grusky coefficients we study several problems over that class of univalent…
We define nonselfadjoint operator algebras with generators $L_{e_1},..., L_{e_n}, L_{f_1},...,L_{f_m}$ subject to the unitary commutation relations of the form \[ L_{e_i}L_{f_j} = \sum_{k,l} u_{i,j,k,l} L_{f_l}L_{e_k}\] where $u=…
Sz.-Nagy's famous theorem states that a bounded operator $T$ which acts on a complex Hilbert space $\mathcal{H}$ is similar to a unitary operator if and only if $T$ is invertible and both $T$ and $T^{-1}$ are power bounded. There is an…
We prove a sharp upper bound for the fourth moment of the Hurwitz zeta function $\zeta(s,\alpha)$ on the critical line when the shift parameter $\alpha$ is irrational and of irrationality exponent strictly less than 3. As a consequence, we…
We collect and organise known results and add some new ones of the following nature: if A is a bounded operator in a Hilbert or Banach space, does there exist a nonconstant polynomial p(z) such that p(A) is "simpler", "nicer" than A. The…
The multi-valued logic of {\L}ukasiewicz is a substructural logic that has been widely studied and has many interesting properties. It is classical, in the sense that it admits the axiom schema of double negation, [DNE]. However, our…
We apply the geometric approach provided by $\Sigma$-operators to develop a theory of $p$-summability for multilinear operators. In this way, we introduce the notion of Lipschitz $p$-summing multilinear operators and show that it is…
The zeta function of a motive over a finite field is multiplicative with respect to the direct sum of motives. It has beautiful analytic properties, as were predicted by the Weil conjectures. There is also a multiplicative zeta function,…