相关论文: $L$-fuzzy strongest postcondition predicate transf…
In the refinement calculus, monotonic predicate transformers are used to model specifications for (imperative) programs. Together with a natural notion of simulation, they form a category enjoying many algebraic properties. We build on this…
In this article we introduce the study of fuzzy semihyperrings and fuzzy R-semihypermodules, where R is a semihyperrings and R-semihypermodules are represntations of R. In particular, semihyperrings all of whose hyperideals are idempotent,…
We clarify the relationship between the linear commutator and the ordinary commutator by showing that in any variety satisfying a nontrivial idempotent Mal'cev condition the linear commutator is definable in terms of the centralizer…
This paper deals with conditions under which the quotient of $L$-fuzzy up-sets forms a complete lattice by using terminologies of closure operators. It first gives a condition that a family of some subsets of a nonempty set can be…
A fuzzy multipreference semantics has been recently proposed for weighted conditional knowledge bases, and used to develop a logical semantics for Multilayer Perceptrons, by regarding a deep neural network (after training) as a weighted…
The paper investigates the properties of a fuzzy logic of typicality. The extension of fuzzy logic with a typicality operator was proposed in recent work to define a fuzzy multipreference semantics for Multilayer Perceptrons, by regarding…
Recently in [1] a new class of maximal monotone operators has been introduced. In this note we study domain range properties as well as connections with other classes and calculus rules for these operators we called strongly-representable.…
By the means of lower and upper fuzzy approximations we define quasiorders. Their properties are used to prove our main results. First, we characterize those pairs of fuzzy sets which form fuzzy rough sets w.r.t. a t-similarity relation…
The purpose of this paper is to obtain an integral representation for the difference $f(L_1)-f(L_2)$ of functions of maximal dissipative operators. This representation in terms of double operator integrals will allow us to establish…
Crisp and $L$-fuzzy ambiguous representations of closed subsets of one space by closed subsets of another space are introduced. It is shown that, for each pair of compact Hausdorff spaces, the set of (crisp or $L$-fuzzy) ambiguous…
Let $R$ be a commutative additively idempotent semiring. In this paper, some properties and characterizations for permanents of matrices over $R$ are established, and several inequalities for permanents are given. Also, the adjiont matrices…
Recursive definitions of predicates are usually interpreted either inductively or coinductively. Recently, a more powerful approach has been proposed, called flexible coinduction, to express a variety of intermediate interpretations,…
The gauge invariant formulation of Maxwell's equations and the electromagnetic duality transformations are given in the light-front (LF) variables. The novel formulation of the LF canonical quantization, which is based on the kinematic…
In this paper, concept of fuzzy continuous operator, fuzzy bounded linear operator are introduced in fuzzy strong $\phi$-b-normed linear spaces and their relations are studied. Idea of operator fuzzy norm is developed and completeness of…
Every stationary action of a strongly irreducible lattice or commensurator of such a latiice in a general semisimple group, with at least one higher-rank connected factor, either has finite stabilizers almost surely or finite index…
In this article, we show that multilinear fractional type operators are bounded from product Hardy spaces with variable exponents into Lebesgue spaces with variable exponents via the atomic decomposition theory. We also study continuity…
In this paper, we first introduce some new classes of weighted amalgam spaces. Then we give the weighted strong-type and weak-type estimates for fractional integral operators $I_\gamma$ on these new function spaces. Furthermore, the…
In this paper, the main aim is to consider the mapping properties of the maximal or nonlinear commutator for the fractional maximal operator with the symbols belong to the Lipschitz spaces on variable Lebesgue spaces in the context of…
The paper deals with special types of $L$-ordered set, $L$-fuzzy complete lattices, and fuzzy directed complete posets (fuzzy $dcpo$s). First, a theorem for constructing monotone maps is proved, a characterization for monotone maps on an…
In the study of algebras related to non-classical logics, (distributive) semilattices are always present in the background. For example, the algebraic semantic of the $\{\rightarrow,\wedge,\top\}$-fragment of intuitionistic logic is the…