We introduce the equational notion of a monadic bounded algebra (MBA), intended to capture algebraic properties of bounded quantification. The variety of all MBA’s is shown to be generated by certain algebras of two-valued propositional functions that correspond to models of monadic free logic with an existence predicate. Every MBA is a subdirect product of such functional algebras, a fact that...

Seismic hazard assessment like many other issues in seismology is a complicated problem, which is due to a variety of parameters affecting the occurrence of an earthquake. Uncertainty, which is a result of vagueness and incompleteness of the data, should be considered in a rational way. Using fuzzy method makes it possible to allow for uncertainties to be considered. Fuzzy inference system,...

In this note, we introduce the concept of a fuzzy filter of a BLalgebra,with respect to a t-norm briefly, T-fuzzy filters, and give some relatedresults. In particular, we prove Representation Theorem in BL-algebras. Thenwe generalize the notion of a fuzzy congruence (in a BL-algebra) was definedby Lianzhen et al. to a new fuzzy congruence, specially with respect to a tnorm.We prove that there i...

Seismic hazard assessment like many other issues in seismology is a complicated problem, which is due to a variety of parameters affecting the occurrence of an earthquake. Uncertainty, which is a result of vagueness and incompleteness of the data, should be considered in a rational way. Using fuzzy method makes it possible to allow for uncertainties to be considered. Fuzzy inference system,...

In 1965, Zadeh [30] introduced a concept of a fuzzy set as the generalization of a crisp set. Also, in 1971, he introduced a fuzzy relation naturally, as a generalization of a crisp relation in [31]. Nel [27] introduced the notion of a topological universe which implies concrete quasitopos [1]. Every topological universe satisfies all the properties of a topos except one condition on the subobj...

Due to the nature of product in the category of locales, the entourage uniformities in the point-free context only mimic the classical Weil approach while the cover (Tukey type) ones can be viewed as an immediate extension. Nevertheless the resulting categories are concretely isomorphic. We present a transparent construction of this isomorphism, and apply it to the natural uniformities of local...

A monadic (Boolean) algebra is a Boolean algebra A together with an operator 3 on A (called an existential quantifier, or, simply, a quantifier) such that 30=0, pfk 3p, and 3(^A 3q) = 3p* 3g whenever p and q are in A. Most of this note uses nothing more profound about monadic algebras than the definition. The reader interested in the motivation for and the basic facts in the theory of monadic a...

in this paper, we introduce fuzzy banach algebra and study the properties of invertible elements and its relation with opensets. we obtain some interesting results.

The variety MBA of monadic bounded algebras consists of Boolean algebras with a distinguished element E, thought of as an existence predicate, and an operator ∃ reflecting the properties of the existential quantifier in free logic. This variety is generated by a certain class FMBA of algebras isomorphic to ones whose elements are propositional functions. We show that FMBA is characterised by th...

An order-theoretic forest is a countable partial order such that the set of elements larger than any element linearly ordered. It an tree if two have upper-bound. The type branch (a maximal ordered subset) can be linear order. Such generalized infinite trees yield convenient definitions rank-width and modular decomposition graphs. We define algebra based on only four operations generate up to i...