Weak pseudo BL-algebras (WPBL-algebras) are non-commutative fuzzy structures which arise from pseudot-norms (i.e. the non-commutative versions of triangular norms). In this paper, we study the pairs of weak negations on WPBL-algebras, extending the case of weak negations on Esteva–Godo MTL-algebras. A geometrical characterization of the pairs of weak negations in bounded chains is provided. Our...

Weak Heyting algebras are a natural generalization of Heyting algebras (see [2], [5]). In this work we study certain subvarieties of the variety of weak Heyting algebras in order to extend some known results about compatible functions in Heyting algebras.

Cho et al. [2] introduced the notion of semicompatible maps in a d-topological space. They define a pair of self-maps (S,T) to be semicompatible if conditions (i) Sy = Ty implies that STy = TSy; (ii) for sequence {xn} in X and x ∈ X , whenever {Sxn} → x,{Txn} → x, then STxn → Tx, as n→∞, hold. However, in Fuzzy metric space (ii) implies (i), taking xn = y for all n and x = Ty = Sy. So, we defin...

We develop the homotopy theory of Euler characteristic (magnitude) of a category enriched in a monoidal model category. If a monoidal model category V is equipped with an Euler characteristic that is compatible with weak equivalences and fibrations in V, then our Euler characteristic of V-enriched categories is also compatible with weak equivalences and fibrations in the canonical model structu...

Five commercially available encryption packages for the IBM PC are described and broken.

We study some combinatorial principles intermediate between square and weak square. We construct models which distinguish various square principles, and show that a strengthened form of weak square holds in the Prikry model. Jensen proved that a large cardinal property slightly stronger than 1extendibility is incompatible with square; we prove this is close to optimal by showing that 1-extendib...

The focus of this paper is to acquaint with generalized condition (B) in a quasi-partial b-metric space and establish coincidence common fixed point theorems for weakly compatible pairs mapping. Additionally, the background space, outcomes obtained are exemplified prove existence uniqueness point.