Abstract In Schwichtenberg (Studies in logic and the foundations of mathematics, vol 90, Elsevier, pp 867–895, 1977), fine-tuned Tait’s technique (Tait The syntax semantics infinitary languages, Springer, 204–236, 1968) so as to provide a simplified version Gentzen’s original cut-elimination procedure for first-order classical (Gallier Logic computer science: automatic theorem proving, Courier ...

Based on the survey data of 364 peasant households in Yibin, Sichuan, this paper analyzes the farmer’s willingness to small forest tenure mortgage loans. The result indicates a high willingness up to 74.2%, i.e. the farmers are willing to invest forest tenure mortgage loans into forestry and agricultural production. The influential factors on farmer’s willingness to small forest tenure mortgage...

Reading proficiency is a fundamental component of language competency. However, finding topical texts at an appropriate reading level for foreign and second language learners is a challenge for teachers. This task can be addressed with natural language processing technology to assess reading level and simplify text. This proposal presents a research plan for the development of tools for reading...

If the needs of future midwifery practitioners are to be met it is essential that health-care education is evaluated to ensure that learning opportunities are relevant, dynamic and aligned with professional policy recommendations. In 2004, midwifery lecturers from Bournemouth University (BU) carried out an evaluation of four specific elements of the student practice and education experience wit...

Student incivility is defined as rude and disruptive behavior that, when left unaddressed, may spiral into aggressive or violent behavior. Nursing faculty are challenged by uncivil student behavior and many are underprepared to deal with its effects. Some faculty members consider leaving nursing education because of the serious toll that incivility often takes on their personal and professional...

Health professional education is experiencing increased accountability from higher education and professional accrediting bodies to produce professionals who are prepared to meet the demands of the complex, fast-paced, ever changing health-care environment. Using competency-based assessment methods to evaluate a student’s performance can assist to decrease the gap between education and practice...

Student-faculty trust and related concept characteristics have been shown to be factors associated with successful student learning. The purpose of the proposed model is to present a conceptual framework supporting the complex relationships between students’ trust in faculty, the students’ mood states, and students’ educational performance and outcomes. Enhanced understanding and assessment of ...

This chapter illustrates how student activism, taken in the context of the student voice, can be harnessed as a way of enhancing the quality of educational provision in higher education. Agenda 2063 of the African Commission recognizes equitable access to quality higher education as critical for national development. In the face of an increase in stu‐ dent protests and the resultant destruction...

The student teaching experience serves as a culmination of the teacher education process. It is a time for individuals preparing for a career in education to apply the theories and methods that they have studied during their teacher preparation program. The student teaching center and the supervising (cooperating) teacher are the most important ingredients in the student teaching experience. Th...