abstract. in this paper, we introduce the notion of fuzzy obstinate ideals in mv -algebras. some properties of fuzzy obstinate ideals are given. not only we give some characterizations of fuzzy obstinate ideals, but also bring the extension theorem of fuzzy obstinate ideal of an mv -algebra a. we investigate the relationships between fuzzy obstinate ideals and the other fuzzy ideals of an mv -a...

We prove that the lattice of normal forms over an arbitrary set, introduced in [12], is an implicative lattice. The relative pseudo-complement α ⇒ β is defined as α 1 ∪α 2 =α −α 1 α 2 β, where −α is the pseudo-complement of α and α β is a rather strong implication introduced in this paper. [1] provide the notation and terminology for this paper. The following proposition is true (1) Let A, B, C...

Werner’s set-theoretical model is one of the most intuitive models of ECC. It combines a functional view of predicative universes with a collapsed view of the impredicative sort Prop. However this model of Prop is so coarse that the principle of excluded middle P ∨¬P holds. In this paper, we interpret Prop into a topological space (a special case of Heyting algebra) to make it more intuitionist...

A subresiduated lattice is a pair (A, D), where bounded distributive lattice, D sublattice of and for every $$a,b\in A$$ there $$c\in D$$ such that all $$d\in , $$d\wedge a\le b$$ if only $$d\le c$$ . This c denoted by $$a\rightarrow can be regarded as an algebra $$\left$$ type (2, 2, 0, 0) $$D=\{a\in A\mid 1\rightarrow a=a\}$$ The class lattices variety ...

We develop a denotational, fully abstract semantics for constraint logic programming (clp) with respect to successful and failed observables. The denotational approach turns out very useful for the deenition of new operators on the language as the counterpart of some abstract operations on the denotational domain. In particular, by deening our domain as a cylindric Heyting algebra, we can explo...