In this paper, we employed bipolar fuzzy set theory to hemi-rings and we popularized notation of bipolar valued fuzzy interior h-ideal, bipolar-valued fuzzy prime h-ideal, bipolar-valued fuzzy semiprime h-ideal, bipolar-valued fuzzy h-bi-ideal and bipolarvalued fuzzy h-quasi-ideal. We also introduced some basic properties and definition of bipolar-valued fuzzy h-ideals of hemi-ring. Then we int...

We continue Mizar formalization of General Topology according to the book [19] by Engelking. In the article the formalization of Section 1.2 is almost completed. Namely, we formalize theorems on introduction of topologies by bases, neighborhood systems, closed sets, closure operator, and interior operator. The Sorgenfrey line is defined by a basis. It is proved that the weight of it is continuu...

A fuzzy context-free K-grammar is a fuzzy context-free grammar with a countable rather than a finite number of rules satisfying the following condition: for each symbol α, the set containing all right-hand sides of rules with left-hand side equal to α forms a fuzzy language that belongs to a given family K of fuzzy languages. In this paper we study the effect of the non-self-embedding restricti...

We present some properties regarding diffusion and semi-convexity for fuzzy set multifunctions defined on a ring of subsets of an abstract nonvoid space and taking values in the family of all nonvoid closed subsets of a real normed space. Key–Words: diffused, semi-convex, fuzzy set multifunction, non-atomicity, Darboux property, regular, multimeasure, null-additive.

We give a new version of fuzzy alternating Büchi automata over distributive lattices: weights are putting in every leaf node of run trees rather than along with edges from every node to its children. Such settings are great benefit to obtain complement just by taking dual operation and replacing each final weight with its complement. We prove that L-fuzzy nondeterministic Büchi automata have th...

We demonstrate a one-to-one correspondence between idempotent closure operators and the so-called saturated quasi-uniform structures on category C. Not only this result allows to obtain categorical counterpart P of Császár-Pervin quasi-uniformity P, that we characterize as transitive compatible with an interior operator, but also permits describe those topogenous orders are induced by The P⁎ P−...

This technical report summarized facts from the basic theory of generalized closure spaces and gives detailed proofs for them. Many of the results collected here are well known for various types of spaces. We have made no attempt to find the original proofs. 1. Set-Valued Set-Functions 1.1. Closure, Interior, Neighborhood, and Convergent. In this section, which in part generalizes the results o...

Trapezoidal intuitionistic fuzzy numbers (TrIFNs) express abundant and flexible information in a suitable manner and  are very useful to depict the decision information in the procedure of decision making. In this paper, some new aggregation operators, such as, trapezoidal intuitionistic fuzzy weighted power harmonic mean (TrIFWPHM) operator, trapezoidal intuitionistic fuzzy ordered weighted po...

As general concepts of sup-hesitant fuzzy right (resp., left, interior, two-sided) ideals semigroups, the sup+α-hesitant and sup-β-hesitant are introduced their properties investigated. Then, established by sets, Łukasiewicz anti-fuzzy Pythagorean hesitant hybrid interval-valued sets cubic sets. Finally, we characterize which is intra-regular, completely regular, simple semigroups or another ty...

We formulate an infinitary proof system for transitive closure logic, which is the logic obtained by augmenting first-order logics with a transitive closure operator. Our system is an infinite descent-style counterpart to the existing (explicit induction) proof system for the logic. We show that, as for similar systems for first order logic with inductive definitions, our infinitary system is c...