The validity of health information obtained through participants' reports of current medications (e.g., the brown bag method) is an important, but under-studied, area. In the current study, we examined the congruence of medication reports from a brown bag data collection with the pharmacy prescription records for 1430 participants (ages 23 to 97 years) of the seventh wave of the Seattle Longitu...

This paper investigates roughness of fuzzy soft sets. A pair of fuzzy soft rough approximations is proposed and their properties are given. Based on fuzzy soft rough approximations, the concept of fuzzy soft rough sets is introduced. New types of fuzzy soft sets such as full, intersection complete and union complete fuzzy soft sets are defined and supported by some illustrative examples. We obt...

In this paper, we investigate the properties of join (meet) preserving and meet-join (join-meet) maps in complete residuated lattices. Mathematics Subject Classification: 03E72, 03G10, 06A15, 06F07

Algebraic properties and structures of intuitionistic $$L-$$ fuzzy multiset finite automata (ILFMA) are discussed through congruences on a semigroup in this paper. Firstly, we put forward the notion compatible relation, monoid associated with relation can be effectively constructed, construct two monoids different congruence relations given ILFMA, then prove that they isomorphic. Furthermore, u...

Based on the recent development of commutator theory for loops, we provide both syntactic and semantic characterization of abelian normal subloops. We highlight the analogies between well known central extensions and central nilpotence on one hand, and abelian extensions and congruence solvability on the other hand. In particular, we show that a loop is congruence solvable (that is, an iterated...

We consider the concept of fuzzy quasi-contractions initiated by '{C}iri'{c} in the setting of fuzzy metric spaces and establish fixed point theorems for quasi-contractive mappings and for fuzzy $mathcal{H}$-contractive mappings on M-complete fuzzy metric spaces in the sense of George and Veeramani.The results are illustrated by a representative example.

In this paper we mainly deal with first-order languages without equality and introduce a weak form of equality predicate, the so-called Leibniz equality. This equality is characterized algebraically by means of a natural concept of congruence; in any structure, it turns out to be the maximum congruence of the structure. We show that first-order logic without equality has two distinct complete s...

Exactly as in semigroups, Green’s relations play an important role in the theory of ordered semigroups—especially for decompositions of such semigroups. In this paper we deal with the -trivial ordered semigroups which are defined via the Green’s relation , and with the nil and Δ-ordered semigroups. We prove that every nil ordered semigroup is -trivial which means that there is no ordered semigr...

From the work of Simmons about nuclei in frames it follows that a topological space X is scattered if and only if each congruence Θ on the frame of open sets is induced by a unique subspace A so that Θ = {(U, V ) |U ∩A = V ∩A}, and that the same holds without the uniqueness requirement iff X is weakly scattered (corrupt). We prove a seemingly similar but substantially different result about qua...

A set S of vertices in a graph G=(V,E) is a dominating set ofG if every vertex of V-S is adjacent to some vertex of S.For an integer k≥1, a set S of vertices is a k-step dominating set if any vertex of $G$ is at distance k from somevertex of S. In this paper, using membership values of vertices and edges in fuzzy graphs, we introduce the concepts of strength of strongestdominating set as well a...