First, we introduce the concept of intuitionistic fuzzy group congruenceand we obtain the characterizations of intuitionistic fuzzy group congruenceson an inverse semigroup and a T^{*}-pure semigroup, respectively. Also,we study some properties of intuitionistic fuzzy group congruence. Next, weintroduce the notion of intuitionistic fuzzy semilattice congruence and we givethe characterization of...

the aim of this paper is to extend results established by h. onoand t. kowalski regarding directly indecomposable commutative residuatedlattices to the non-commutative case. the main theorem states that a residuatedlattice a is directly indecomposable if and only if its boolean center b(a)is {0, 1}. we also prove that any linearly ordered residuated lattice and anylocal residuated lattice are d...

In this paper, we propose a new definition of intuitionistic fuzzyquasi-metric and pseudo-metric spaces based on intuitionistic fuzzy points. Weprove some properties of intuitionistic fuzzy quasi- metric and pseudo-metricspaces, and show that every intuitionistic fuzzy pseudo-metric space is intuitionisticfuzzy regular and intuitionistic fuzzy completely normal and henceintuitionistic fuzzy nor...

in this paper, we propose a new definition of intuitionistic fuzzyquasi-metric and pseudo-metric spaces based on intuitionistic fuzzy points. weprove some properties of intuitionistic fuzzy quasi- metric and pseudo-metricspaces, and show that every intuitionistic fuzzy pseudo-metric space is intuitionisticfuzzy regular and intuitionistic fuzzy completely normal and henceintuitionistic fuzzy nor...

We use methods of the general theory of congruence and *congruence for complex matrices—regularization and cosquares—to determine a unitary congruence canonical form (respectively, a unitary *congruence canonical form) for complex matrices A such that ĀA (respectively, A) is normal. As special cases of our canonical forms, we obtain—in a coherent and systematic way—known canonical forms for con...

We axiomatize the congruence relation for binding bigraphs and prove that the generated theory is complete. In doing so, we define a normal form for binding bigraphs, and prove that it is unique up to certain isomorphisms. Our work builds on Milner’s axioms for pure bigraphs. We have extended the set of axioms with five new axioms concerned with binding, and we have altered some of Milner’s axi...

We deal with the following question: What is the proper way to introduce symmetric difference in orthomodular lattices? Imposing two natural conditions on this operation, six possibilities remain: the two (commutative) normal forms of the symmetric difference in Boolean algebras and four noncommutative terms. It turns out that in many respects the non-commutative forms, though more complex with...

We study the geodesic flow on the normal line congruence of a minimal surface in R induced by the neutral Kähler metric on the space of oriented lines. The metric is lorentz with isolated degenerate points and the flow is shown to be completely integrable. In addition, we give a new holomorphic description of minimal surfaces in R and relate it to the classical Weierstrass representation.

This paper aims at solving the Hermitian SDC problem, i.e., that of \textit{simultaneously diagonalizing via $*$-congruence} a collection finitely many (not need pairwise commute) matrices. Theoretically, we provide some equivalent conditions for such matrix can be simultaneously diagonalized $^*$-congruence.% by nonsingular matrix. Interestingly, one leads to existence positive definite soluti...