Recent Submissions

  • 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 ...
  • Lacan's Romanticism 

    Sigler, David (Routledge, Arts, English, University of Calgary, publishedVersion, 2020-01)
  • Gender and Law Through the Lens of Land, Hunger and Terror 

    Banerjee, Pallavi; Nasiri, Pedrom (Routledge, Arts, Sociology, University of Calgary, https://www.routledge.com/our-products/open-access-books/publishing-oa-books/chapters, acceptedVersion, 2021-03-04)
    In this chapter, the authors approach the concept of gender and its relationship to the law from the perspective of 'southern theory'. Working from this standpoint, they will introduce three themes: gendered contestation ...
  • On Belonging and Other Dreams. The Ambiguous Positions of the Jews in “Spanish Morocco” 

    Cohen, Angy (Springer, Arts, Anthropology & Archaelogy, University of Calgary, https://www.springer.com/gp/open-access/publication-policies/self-archiving-policy, acceptedVersion, 2021-02-25)
    This paper presents an ethnographic study of autobiographical narratives about Jewish life during the Spanish Protectorate in Morocco (1912–1956). Based on eighteen interviews conducted between 2013 and 2016, this work ...
  • Race and Ethnicity in the Lives of LGBTQ Parents and Their Children: Perspectives from and Beyond North America 

    Brainer, Amy; Moore, Mignon R.; Banerjee, Pallavi (Springer Nature Switzerland AG : LBGTQ-Parent Families, Arts, Sociology, Barnard College, Columbia University, New York, USA, University of Michigan Dearborn, Dearborn, USA, University of Calgary, 2020-04-04)
    LGBTQ people of color in North America are raising children in significant numbers and are more likely than are White LGBTQ people to have children under 18 living in their homes. Emerging data point as well to significant ...
  • Gender and the Resettlement of Yazidis in Calgary: A Deep Dive in the Resettlement, Health, Carework and Education Processes 

    Banerjee, Pallavi; Coakley, Annalee L.; Narula, Bindu; Saheb Javaher, Negin; Theodore, Rowena; Thraya, Sophia (Arts, Sociology, publishedVersion, 2020-11)
    Feminist scholars of refugee and immigration studies have shown gender to be the organizing principle for resettlement experiences of newcomers. This chapter, co-authored by researchers and practitioners, focuses on how ...
  • The Significance of the Curry-Howard Isomorphism 

    Zach, Richard (De Gruyter, publishedVersion, 2019-11-19)
    The Curry-Howard isomorphism is a proof-theoretic result that establishes a connection between derivations in natural deduction and terms in typed lambda calculus. It is an important proof-theoretic result, but also underlies ...

View more