Recent Submissions

  • Navigating and Owning Obedience: Reassessing Friedrich Halm's Griseldis 

    Wagner, Martin (Johns Hopkins University Press, Arts, School of Languages, Linguistics, Literatures and Cultures, University of Calgary, https://www.press.jhu.edu/rights-permissions/institutional-repository-use, acceptedVersion, 2020-05)
    This article critically reappraises the drama Griseldis (1835), the successful first play of the today largely forgotten Viennese playwright Friedrich Halm. I argue that the comparison between this play and its possible ...
  • Numa and Jupiter: Whose Smile Is It, Anyway? 

    Driediger-Murphy, Lindsay G. (Cambridge University Press, Classical Association, Arts, Classics and Religion, University of Calgary, https://www.cambridge.org/core/services/open-access-policies, acceptedVersion, 2021-06-14)
    This article examines the Roman tradition that Numa once negotiated with Jupiter about human sacrifice. Complete versions of the myth survive in Ovid, Plutarch and Arnobius (citing Valerius Antias). Previous studies of ...
  • Wer war Friedrich Halm? Zum Pseudonym von Eligius von Münch-Bellinghausen 

    Wagner, Martin; Slipp, Richard (Arts, School of Languages, Linguistics, Literatures and Cultures, acceptedVersion, 2020-06-19)
    Wie in diesem Beitrag erstmals gezeigt wird, bezog sich der erfolgreiche Burgtheaterautor Eligius von Münch-Bellinghausen (1806-1871) bei der Wahl seines Pseudonyms Friedrich Halm sehr wahrscheinlich auf Karl Holds Roman ...
  • Logical Time in Austen's Persuasion: Desire and the Unproductive Anxious Interval 

    Michalski, Isabelle; Sigler, David (Routledge, Arts, English, University of Calgary, publishedVersion, 2021-06-16)
    This essay reads Jane Austen’s Persuasion in light of Jacques Lacan’s essay “Logical Time and the Assertion of Anticipated Certainty.” We weigh the glances exchanged between characters in a chain of four episodes from the ...
  • Dual systems of sequents and tableaux for many-valued logics 

    Baaz, Matthias; Fermüller, Christian G.; Zach, Richard (European Association for Theoretical Computer Science, Arts, Philosophy, University of Calgary, Technische Universität Wien, https://eatcs.org/index.php/on-line-issues, publishedVersion, 1993-01)
    The aim of this paper is to emphasize the fact that for all finitely-many-valued logics there is a completely systematic relation between sequent calculi and tableau systems. More importantly, we show that for both of these ...
  • Recent Developments in Second Language Instruction: A Literature Review on Explicit Phonetic Instruction 

    Li, Qiuchen; Ma, Yue; O'Brien, Mary (Second Language and Intercultural Council (Alberta Teachers' Association), Arts, Linguistics, Languages & Cultures, University of Calgary, 2021-05)
    Recent years have witnessed dramatic change in the area of second language teaching and a growing demand for effective language programs (Burns and Richards 2012). Second language teachers face many challenges, and ...
  • When Anne Frank Met Astro Boy: Drawing the Holocaust through Manga 

    Whaley, Ben (Duke University Press, Arts, School of Languages, Linguistics, Literatures and Cultures, University of Calgary, acceptedVersion, 2020-11-01)
    This article examines the evolution and impact of Anne Frank’s The Diary of a Young Girl on postwar manga (print comics) and Japanese visual culture. The author argues that Anne’s enduring legacy in Japan, dating back to ...
  • Hilbert’s Finitism: Historical, Philosophical, and Metamathematical Perspectives 

    Zach, Richard (Arts, Philosophy, University of Calgary, University of California, Berkeley, 2001-05)
    In the 1920s, David Hilbert proposed a research program with the aim of providing mathematics with a secure foundation. This was to be accomplished by first formalizing logic and mathematics in their entirety, and then ...
  • Proof Theory of Finite-valued Logics 

    Zach, Richard (Arts, Philosophy, University of Calgary, Technische Universität Wien, 1993-09-21)
    The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, ...
  • Elimination of cuts in first-order finite-valued logics 

    Baaz, Matthias; Fermüller, Christian G.; Zach, Richard (Institut für Informatik, Arts, Philosophy, University of Calgary, publishedVersion, 1994-01)
    A uniform construction for sequent calculi for finite-valued first-order logics with distribution quantifiers is exhibited. Completeness, cut-elimination and midsequent theorems are established. As an application, an analog ...

View more