نتایج جستجو برای: formalize them in modern modal and relevant logics
تعداد نتایج: 21775605 فیلتر نتایج به سال:
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...
A generalization of analytic deduction via labelled deductive systems.Part I: Basic substructural logics. 39 In this way, Plotkin and Stirling generate intuitionistic modal logics in which modal operators are interpreted similarly to the intuitionistic quantiiers 8 and 9, and the two modal operators are not interdeenable. An extension of the work presented in this paper to full substructural mo...
The goal of this paper is to show how modal logic may be conceived as recording the derived rules of a logical system in the system itself. This conception of modal logic was propounded by Dana Scott in the early seventies. Here, similar ideas are pursued in a context less classical than Scott's. First a family of propositional logical systems is considered, which is obtained by gradually addin...
the purpose of this study was to investigate the relationship between teachers’ class management practices with students’ self- regulated learning and academic self-efficacy. in this study relating to the management class, three dimensions, (training management, people management and behavior management) and three style (interventionist, interactionist and non-interventionist) was considered. r...
In this paper we discuss ground logics, a family of nonmonotonic modal logics, with the goal of using them in knowledge representation. Ground logics are based on the idea of minimizing the knowledge expressed by non-modal formulae. The nonmonotonic character of the logics can be described either by a x-point equation or by means of a preference relation on possible-worlds models. We address bo...
1.0 overview it seems that grammar plays a crucial role in the area of second and foreign language learning and widely has been acknowledged in grammar research. in other words, teaching grammar is an issue which has attracted much attention to itself, and a lot of teachers argue about the existence of grammar in language teaching and learning. this issue will remind us a famous sentence f...
In this paper, we develop intuitionistic propositional calculus IPC in the extended language with single modal operator. The formulation that we adopt in this paper is very useful not only to formalize the calculus but also to do a number of logics with essentially propositional character. In addition, it is much simpler than the past formalization for modal logic. In the first section, we give...
acknowledgements i wish to express my gratitude to all those who have helped me in preparing this thesis. i would like to express my deep gratitude to my respected advisor dr. kourosh akef, whose advice and comments helped me in the early stages of the research and throughout the writing process. i would also like to express my gratitude to dr. hajar khanmohammad whose invaluable guidance he...
Simple type theory is suited as framework for combining classical and non-classical logics. This claim is based on the observation that various prominent logics, including (quantified) multimodal logics and intuitionistic logics, can be elegantly embedded in simple type theory. Furthermore, simple type theory is sufficiently expressive to model combinations of embedded logics and it has a well ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید