Results for 'Beardsworth Sara'

1000+ found
Order:
  1.  16
    Benjamin, Horkheimer, and Adorno.Sara Beardsworth - 2005 - Idealistic Studies 35 (1):61-72.
    The paper considers what united and divided Benjamin and Horkheimer-Adorno in terms of their respective confrontations with the question of what it is to articulate the past historically. It presents their shared self-consciousness of the difficult task of responding critically to a problem conceived of as the entanglement of the concept of history with domination. For the problem imbues conceptualization itself and therefore threatens the value of the authoritative statements made in their own critical reflection on it. I show that (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  2.  6
    Julia Kristeva: Psychoanalysis and Modernity.Sara Beardsworth - 2004 - State University of New York Press.
    A comprehensive examination of Kristeva's work from the seventies to the nineties.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  3.  5
    From Revolution to Revolt Culture.Sara Beardsworth - 2012 - In Tina Chanter & Ewa PŁonowska Ziarek (eds.), Revolt, Affect, Collectivity: The Unstable Boundaries of Kristeva’s Polis. SUNY Press. pp. 37-56.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  5
    Kristeva's Idea of Sublimation.Sara Beardsworth - 2004 - Southern Journal of Philosophy 42 (S1):122-136.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  5.  2
    The Chiasmus of Action and Revolt.Sara Beardsworth - 2017 - In Sarah K. Hansen (ed.), New forms of revolt: essays on Kristeva's intimate politics. Albany, NY: SUNY Press. pp. 43-63.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  6
    The philosophy of Umberto Eco.Sara Beardsworth & Randall E. Auxier (eds.) - 2017 - Chicago: Open Court.
    The Philosophy of Umberto Eco stands out in the Library of Living Philosophers series as the volume on the most interdisciplinary scholar hitherto and probably the most widely translated. The Italian philosopher's name and works are well known in the humanities, both his philosophical and literary works being translated into fifteen or more languages. Eco is a founder of modern semiotics and widely known for his work in the philosophy of language and aesthetics. He is also a leading figure in (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  7. Psychoanalysis and yoga : the feminine and the unconscious between East and West.Sara Beardsworth - 2016 - In Mary C. Rawlinson (ed.), Engaging the World: Thinking after Irigaray. Albany: State University of New York Press.
     
    Export citation  
     
    Bookmark  
  8.  6
    Freud's Oedipus and Kristeva's Narcissus: Three Heterogeneities.Sara Beardsworth - 2005 - Hypatia 20 (1):54-77.
    The paper shows that three heterogeneities in Freud and Kristeva expose the historical emergence, significance, and demise of psychic structures that present obstacles to our progressive political thinking. The oedipal and narcissistic structures of subjectivity represent the persistence of two past, bad forms of authority: paternal law and maternal authority. Contemporary psychoanalysis reveals a humankind going through the loss of this past in a process that opens up a different future of sexual difference in Western cultures.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  24
    The Return of Mythic Voice in the Aporias of Narcissism: Pleshette DeArmitt’s Ethical Idea.Sara Beardsworth - 2015 - Journal of French and Francophone Philosophy 23 (2):14-27.
    The ordeal of mourning, being so much harder than any thought its experience may deliver, bears out the impression developed in Julia Kristeva’s opening to The Severed Head —that thought is swift. She has recognized as well as anyone the interplay of blindness and insight. Nothing brings all this into starker evidence than the premature death of a loved other, a friend, or a true assistant in life and thought. There is a reminder in this that the new narratives of (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  10.  16
    The philosophy of Julia Kristeva.Julia Kristeva & Sara Beardsworth (eds.) - 2020 - Chicago, Illinois: Open Court.
    The format of this volume in the Library of Living Philosophers series provides for a detailed interaction between those who interpret and critique Julia Kristeva's work and Kristeva herself, giving broad coverage, from diverse viewpoints, of all the major topics establishing her reputation. This work begins with her autobiography, which provides an excellent introduction to her work, situating it in relation to major political, intellectual, and cultural movements of the time. The major part of the book is comprised of thirty-six (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  14
    Editors' Introduction.Sara Beardsworth & Mary Beth Mader - 2004 - Southern Journal of Philosophy 42 (S1):1-2.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  12.  13
    Freud's oedipus and Kristeva's narcissus: Three heterogeneities.Sara Beardsworth - 2005 - Hypatia 20 (1):54-77.
    : The paper shows that three heterogeneities in Freud and Kristeva (unconscious/conscious, semiotic/symbolic, and imaginary/symbolic) expose the historical emergence, significance, and demise of psychic structures that present obstacles to our progressive political thinking. The oedipal and narcissistic structures of subjectivity represent the persistence of two past, bad forms of authority: paternal law and maternal authority. Contemporary psychoanalysis reveals a humankind going through the loss of this past in a process that opens up a different future of sexual difference in Western (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  13.  21
    Keeping it Intimate: A Meditation on the Power of Horror.Sara Beardsworth - 2013 - Journal of French and Francophone Philosophy 21 (1):127-131.
    The paper is a reading of Julia Kristeva, The Severed Head . It first interprets a dual historical element in Kristeva's text on "capital visions," her selection of exemplars of the artistic representation of severed heads. On the one hand, there are the aesthetic trajectories themselves, from skull art to artistic modernism. On the other hand, there is an implicit history of "horror" in psychoanalysis in this text, going from Freud through Lacan to Kristeva. The paper then indicates the tone (...)
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark  
  14. Secondary literature.Sara Beardsworth - 2007 - In Diarmuid Costello & Jonathan Vickery (eds.), Art: key contemporary thinkers. New York: Berg. pp. 186.
    No categories
     
    Export citation  
     
    Bookmark  
  15.  9
    The philosophical foundations of Kristeva's thought.Sara Beardsworth - unknown
    The critical reception of Kristeva's writings has largely been in the field of feminist thought, literary studies and social theory. Her thought has been appreciated or abandoned on the grounds of its argument that the concepts and practices of 'psychoanalysis' and 'literature' present the truth of modern social and political relations - in distinction from and criticism of philosophical 'system' . The thesis implicitly challenges this general reception of I (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  6
    Technology, Subjectivity, and the Social Bond.Sara Beardsworth - 2003 - Graduate Faculty Philosophy Journal 24 (2):29-57.
    This paper is concerned with giving critical attention to technology and treats technology as a site for interrogating the problem of the social bond in Western cultures. While Sloterdijk and Haraway represent, respectively, Marxist and feminist approaches to this question, it is argued here that the debate needs to pay further attention to the relationship between technology and subjectivity, and that there are two problems of authority which are at stake in thinking through their relationship. These two problems of authority (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  17.  8
    Technology, Subjectivity, and the Social Bond.Sara Beardsworth - 2003 - Graduate Faculty Philosophy Journal 24 (2):29-57.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  9
    From nature in love: The problem of subjectivity in Adorno and Freudian psychoanalysis. [REVIEW]Sara Beardsworth - 2007 - Continental Philosophy Review 40 (4):365-387.
    This paper investigates the potential of the concept of sublimation for thinking subjectivity at the intersection of psychoanalysis and critical theory. I first rehearse a recent argument by Whitebook that Freud’s notion of sublimation presents a nonviolent integration and expansion of the ego, which can mediate the modern dichotomy between the rational subject and nonrational impulse and desire. On this view, sublimation turns subjectivity into a site of possibility in the context of modern, rationalized thought and society. I then argue (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  4
    Review of Gunnar Karlsson, Psychoanalysis in a New Light[REVIEW]Sara Beardsworth - 2010 - Notre Dame Philosophical Reviews 2010 (12).
  20.  1
    The Philosophy of Umberto Eco.Dario Compagno - 2018 - Philosophical Quarterly 68 (272):629-631.
    The Philosophy of Umberto Eco. Edited by Beardsworth Sara C., Auxier Randall E..
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21.  12
    Transitional Subjects: Critical Theory and Object Relations.Amy Allen & Brian O'Connor (eds.) - 2019 - Columbia University Press.
    Critical social theory has long been marked by a deep, creative, and productive relationship with psychoanalysis. Whereas Freud and Fromm were important cornerstones for the early Frankfurt School, recent thinkers have drawn on the object-relations school of psychoanalysis. Transitional Subjects is the first book-length collection devoted to the engagement of critical theory with the work of Melanie Klein, Donald Winnicott, and other members of this school. Featuring contributions from some of the leading figures working in both of these fields, including (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  68
    Learning Through Simulation.Sara Aronowitz & Tania Lombrozo - 2020 - Philosophers' Imprint 20.
    Mental simulation — such as imagining tilting a glass to figure out the angle at which water would spill — can be a way of coming to know the answer to an internally or externally posed query. Is this form of learning a species of inference or a form of observation? We argue that it is neither: learning through simulation is a genuinely distinct form of learning. On our account, simulation can provide knowledge of the answer to a query even (...)
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  23.  17
    Glivenko sequent classes and constructive cut elimination in geometric logics.Giulio Fellin, Sara Negri & Eugenio Orlandelli - 2023 - Archive for Mathematical Logic 62 (5):657-688.
    A constructivisation of the cut-elimination proof for sequent calculi for classical, intuitionistic and minimal infinitary logics with geometric rules—given in earlier work by the second author—is presented. This is achieved through a procedure where the non-constructive transfinite induction on the commutative sum of ordinals is replaced by two instances of Brouwer’s Bar Induction. The proof of admissibility of the structural rules is made ordinal-free by introducing a new well-founded relation based on a notion of embeddability of derivations. Additionally, conservativity for (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  24. Loving People for Who They Are (Even When They Don't Love You Back).Sara Protasi - 2016 - European Journal of Philosophy 24 (1):214-234.
    The debate on love's reasons ignores unrequited love, which—I argue—can be as genuine and as valuable as reciprocated love. I start by showing that the relationship view of love cannot account for either the reasons or the value of unrequited love. I then present the simple property view, an alternative to the relationship view that is beset with its own problems. In order to solve these problems, I present a more sophisticated version of the property view that integrates ideas from (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   35 citations  
  25.  26
    Memory is a modeling system.Sara Aronowitz - 2018 - Mind and Language 34 (4):483-502.
    This paper aims to reconfigure the place of memory in epistemology. I start by rethinking the problem that memory systems solve; rather than merely functioning to store information, I argue that the core function of any memory system is to support accurate and relevant retrieval. This way of specifying the function of memory has consequences for which structures and mechanisms make up a memory system. In brief, memory systems are modeling systems. This means that they generate, update and manage a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  26. Overdetermination Underdetermined.Sara Bernstein - 2016 - Erkenntnis 81 (1):17-40.
    Widespread causal overdetermination is often levied as an objection to nonreductive theories of minds and objects. In response, nonreductive metaphysicians have argued that the type of overdetermination generated by their theories is different from the sorts of coincidental cases involving multiple rock-throwers, and thus not problematic. This paper pushes back. I argue that attention to differences between types of overdetermination discharges very few explanatory burdens, and that overdetermination is a bigger problem for the nonreductive metaphysician than previously thought.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  27.  9
    Resounding Meaning: A PERMA Wellbeing Profile of Classical Musicians.Sara Ascenso, Rosie Perkins & Aaron Williamon - 2018 - Frontiers in Psychology 9:375493.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  28. Experiential Explanation.Sara Aronowitz & Tania Lombrozo - 2020 - Topics in Cognitive Science 12 (4):1321-1336.
    People often answer why-questions with what we call experiential explanations: narratives or stories with temporal structure and concrete details. In contrast, on most theories of the epistemic function of explanation, explanations should be abstractive: structured by general relationships and lacking extraneous details. We suggest that abstractive and experiential explanations differ not only in level of abstraction, but also in structure, and that each form of explanation contributes to the epistemic goals of individual learners and of science. In particular, experiential explanations (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  29.  15
    A nation’s right to exclude and the Colonies.Sara Amighetti & Alasia Nuti - 2016 - Political Theory 44 (4):541-566.
    This essay contends that postcolonial migrants have a right to enter their former colonizing nations, and that these should accept them. Our novel argument challenges well-established justifications for restrictions in immigration-policies advanced in liberal nationalism, which links immigration controls to the nation’s self-determination and the legitimate preservation of national identity. To do so, we draw on postcolonial analyses of colonialism, in particular on Edward Said’s notion of “intertwined histories,” and we offer a more sophisticated account of national identity than that (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  30.  30
    Cut Elimination in the Presence of Axioms.Sara Negri & Jan Von Plato - 1998 - Bulletin of Symbolic Logic 4 (4):418-435.
    A way is found to add axioms to sequent calculi that maintains the eliminability of cut, through the representation of axioms as rules of inference of a suitable form. By this method, the structural analysis of proofs is extended from pure logic to free-variable theories, covering all classical theories, and a wide class of constructive theories. All results are proved for systems in which also the rules of weakening and contraction can be eliminated. Applications include a system of predicate logic (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   51 citations  
  31. Happy Self-Surrender and Unhappy Self-Assertion: A Comparison between Admiration and Emulative Envy.Sara Protasi - 2019 - In Alfred Archer & André Grahle (eds.), The Moral Psychology of Admiration. Rowman & Littlefield International. pp. 45-60.
    In this chapter, I argue that a certain kind of envy is not only morally permissible, but also, sometimes, more fitting and productive than admiration. Envy and admiration are part of our emotional palette, our toolbox of evolutionary adaptations, and they play complementary roles. I start by introducing my original taxonomy of envy, which allows me to present emulative envy, a species of envy sometimes confused with admiration. After reviewing how the two emotions differ from a psychological perspective, I focus (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  32.  10
    The developmental profile of temporal binding: From childhood to adulthood.Sara Lorimer, Teresa McCormack, Emma Blakey, David A. Lagnado, Christoph Hoerl, Emma Tecwyn & Marc J. Buehner - 2020 - Quarterly Journal of Experimental Psychology 73 (10):1575-1586.
    Temporal binding refers to a phenomenon whereby the time interval between a cause and its effect is perceived as shorter than the same interval separating two unrelated events. We examined the developmental profile of this phenomenon by comparing the performance of groups of children (aged 6-7-, 7-8-, and 9-10- years) and adults on a novel interval estimation task. In Experiment 1, participants made judgments about the time interval between i) their button press and a rocket launch, and ii) a non-causal (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  33. The Perfect Bikini Body: Can We All Really Have It? Loving Gaze as an Antioppressive Beauty Ideal.Sara Protasi - 2017 - Thought: A Journal of Philosophy 6 (2):93-101.
    In this paper, I ask whether there is a defensible philosophical view according to which everybody is beautiful. I review two purely aesthetical versions of this claim. The No Standards View claims that everybody is maximally and equally beautiful. The Multiple Standards View encourages us to widen our standards of beauty. I argue that both approaches are problematic. The former fails to be aspirational and empowering, while the latter fails to be sufficiently inclusive. I conclude by presenting a hybrid ethical–aesthetical (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  34.  15
    Contraction-free sequent calculi for geometric theories with an application to Barr's theorem.Sara Negri - 2003 - Archive for Mathematical Logic 42 (4):389-401.
    Geometric theories are presented as contraction- and cut-free systems of sequent calculi with mathematical rules following a prescribed rule-scheme that extends the scheme given in Negri and von Plato. Examples include cut-free calculi for Robinson arithmetic and real closed fields. As an immediate consequence of cut elimination, it is shown that if a geometric implication is classically derivable from a geometric theory then it is intuitionistically derivable.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   35 citations  
  35.  4
    A theoretical account of the effects of environmental context upon cognitive processes.Sara J. Nixon & N. Jack Kanak - 1985 - Bulletin of the Psychonomic Society 23 (2):139-142.
  36.  10
    Towards a Shared Redress: Achieving Historical Justice Through Democratic Deliberation.Sara Amighetti & Alasia Nuti - 2015 - Journal of Political Philosophy 23 (4):385-405.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  37.  5
    Retrieval is central to the distinctive function of episodic memory.Sara Aronowitz - 2018 - Behavioral and Brain Sciences 41.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  38.  4
    Recovering Decimation-Based Cryptographic Sequences by Means of Linear CAs.Sara D. Cardell, Diego F. Aranha & Amparo Fúster-Sabater - 2022 - Logic Journal of the IGPL 30 (3):561-561.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  39.  5
    Towards a shared redress: achieving historical justice through democratic deliberation.Sara Amighetti & Alasia Nuti - 2015 - .
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  40.  11
    For Oiva Ketonen's 85th birthday.Sara Negri & Jan von Plato - 1998 - Bulletin of Symbolic Logic 4 (4):418-435.
    A way is found to add axioms to sequent calculi that maintains the eliminability of cut, through the representation of axioms as rules of inference of a suitable form. By this method, the structural analysis of proofs is extended from pure logic to free-variable theories, covering all classical theories, and a wide class of constructive theories. All results are proved for systems in which also the rules of weakening and contraction can be eliminated. Applications include a system of predicate logic (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  41.  20
    On Who matters: extending the scope of luck egalitarianism to groups.Sara Amighetti & Siba Harb - 2019 - Critical Review of International Social and Political Philosophy 22 (3):301-317.
  42.  8
    Encoding de Finetti's coherence within Łukasiewicz logic and MV-algebras.Tommaso Flaminio & Sara Ugolini - 2024 - Annals of Pure and Applied Logic 175 (9):103337.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  9
    Can you hear my age? Influences of speech rate and speech spontaneity on estimation of speaker age.Sara Skoog Waller, Mårten Eriksson & Patrik Sörqvist - 2015 - Frontiers in Psychology 6:144456.
    Cognitive hearing science is mainly about the study of how cognitive factors contribute to speech comprehension, but cognitive factors also partake in speech processing to infer non-linguistic information from speech signals, such as the intentions of the talker and the speaker’s age. Here, we report two experiments on age estimation by “naïve” listeners. The aim was to study how speech rate influences estimation of speaker age by comparing the speakers’ natural speech rate with increased or decreased speech rate. In Experiment (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  23
    Internal effects of stakeholder management devices.Sara A. Morris - 1997 - Journal of Business Ethics 16 (4):413-424.
    Stakeholder management devices (SMDs) are the mechanisms through which organizations respond to stakeholder concerns. Given that SMDs serve as organizational control systems for employees and managers, this research investigates the internal rather than the external effects of a firm's SMDs. Unlike most previous research, I examined the effects of these formal structures, processes, and procedures in the aggregate, rather than focusing attention on a single type of device. The study investigates the effects of a firm's stakeholder management devices, in the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  45.  8
    Kripke completeness revisited.Sara Negri - 2009 - In Giuseppe Primiero (ed.), Acts of Knowledge: History, Philosophy and Logic. College Publications. pp. 233--266.
  46.  10
    Axiom, Anguish, and Amazement: How Autistic Traits Modulate Emotional Mental Imagery.Gianluca Esposito, Sara Dellantonio, Claudio Mulatti & Remo Job - 2016 - Frontiers in Psychology 7:193378.
    Individuals differ in their ability to feel their own and others’ internal states, with those that have more autistic and less empathic traits clustering at the clinical end of the spectrum. However, when we consider semantic competence, this group could compensate with a higher capacity to imagine the meaning of words referring to emotions. This is indeed what we found when we asked people with different levels of autistic and empathic traits to rate the degree of imageability of various kinds (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  47.  8
    Is Left Ventricular Assist Device Deactivation Ethically Acceptable? A Study on the Euthanasia Debate.Sara Roggi & Mario Picozzi - 2020 - HEC Forum 33 (4):325-343.
    In the last decades, new technologies have improved the survival of patients affected by chronic illnesses. Among them, left ventricular assist device has represented a viable solution for patients with advanced heart failure. Even though the LVAD prolongs life expectancy, patients’ vulnerability generally increases during follow up and patients’ request for the device withdrawal might occur. Such a request raises some ethical concerns in that it directly hastens the patient’s death. Hence, in order to assess the ethical acceptability of LVAD (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  22
    All Hearts and Minds on Deck: Hope Motivates Climate Action by Linking the Present and the Future.Elke U. Weber & Sara M. Constantino - 2023 - Emotion Review 15 (4):293-297.
    Emotions shape judgments and decisions, including actions in response to climate change. Despite growing interest in the cognitive, social, and political determinants of climate (in)action, the role of emotions has received limited attention. This review discusses the role of hope in climate action. While many emotional states are oriented to the past or present, hope offers a positive vision of the future. In exploratory analyses of a nationally representative survey of US residents, we identify the most important predictors of hope, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  49.  10
    Internet memes as internet signs.Sara Cannizzaro - 2016 - Sign Systems Studies 44 (4):562-586.
    This article argues for a clearer framework of internet-based “memes”. The science of memes, dubbed ‘memetics’, presumes that memes remain “copying units” following the popularisation of the concept in Richard Dawkins’ celebrated work, The Selfish Gene (1976). Yet Peircean semiotics and biosemiotics can challenge this doctrine of information transmission. While supporting a precise and discursive framework for internet memes, semiotic readings reconfigure contemporary formulations to the – now-established – conception of memes. Internet memes can and should be conceived, then, as (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  50.  12
    A normalizing system of natural deduction for intuitionistic linear logic.Sara Negri - 2002 - Archive for Mathematical Logic 41 (8):789-810.
    The main result of this paper is a normalizing system of natural deduction for the full language of intuitionistic linear logic. No explicit weakening or contraction rules for -formulas are needed. By the systematic use of general elimination rules a correspondence between normal derivations and cut-free derivations in sequent calculus is obtained. Normalization and the subformula property for normal derivations follow through translation to sequent calculus and cut-elimination.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
1 — 50 / 1000