نتایج جستجو برای: strongly blended dually quasi de morgan stone semi heyting algebra
تعداد نتایج: 2061750 فیلتر نتایج به سال:
a module m is called epi-retractable if every submodule of m is a homomorphic image of m. dually, a module m is called co-epi-retractable if it contains a copy of each of its factor modules. in special case, a ring r is called co-pli (resp. co-pri) if rr (resp. rr) is co-epi-retractable. it is proved that if r is a left principal right duo ring, then every left ideal of r is an epi-retractable ...
in this paper by using the notiαon of anti fuzzy points and its besideness to andnon-quasi-coincidence with a fuzzy set the concepts of an anti fuzzy subalgebrasin bm-algebras are generalized and their inter-relations and related propertiesare investigated.
We develop the theory of Heyting locally small spaces, including Stone-like dualities such as a new version Esakia duality and system concrete isomorphisms equivalences. In way, we continue building tame topology, realising Grothendieck’s ideas. use up-spectral spaces define standard up-spectralification Kolmogorov space. This research gives more understanding definable over structures with top...
The aim of this paper is to establish a fuzzy version of the dualitybetween domains and completely distributive lattices. All values aretaken in a fixed frame $L$. A definition of (strongly) completelydistributive $L$-ordered sets is introduced. The main result inthis paper is that the category of fuzzy domains is dually equivalentto the category of strongly completely distributive $L$-ordereds...
let $r$ be a commutative ring. the purpose of this article is to introduce a new class of ideals of r called weakly irreducible ideals. this class could be a generalization of the families quasi-primary ideals and strongly irreducible ideals. the relationships between the notions primary, quasi-primary, weakly irreducible, strongly irreducible and irreducible ideals, in different rings, has bee...
In this paper we introduce the concepts of hyper P -semisimple Ialgebra and Abelian hyper I-algebra and we state and prove some related results. The hyper p-semi simple I-algebras is a generalization of p-semisimple BCI-algebras and a subclass of hyper I-algebras. Specially we show that every Abelian hyper I-algebra is a hyper psemisimple I-algebra and a commutative canonical hypergroup. In fol...
(6) For every finite element a of V→̇C holds {a} ∈ SubstitutionSet(V,C). (7) If A a B = A, then for every set a such that a ∈ A there exists a set b such that b ∈ B and b⊆ a. (8) If μ(A a B) = A, then for every set a such that a ∈ A there exists a set b such that b ∈ B and b⊆ a. (9) If for every set a such that a ∈ A there exists a set b such that b ∈ B and b ⊆ a, then μ(A a B) = A. Let V be a s...
In this paper we define and examine frame constructions for the family of many-valued modal logics introduced by M. Fitting in the ’90s. Every language of this family is built on an underlying space of truth values, a Heyting algebra H. We generalize Fitting’s original work by considering complete Heyting algebras as truth spaces and proceed to define a suitable notion of H-indexed families of ...
In Coecke (2002a) we proposed the intuitionistic or disjunctive representation of quantum logic, i.e., a representation of the property lattice of physical systems as a complete Heyting algebra of logical propositions on these properties, where this complete Heyting algebra goes equipped with an additional operation, the operational resolution, which identifies the properties within the logic o...
Sheaves of structures are useful to give constructions in universal algebra and model theory. We can describe their logical behavior terms Heyting-valued structures. In this paper, we first provide a systematic treatment sheaves from the viewpoint categorical logic. then prove form {\L}o\'s's theorem for also characterization which holds with respect any maximal filter.
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید