نتایج جستجو برای: heyting algebra of level 1
تعداد نتایج: 21521066 فیلتر نتایج به سال:
iv abstract this study examined the linguistic behaviors of two iranian efl teachers each of them teaching learners of two similar proficiency levels, a beginner level and an intermediate level, to investigate the relationship between the learners proficiency levels and the amounts and purposes for l1 use by the two teachers. the study was carried out to investigate whether there were differe...
since its introduction in 1959, translation quality assessment (tqa) has been among the most addressed research topics in translation studies. during recent years, there has been a crucial increase on the study of tqa. various methods have come on scene. although these methods are based on scientific theories, most of them have remained at the level of theory. juliane house’s model is among tho...
the current study examined iranian undergraduate efl students’ willingness to communicate with regard to their vocabulary knowledge. in general, participants were somewhat willing to communicate in english. the total mean score of 730 university students’ perception of willing to communicate was 83.53 out of 135. results, regarding four parts of willingness to communicate, revealed that part...
tennessee williams (1911-1983), the modern american dramatist, had his own unique school of dramaturgy. the dramas which he depicted are populated by characters who are lonely, desperate, in anxiety, alienated and in one word lost. they face challenges which they may overcome or not, through the choices they make. all these moods and conditions are clearly seen and explained in the theory of ex...
Weak Heyting algebras are a natural generalization of Heyting algebras (see [2], [5]). In this work we study certain subvarieties of the variety of weak Heyting algebras in order to extend some known results about compatible functions in Heyting algebras.
the purpose of this study was to investigate the relationship between family functioning and marital adjustment humor couples are due to the nature and objectives of the research and application of methods for its implementation correlation was used. the study population consisted of all the couples in the city who uses random cluster sampling of 200 students were selected as sample. data from ...
The foundational character of certain algebraic structures as Boolean algebras and Heyting algebras is rooted in their potential to model classical and constructive logic, respectively. In this paper we discuss the contributions of algebraic logic to the study of persistence based on a new operation on the ordered structure of the input diagram of vector spaces and linear maps given by a filtra...
We describe an algebraic way to code the causal information of a discrete spacetime. The causal set C is transformed to a description in terms of the causal pasts of the events in C. This is done by an evolving set, a functor which to each event of C assigns its causal past. Evolving sets obey a Heyting algebra which is characterised by a non-standard notion of complement. Conclusions about the...
Based on a complete Heyting algebra, we modify the definition of lattice-valued fuzzifying convergence space using fuzzy inclusion order and construct in this way a Cartesian-closed category, called the category of L−ordered fuzzifying convergence spaces, in which the category of L−fuzzifying topological spaces can be embedded. In addition, two new categories are introduced, which are called th...
Residuated structures are important lattice-ordered algebras both for mathematics and for logics; in particular, the development of lattice-valued mathematics and related non-classical logics is based on a multitude of lattice-ordered structures that suit for many-valued reasoning under uncertainty and vagueness. Extended-order algebras, introduced in [10] and further developed in [1], give an ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید