in this paper, we deal with molaei’s generalized groups. we definethe notion of a fuzzy generalized subgroup with respect to a t-norm (ort-fuzzy generalized subgroup) and give some related properties. especially,we state and prove the representation theorem for these fuzzy generalizedsubgroups. next, using the concept of continuity of t-norms we obtain a correspondencebetween tf(g), the set of ...

In this paper, we introduce the notions of expansion of ideals in $MV$-algebras, $ (tau,sigma)- $primary, $ (tau,sigma)$-obstinate  and $ (tau,sigma)$-Boolean  in $ MV- $algebras. We investigate the relations of them. For example, we show that every $ (tau,sigma)$-obstinate ideal of an $ MV-$ algebra is $ (tau,sigma)$-primary  and $ (tau,sigma)$-Boolean. In particular, we define an expansion $ ...

In this paper, it is shown that the category of stratified $L$-generalized convergence spaces is monoidal closed if the underlying truth-value table $L$ is a complete residuated lattice. In particular, if the underlying truth-value table $L$ is a complete Heyting Algebra, the Cartesian closedness of the category is recaptured by our result.

The theory of elementary toposes plays the fundamental role in the categorial analysis of the intuitionistic logic. The main theorem of this theory uses the fact that sets E(A,Ω) (for any object A of a topos E) are Heyting algebras with operations defined in categorial terms. More exactly, subobject classifier true: 1 → Ω permits us define truth-morphism on Ω and operations in E(A,Ω) are define...

It is well-known that congruences on a Heyting algebra are in one-to-one correspondence with filters of the underlying lattice. If an algebra A has a Heyting algebra reduct, it is of natural interest to characterise which filters correspond to congruences on A. Such a characterisation was given by Hasimoto [1]. When the filters can be sufficiently described by a single unary term, many useful p...

In this note we characterize all subalgebras and homomorphic images of the free cyclic Heyting algebra, also known as the RiegerNishimura lattice N . Consequently, we prove that every subalgebra of N is projective, that a finite Heyting algebra is a subalgebra of N iff it is projective, and characterize projective homomorphic images of N . The atoms and co-atoms of the lattice of all subalgebra...

Via the introduction of (infinitary) disjunctions on any complete lattice while inheriting the meet as a conjunction, we construct a bijective correspondence (up to isomorphism) between complete lattices L and complete Heyting algebras DI(L) equipped with a so called disjunctive join dense closure operator RL. If L is itself a complete Heyting algebra then DI(L) ∼= L and RL = idDI(L). Ortholatt...

The Semi Heyting Almost Distributive Lattice (SHADL) is a mathematical framework that combines the concepts of semi algebra and almost distributive lattice. This abstract highlights applications SHADL in various domains