Related papers: Super-\L ukasiewicz logics expanded by $\Delta$
A semantics is given to possibilistic logic, a logic that handles weighted classical logic formulae, and where weights are interpreted as lower bounds on degrees of certainty or possibility, in the sense of Zadeh's possibility theory. The…
The natural join and the inner union combine in different ways tables of a relational database. Tropashko [18] observed that these two operations are the meet and join in a class of lattices-called the relational lattices- and proposed…
We design an expansion of Belnap--Dunn logic with belief and plausibility functions that allow non-trivial reasoning with inconsistent and incomplete probabilistic information. We also formalise reasoning with non-standard probabilities and…
Since the discovery of critical mistakes in Rauszer's work on bi-intuitionistic logics, solid foundations for these have progressively been rebuilt. However, the algebraic treatment of these logics has not yet been tended to. We fill this…
We prove the Extended Delta Conjecture of Haglund, Remmel, and Wilson, a combinatorial formula for $\Delta _{h_l}\Delta' _{e_k} e_{n}$, where $\Delta' _{e_k}$ and $\Delta_{h_l}$ are Macdonald eigenoperators and $e_n$ is an elementary…
The operator algebra is introduced based on the framework of logarithmic representation of infinitesimal generators. In conclusion a set of generally-unbounded infinitesimal generators is characterized as a module over the Banach algebra.
Classically, two propositions are logically equivalent precisely when they are true under the same logical valuations. Also, two logical valuations are distinct if, and only if, there is a formula that is true according to one valuation,…
In 1976, Rauzy studied two complexity functions, $\underline{\beta}$ and $\overline{\beta}$, for infinite sequences over a finite alphabet. The function $\underline{\beta}$ achieves its maximum precisely for Borel normal sequences, while…
Let $\Omega$ denote the class of functions $f$ analytic in the open unit disc $\Delta$, normalized by the condition $f(0)=f'(0)-1=0$ and satisfying the inequality \begin{equation*} \left|zf'(z)-f(z)\right|<\frac{1}{2}\quad(z\in\Delta).…
We consider here a new operator, called ``super nabla'', which is shown to be generic among operators for which the modified Macdonald polynomials are joint eigenfunctions. All previously known Macdonald eigenoperators can readily be…
In this paper, the formulation of Quantum Mechanics in terms of fuzzy logic and fuzzy sets is explored. A result by Pykacz, that establishes a correspondence between (quantum) logics (lattices with certain properties) and certain families…
The use of meta-rules in logic, i.e., rules whose content includes other rules, has recently gained attention in the setting of non-monotonic reasoning: a first logical formalisation and efficient algorithms to compute the (meta)-extensions…
In various contexts in mathematical physics one needs to compute the logarithm of a positive unbounded operator. Examples include the von Neumann entropy of a density matrix and the flow of operators with the modular Hamiltonian in the…
We present a logic for reasoning about graded inequalities which generalizes the ordinary inequational logic used in universal algebra. The logic deals with atomic predicate formulas of the form of inequalities between terms and formalizes…
This paper is concerned with a parabolic evolution equation of the form $A(u_t) + B(u) = f$, settled in a smooth bounded domain of ${\bf R}^d$, $d \geq 1$, and complemented with the initial conditions and with (for simplicity) homogeneous…
An iterative optimization method applied to a function $f$ on $\mathbb{R}^n$ will produce a sequence of arguments $\{\mathbf{x}_k\}_{k \in \mathbb{N}}$; this sequence is often constrained such that $\{f(\mathbf{x}_k)\}_{k \in \mathbb{N}}$…
We consider fuzzy valued functions from two parametric representations of $\alpha$-level sets. New concepts are introduced and compared with available notions. Following the two proposed approaches, we study fuzzy differential equations.…
In this paper, we consider the characterizations of the Lipschitz spaces and homogeneous Lipschitz spaces associated to the biharmonic operator $\Delta^2.$ With this characterizations, we prove the boundedness of the Bessel potentials,…
This paper is devoted to the construction of conditional logic system of {\L}ukasiewicz m-valued propositional logic. We construct conditional logic system {\L}CR based on {\L}ukasiewicz m-valued propositional logic. We construct world…
We provide a new foundational approach to the generalization of terms up to equational theories. We interpret generalization problems in a universal-algebraic setting making a key use of projective and exact algebras in the variety…