نتایج جستجو برای: heyting algebra of level 1
تعداد نتایج: 21521066 فیلتر نتایج به سال:
it is definitely necessary to understand the concept and behavior of causation of life insurance policies and its determinants for insurance managers, regulators, and customers. for insurance managers, the profitability and liquidity of insurers can be increasingly influenced by the number of causation through costs, adverse selection, and cash surrender values. therefore, causation is a materi...
abstract this study examines the relationship between reading anxiety and difficulty of texts as well as the relationship between reading anxiety and students perceived difficulty of the texts. since difficulty is a relative concept, i limited its definition by sticking to the readability formula. we also took students perceived difficulty levels into account. therefore, in the present study, ...
We develop duality between nuclei on Heyting algebras and certain binary relations on Heyting spaces. We show that these binary relations are in 1–1 correspondence with subframes of Heyting spaces. We introduce the notions of nuclear and dense nuclear varieties of Heyting algebras, and prove that a variety of Heyting algebras is nuclear iff it is a subframe variety, and that it is dense nuclear...
abstract the present study was conducted to examine the effect of proficiency on students interaction while carrying out the grammar-based task(s) in collaboration. in particular, the study examines whether the level of proficiency affects the learners’ focus of attention to grammatical and lexical features. the study takes a further step and examines whether there is any difference in the use...
The aim of the present paper is to define the localisation of MValgebra of an MV-algebra A with respect to a topology F on A. In the last part of the paper it is proved that the maximal MV-algebra of quotients (defined in [6]) and the MV-algebra of fractions relative to an ∧−closed system (defined in [5]) are MV algebra of localisation. The concept of multiplier for distributive lattices was de...
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 describe the well-founded initial segment of the free Heyting algebra Aα on finitely many, α, generators. We give a complete classification of initial sublattices of A2 isomorphic to A1 (called ‘low ladders’), and prove that for 2 ≤ α < ω, the height of the wellfounded initial segment of Aα is ω.
Looking for a complete formalization of constructive topology we analyzed the structure of the subsets of a Heyting algebra which correspond to the concrete closed and open sets of a topological space over its formal points. After this has been done, the rules for a formalization of constructive topology, which is both predicative and complete, are unveiled.
determination of uranium in natural water and complex solutions using ion exchange chromatography: a combined procedure using ion exchange chromatography and uv-vis spectrophotometry techniques has been developed to measure uranum in natural water and complex solutions. after conditicing , one hundred milli liters of sample solutions have been passed through an ion exchange column,pachked with ...
We use coalgebraic methods to describe finitely generated free Heyting algebras. Heyting algebras are axiomatized by rank 0-1 axioms. In the process of constructing free Heyting algebras we first apply existing methods to weak Heyting algebras—the rank 1 reducts of Heyting algebras—and then adjust them to the mixed rank 0-1 axioms. On the negative side, our work shows that one cannot use arbitr...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید