An Interactive Theorem Prover for First-Order Dynamic Logic

Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs. The method of proving correctness of properties of a computer program using the well-known Hoare Logic can be implemented by utilizing the robustness of dynamic logic. For a very broad range of languages and applications in program veri cation, a theorem prover named KIV (Karlsruhe Interactive Veri er) Theorem Prover has already been developed. But a high degree of automation and its complexity make it di cult to use it for educational purposes. My research work is motivated towards the design and implementation of a similar interactive theorem prover with educational use as its main design criteria. As the key purpose of this system is to serve as an educational tool, it is a self-explanatory system that explains every step of creating a derivation, i.e., proving a theorem. This deductive system is implemented in the platform-independent programming language Java. In addition, a very popular combination of a lexical analyzer generator, JFlex, and the parser generator BYacc/J for parsing formulas and programs has been used.

Ambivalent longings: Heim and its prefix : anxiety and the discourse of home

Please consult the paper edition of this thesis to read. It is available on the 5th Floor of the Library at Call Number: Z 9999 P55 N37 2005

Acts of incorporation and amendments of the Niagara Falls Suspension Bridge Co'y and the Niagara Falls International Bridge Co'y, also articles of association, leases, agreements, etc. (1900)

Contains "Acts of Parliament of Province of Canada and Acts of Parliament of Dominion of Canada."

In danger of jammed minds: A deconstructive discourse analysis of the criteria for early onset schizophrenia and imagination in children's literature

The purpose of this research is to expose and complicate those discourses of childhood imagination as demonstrated in the diagnostic criteria for early onset schizophrenia by using an antipsychiatry perspective. This will be done by evaluating those discourses alongside those found in popular children’s literature, specifically, Harry Potter and The Philosopher’s Stone, Bridge to Terabithia, and A Wrinkle in Time. Once uncovered, the underlying power discourses were then exposed. This research will then employ a minor reading as provided by Deleuze and Guattari’s (1987) approach to minor literature to demonstrate the ways in which the child can subvert those dominant discourses. The potential of literature is evaluated for its ability to provide alternative modes of experience and lines of flight for the child subjected to the diagnostic criteria of schizophrenia.

A Narrative Study of Patient Encounter Accounts of Physicians, Nurses, and Medical Receptionists after Two Decades of a Paradigm of Patient-Centered Care

Despite recent well-known advancements in patient care in the medical fields, such as patient-centeredness and evidence-based medicine and practice, there is rather less known about their effects on the particulars of clinician-patient encounters. The emphasis in clinical encounters remains mostly on treatment and diagnosis and less on communicative competency or engagement for medical professionals. The purpose of this narrative study was to explore interactive competencies in diagnostic and therapeutic encounters and intake protocols within the context of the physicians’, nurses’, and medical receptionists’ perspectives and experiences. Literature on narrative medicine, phenomenology and medicine, therapeutic relationships, cultural and communication competency, and non-Western perspectives on human communication provided the guiding theoretical frameworks for the study. Three data sets including 13 participant interviews (5 physicians, 4 nurses, and 4 medical receptionists), policy documents (physicians, nurses, and medical receptionists) and a website (Communication and Cultural Competency) were used. The researcher then engaged in triangulated analyses, including N-Vivo, manifest and latent, Mishler’s (1984, 1995) narrative elements and Charon’s (2005, 2006a, 2006b, 2013) narrative themes, in recursive, overlapping, comparative and intersected analysis strategies. A common factor affecting physicians’ relationships with their clients was limitation of time, including limited time (a) to listen, (b) to come up with a proper diagnosis, and (c) to engage in decision making in critical conditions and limited time for patients’ visits. For almost all nurse participants in the study establishing therapeutic relationships meant being compassionate and empathetic. The goals of intake protocols for the medical receptionists were about being empathetic to patients, being an attentive listener, developing rapport, and being conventionally polite to patients. Participants with the least iv amount of training and preparation (medical receptionists) appeared to be more committed to working narratively in connecting with patients and establishing human relationships as well as in listening to patients’ stories and providing support to narrow down the reason for their visit. The diagnostic and intake “success stories” regarding patient clinical encounters for other study participants were focused on a timely securing of patient information, with some acknowledgement of rapport and emapathy. Patient-centeredness emerged as a discourse practice, with ambiguous or nebulous enactment of its premises in most clinical settings.

Educational Leadership: Exploring the Influence of Managed and Living Systems in Educational Leadership Discourse

A conceptual analysis of educational leadership explored the influence of managed and living systems on 21st century leadership discourse. Drawing on a detailed understanding of managed and living systems theory compiled from the work of Capra (2002), Morgan (1997), Mitchell and Sackney (2009), and Wheatley (2007), this study draws attention to the managed systems systemic concepts of efficiency, control, and standardization, and the living systems concepts of collaboration, shared meaning, change, and interconnection as markers of systems theory that find resonance within leadership literature. Using these systemic concepts as a framework, this study provides important insights into the espousal of managed and living systems concepts within the leadership discourse.

Bill no. 20: An act to amend the acts relating to the Long Point Company

Bill no. 20: An act to amend the acts relating to the Long Point Company (2 ¼ printed pages), 1887.

Diversity Discourse and the Ontario Educator: The Understandings of Race and Whiteness Among New White Ontario Teachers

As a recent teacher education graduate, I have been left with more questions than answers about how to create and maintain an equitable and antioppressive classroom. These complicated questions of equity laid the groundwork for this study, which explored how new teachers understood diversity, specifically whiteness, and how they connected these perceptions to their course-related experiences in their teacher education program. Using a qualitative approach, this study problematized the lack of critical discussions around diversity taking place in Ontario teacher education courses. Through purposive, homogenous sampling, 7 new Ontario educators participated in a semistructured interview that focused on their experiences as teacher candidates and new teachers and their understandings and ideas regarding diversity, race, and more specifically, whiteness. The findings suggest that the greater Canadian discourse surrounding multiculturalism impacts the everyday diversity talk of the participants, and that problematic ideas of acceptance and tolerance are common. The findings also show a strong discomfort and unfamiliarity among the participants with the terms whiteness and white privilege. Finally, the results also revealed that new teachers have limited experience in their teacher education to discuss and learn about diversity, particularly critical discussions about race and privilege. Through this investigation, I aimed to bring attention to the necessity of having these critical, albeit difficult, discussions around diversity and whiteness in order to support new, predominately white, teachers.