Results for 'Michel Fayol'

1000+ found
Order:
  1.  45
    The use of procedural knowledge in simple addition and subtraction problems.Michel Fayol & Catherine Thevenot - 2012 - Cognition 123 (3):392-403.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  2. La compréhension: évaluation, difficultés et interventions.Michel Fayol - forthcoming - Comprendre.
    No categories
     
    Export citation  
     
    Bookmark  
  3.  41
    Spatial numerical associations in preschoolers.Catherine Thevenot, Michel Fayol & Pierre Barrouillet - 2018 - Thinking and Reasoning 24 (2):221-233.
    Three-to-five-year-old French children were asked to add or remove objects to or from linear displays. The hypothesis of a universal tendency to represent increasing number magnitudes from left to right led to predict a majority of manipulations at the right end of the rows, whatever children's hand laterality. Conversely, if numbers are not inherently associated with space, children were expected to favour laterality-consistent manipulations. The results showed a strong tendency to operate on the right end of the rows in right-handers, (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  43
    Implicit learning out of the lab: the case of orthographic regularities.Sébastien Pacton, Pierre Perruchet, Michel Fayol & Axel Cleeremans - 2001 - Journal of Experimental Psychology: General 130 (3):401.
  5.  25
    General and Specific Contributions of RAN to Reading and Arithmetic Fluency in First Graders: A Longitudinal Latent Variable Approach.Caroline Hornung, Romain Martin & Michel Fayol - 2017 - Frontiers in Psychology 8.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  26
    Lexical orthographic knowledge develops from the beginning of literacy acquisition.Catherine Martinet, Sylviane Valdois & Michel Fayol - 2004 - Cognition 91 (2):B11-B22.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  8
    How does graphotactic knowledge influence children's learning of new spellings?Sébastien Pacton, Amélie Sobaco, Michel Fayol & Rebecca Treiman - 2013 - Frontiers in Psychology 4.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  4
    Facilitating Text Production in Fourth Graders: Effects of Script-Based Knowledge and Writing Prompts.Béatrice Bourdin & Michel Fayol - 2022 - Frontiers in Psychology 13.
    This study aimed at providing evidence that prior knowledge and its organization prompted either through pictures alone, pictures and associated words, words only have different impacts on several components of text produced by fourth graders. The results showed that the semantic relatedness affected three dependent measures: prompt words recalled, coherence and quality of texts. The nature of the prompts impacted on planning and translating processes. Findings, instructional applications, limitations, and proposals for future research are discussed.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9. Orthographic vs. phonologic syllables in handwriting production.Sonia Kandel, Lucie Hérault, Géraldine Grosjacques, Eric Lambert & Michel Fayol - 2009 - Cognition 110 (3):440-444.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  10.  26
    The role of fingers in number processing in young children.Anne Lafay, Catherine Thevenot, Caroline Castel & Michel Fayol - 2013 - Frontiers in Psychology 4.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  11.  14
    Spatial numerical associations in preschoolers.Catherine Thevenot, Michel Fayol & Pierre Barrouillet - 2018 - Thinking and Reasoning 24 (2):221-233.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  43
    A prototype analysis of the French category “émotion”.Paula Niedenthal, Catherine Auxiette, Armelle Nugier, Nathalie Dalle, Patrick Bonin & Michel Fayol - 2004 - Cognition and Emotion 18 (3):289-312.
  13.  12
    Laurent Colantonio & Caroline Fayolle (dir.), Genre et utopie. Avec Michèle Riot-Sarcey.Élodie Serna - 2016 - Clio 43:307-310.
    Dans cet ouvrage-hommage à Michèle Riot-Sarcey, les travaux et la pensée de l’historienne sont mis en perspective au travers de dix-huit articles organisés autour des thèmes « Genre », « Utopies et discontinuités », « Révolution, république et démocratie », et « Se situer dans son propre présent ». L’ensemble de l’ouvrage constitue une invitation à lire ou relire les œuvres de l’auteure et à prendre avec elle le parti de se confronter en toute conscience aux enjeux de l’écriture de (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  6
    Caroline Fayolle, La Femme nouvelle. Genre, éducation, Révolution (1789-1830). [REVIEW]Jean-Charles Buttier - 2018 - Clio 47.
    Cet ouvrage est issu d’une thèse d’histoire (2013, Paris VIII) qui a été récompensée par le prix de thèse du Comité des travaux historiques et scientifiques (CTHS). L’originalité du travail de Caroline Fayolle est de relire l’histoire de la politique éducative menée depuis la Révolution jusqu’à la Monarchie de Juillet sous l’angle spécifique de l’éducation des filles. C’est à la redécouverte de ce « passé inachevé » de l’éducation féminine (pour reprendre une formule de Michèle Riot-Sarcey, p...
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  85
    The Birth of the Clinic: An Archaeology of Medical Perception.Michel Foucault - 1973 - Vintage Books.
    In this remarkable book Michel Foucault, one of the most influential thinkers of recent times, calls us to look critically at specific historical events in order to uncover new layers of significance.
    Direct download  
     
    Export citation  
     
    Bookmark   336 citations  
  16. Power/Knowledge: Selected Interviews and Other Writings, 1972-1977.Michel Foucault - 1980 - Vintage.
    Michel Foucault has become famous for a series of books that have permanently altered our understanding of many institutions of Western society. He analyzed mental institutions in the remarkable Madness and Civilization; hospitals in The Birth of the Clinic; prisons in Discipline and Punish; and schools and families in The History of Sexuality. But the general reader as well as the specialist is apt to miss the consistent purposes that lay behind these difficult individual studies, thus losing sight of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   433 citations  
  17. What Is Critique?Michel Foucault - 1996 - In James Schmidt (ed.), What is Enlightenment?: Eighteenth-Century Answers and Twentieth-Century Questions. University of California Press.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   109 citations  
  18. Moral exemplars in education: a liberal account.Michel Croce - 2020 - Ethics and Education (x):186-199.
    This paper takes issue with the exemplarist strategy of fostering virtue development with the specific goal of improving its applicability in the context of education. I argue that, for what matters educationally, we have good reasons to endorse a liberal account of moral exemplarity. Specifically, I challenge two key assumptions of Linda Zagzebski’s Exemplarist Moral Theory (2017), namely that moral exemplars are exceptionally virtuous agents and that imitating their behavior is the main strategy for acquiring the virtues. I will introduce (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  19.  30
    The hermeneutics of the subject: lectures at the Collège de France, 1981-1982.Michel Foucault - 2005 - New York: Palgrave-Macmillan. Edited by Frédéric Gros, François Ewald & Alessandro Fontana.
    The Hermeneutics of the Subject is the third volume in the collection of Michel Foucault's lectures at the College de France, one of the world's most prestigious institutions. Faculty at the college give public lectures, in which they can present works-in-progress on any subject of their choosing. Foucault's were more speculative and free-ranging than the arguments of such groundbreaking works as The History of Sexuality or Madness and Civilization . In the lectures comprising this volume, Foucault focuses upon the (...)
    Direct download  
     
    Export citation  
     
    Bookmark   85 citations  
  20. Society must be defended: lectures at the Collège de France, 1975-76.Michel Foucault - 2003 - New York: Picador. Edited by Mauro Bertani, Alessandro Fontana, François Ewald & David Macey.
    An examination of the relation between war and politics, by one of the twentieth century’s most influential thinkers From 1971 until 1984 at the College de France, Michel Foucault gave a series of lectures ranging freely and conversationally over the range of his research. In Society Must Be Defended , Foucault deals with the emergence in the early seventeenth century of a new understanding of war as the permanent basis of all institutions of power, a hidden presence within society (...)
    Direct download  
     
    Export citation  
     
    Bookmark   81 citations  
  21.  42
    Abnormal: lectures at the Collège de France, 1974-1975.Michel Foucault - 2003 - New York: Picador. Edited by Valerio Marchetti, Antonella Salomoni & Arnold I. Davidson.
    The second volume in an unprecedented publishing event: the complete College de France lectures of one of the most influential thinkers of the last century Michel Foucault remains among the towering intellectual figures of postmodern philosophy. His works on sexuality, madness, the prison, and medicine are classics his example continues to challenge and inspire. From 1971 until his death in 1984, Foucault gave public lectures at the world-famous College de France. These lectures were seminal events. Attended by thousands, they (...)
    Direct download  
     
    Export citation  
     
    Bookmark   70 citations  
  22.  57
    History of Madness.Michel Foucault - 1961/2006 - Routledge.
    When it was first published in France in 1961 as Folie et Déraison: Histoire de la Folie à l'âge Classique , few had heard of a thirty-four year old philosopher by the name of Michel Foucault. By the time an abridged English edition was published in 1967 as Madness and Civilization , Michel Foucault had shaken the intellectual world. This translation is the first English edition of the complete French texts of the first and second edition, including all (...)
    Direct download  
     
    Export citation  
     
    Bookmark   66 citations  
  23.  39
    Concept contextualism through the lens of Predictive Processing.Christian Michel - 2020 - Philosophical Psychology 33 (4):624-647.
    Concept contextualism is the view that the information associated with a concept is dependent on the context in which it is tokened. This view is gaining support in recent years. The received and c...
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  24.  81
    Wrong-Doing, Truth-Telling: The Function of Avowal in Justice.Michel Foucault - 2014 - [Louvain-la-Neuve]: University of Chicago Press. Edited by Fabienne Brion, Bernard E. Harcourt & Stephen W. Sawyer.
    Three years before his death, Michel Foucault delivered a series of lectures at the Catholic University of Louvain that until recently remained almost unknown. These lectures—which focus on the role of avowal, or confession, in the determination of truth and justice—provide the missing link between Foucault’s early work on madness, delinquency, and sexuality and his later explorations of subjectivity in Greek and Roman antiquity. Ranging broadly from Homer to the twentieth century, Foucault traces the early use of truth-telling in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  25. Drawing the line between kinematics and dynamics in special relativity.Michel Janssen - 2009 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 40 (1):26-52.
    In his book, Physical Relativity, Harvey Brown challenges the orthodox view that special relativity is preferable to those parts of Lorentz's classical ether theory it replaced because it revealed various phenomena that were given a dynamical explanation in Lorentz's theory to be purely kinematical. I want to defend this orthodoxy. The phenomena most commonly discussed in this context in the philosophical literature are length contraction and time dilation. I consider three other phenomena of this kind that played a role in (...)
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   63 citations  
  26.  16
    Thumbelina: The Culture and Technology of Millennials.Michel Serres - 2014 - New York: Rowman & Littlefield International.
    This book is an English-language translation of a bestselling book in France that explores the relationship between humans and new technologies.
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  27.  30
    Conceptual engineering, predictive processing, and a new implementation problem.Guido Löhr & Christian Michel - 2024 - Mind and Language 39 (2):201-219.
    According to predictive processing, an increasingly influential paradigm in cognitive science, the function of the brain is to minimize the prediction error of its sensory input. Conceptual engineering is the practice of assessing and changing concepts or word meanings. We contribute to both strands of research by proposing the first cognitive account of conceptual engineering, using the predictive processing framework. Our model reveals a new kind of implementation problem as prediction errors are only minimized if enough agents embrace conceptual changes. (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  28. Material phenomenology.Michel Henry - 2008 - New York: Fordham University Press.
    Translator's preface -- Introduction: The question of phenomenology -- Hyletic phenomenology and material phenomenology -- The phenomenological method -- Pathos-with reflections on Husserl's Fifth cartesian meditation -- For a phenomenology of community.
    Direct download  
     
    Export citation  
     
    Bookmark   27 citations  
  29. The essence of manifestation.Michel Henry - 1973 - The Hague,: M. Nijhoff.
    INTRODUCTION THE PROBLEM OF THE BEING OF THE EGO AND THE FUNDAMENTAL PRESUPPOSITIONS OF ONTOLOGY "Mit dem cogito sum beansprucht Descartes, der Philosophic ...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   33 citations  
  30. Aristote et l'âme humaine: lectures de De anima III offertes à Michel Crubellier.Gweltaz Guyomarc'H., Claire Louguet, Charlotte Murgier & Michel Crubellier (eds.) - 2020 - Bristol, CT: Peeters.
     
    Export citation  
     
    Bookmark  
  31.  14
    The Courage of the Truth (the Government of Self and Others Ii): Lectures at the Collège de France, 1983-1984.Michel Foucault - 2011 - Palgrave-Macmillan. Edited by Michel Foucault.
    The Courage of the Truth is the last course that Michel Foucault delivered at the College de France before his death in 1984. In this course, he continues the theme of the previous year's lectures in exploring the notion of "truth-telling" in politics to establish a number of ethically irreducible conditionsbased on courage and conviction.
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  32. COI Stories: Explanation and Evidence in the History of Science.Michel Janssen - 2002 - Perspectives on Science 10 (4):457-522.
    This paper takes as its point of departure two striking incongruities between scientiªc practice and trends in modern history and philosophy of science. (1) Many modern historians of science are so preoccupied with local scientiªc practices that they fail to recognize important non-local elements. (2) Many modern philosophers of science make a sharp distinction between explanation and evidence, whereas in scientiªc practice explanatory power is routinely used as evidence for scientiªc claims. I draw attention to one speciªc way in..
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   42 citations  
  33.  84
    I am the truth: toward a philosophy of Christianity.Michel Henry - 2003 - Stanford, Calif.: Stanford University Press.
    A part of the “return to religion” now evident in European philosophy, this book represents the culmination of the career of a leading phenomenological thinker whose earlier works trace a trajectory from Marx through a genealogy of psychoanalysis that interprets Descartes’s “I think, I am” as “I feel myself thinking, I am.” In this book, Henry does not ask whether Christianity is “true” or “false.” Rather, what is in question here is what Christianity considers as truth, what kind of truth (...)
    Direct download  
     
    Export citation  
     
    Bookmark   24 citations  
  34.  53
    Political Spirituality as the Will for Alterity: An Interview with the Nouvel Observateur.Michel Foucault & Sabina Vaccarino Bremner - 2020 - Critical Inquiry 47 (1):121-134.
    An interview with Michel Foucault in 1979 that was never published during his lifetime and was recently rediscovered in the archives. The interview, appearing for the first time in English and in its complete form, marks one of Foucault’s final public discussions of the contentious topic of the Iranian Revolution. In particular, Foucault clarifies what he means by “political spirituality” and addresses the respective relations between religion, revolution, and self-transformation.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  35.  95
    Philosophy and phenomenology of the body.Michel Henry - 1975 - The Hague: M. Nijhoff.
    INTRODUCTION THE SEEMING CONTINGENCY OF THE QUESTION CONCERNING THE BODY AND THE NECESSITY FOR AN ONTOLOGICAL ANALYSIS OF THE BODY When we disclose and..
    Direct download  
     
    Export citation  
     
    Bookmark   23 citations  
  36. Reconsidering a Scientific Revolution: The Case of Einstein 6ersus Lorentz.Michel Janssen - unknown
    The relationship between Albert Einstein’s special theory of relativity and Hendrik A. Lorentz’s ether theory is best understood in terms of competing interpretations of Lorentz invariance. In the 1890s, Lorentz proved and exploited the Lorentz invariance of Maxwell’s equations, the laws governing electromagnetic fields in the ether, with what he called the theorem of corresponding states. To account for the negative results of attempts to detect the earth’s motion through the ether, Lorentz, in effect, had to assume that the laws (...)
     
    Export citation  
     
    Bookmark   31 citations  
  37. Foucault: a critical reader.Michel Foucault & David Couzens Hoy (eds.) - 1986 - New York, NY, USA: Blackwell.
    This collection gives a complete picture of Foucault's importance as a thinker and social critic who transcended academic boundaries to challenge entrenched, institutionalized models of theoretical rationality and practical normalcy. (Philosophy).
    Direct download  
     
    Export citation  
     
    Bookmark   13 citations  
  38.  15
    (In)Coherence of Discourse: Formal and Conceptual Issues of Language.Maxime Amblard, Michel Musiol & Manuel Rebuschi (eds.) - 2021 - Dordrecht: Springer Verlag.
    This present book explores recent advances in modeling discourse processes, in particular, new approaches aimed at understanding pathological language behavior specific to schizophrenia. The contributors examine the modeling paradigm of formal semantics, which falls within the scope of both linguistics and logic while providing overlapping links with other fields such as philosophy of language and cognitive psychology. This book is based on results presented during the series of workshops on Coherence and Discourse organized by SLAM, a project developed to systemize (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  39. Of pots and holes: Einstein's bumpy road to general relativity.Michel Janssen - unknown
    Readers of this volume will notice that it contains only a few papers on general relativity. This is because most papers documenting the genesis and early development of general relativity were not published in Annalen der Physik . After Einstein took up his new prestigious position at the Prussian Academy of Sciences in the spring of 1914, the Sitzungsberichte of the Berlin academy almost by default became the main outlet for his scientific production. Two of the more important papers on (...)
     
    Export citation  
     
    Bookmark   17 citations  
  40.  18
    Introduction to Kant’s ‘Anthropology’.Michel Foucault - 2008 - Semiotext(E). Edited by Roberto Nigro.
    Foucault's previously unpublished doctoral dissertation on Kant offers the definitive statement of his relationship to Kant and to the critical tradition of philosophy. This introduction and commentary to Kant's least discussed work, Anthropology from a Pragmatic Point of View, is the dissertation that Michel Foucault presented in 1961 as his doctoral thesis. It has remained unpublished, in any language, until now. In his exegesis and critical interpretation of Kant's Anthropology, Foucault raises the question of the relation between psychology and (...)
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  41.  9
    Religion: Rereading What is Bound Together.Michel Serres - 2022 - Stanford, California: Stanford University Press. Edited by M. B. DeBevoise.
    With this profound final work, completed in the days leading up to his death, Michel Serres presents a vivid picture of his thinking about religion—a constant preoccupation since childhood—thereby completing Le Grand Récit, the comprehensive explanation of the world and of humanity to which he devoted the last twenty years of his life. Themes from Serres's earlier writings—energy and information, the role of the media in modern society, the anthropological function of sacrifice, the role of scientific knowledge, the problem (...)
    No categories
  42.  6
    Survivre à tout prix?: essai sur l'honneur, la résistance et le salut de nos âmes.Jean-Michel Chaumont - 2017 - Paris: La Découverte.
    Pendant des millénaires, il fut attendu des victimes confrontées à des circonstances extrêmes que leurs conduites se conforment à des codes d'honneur terriblement exigeants. A-t-il trahi les siens celui qui a survécu à la torture? A-t-elle trop facilement cédé celle qui a connu le viol? Ces survivants suspects ont-ils sacrifié leur honneur à leur survie? Questions traumatisantes, disent certains. Questions pourtant posées avec une surprenante récurrence pendant des siècles et des siècles, comme l'explique Jean-Michel Chaumont. Or, depuis quelques décennies, (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  5
    Études sur la vie et les Pensées de Pascal.Michel Le Guern - 2015 - Paris: Honoré Champion éditeur.
    L'image de Pascal est souvent brouillée par la légende et par les commentaires maladroits ou malveillants. Or, on n'a jamais fini de scruter la personnalité et l'œuvre de Pascal. Il suffit de changer de point de vue pour apercevoir du nouveau, pour préciser des significations, pour repérer des sources inattendues, et parfois pour écarter des idées reçues. Michel Le Guern, après L'Image dans l'œuvre de Pascal, Pascal et Descartes, Les Pensées de Pascal de l'anthropologie à la théologie, les éditions (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  10
    The Adventures of Telemachus [1699] by François de Salignac de la Mothe-Fénelon (review).Jean–Michel Racault - 2023 - Utopian Studies 34 (1):140-143.
    In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:The Adventures of Telemachus [1699] by François de Salignac de la Mothe-FénelonJean–Michel RacaultFrançois de Salignac de la Mothe-Fénelon. The Adventures of Telemachus [1699]. Translated with an introduction and notes by A. J. B. Cremer. London, Anastasis Books, 2022, 419 pp. Hardbound £24.50. Paperback £15. ISBN: 9781739798314.Fénelon’s 1699 novel The Adventures of Telemachus—or more precisely, the epic poem in prose—was one of the major bestsellers in many European (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  77
    Toward a Philosophy of Scientific Discovery.Jan G. Michel - 2021 - In Making Scientific Discoveries: Interdisciplinary Reflections. Paderborn, Deutschland: Brill/mentis. pp. 9-53.
    Jan G. Michel argues that we need a philosophy of scientific discovery. Before turning to the question of what such a philosophy might look like, he addresses two questions: Don’t we have a philosophy of scientific discovery yet? And do we need one at all? To answer the first question, he takes a closer look at history and finds that we have not had a systematic philosophy of scientific discovery worthy of the name for over 150 years. To answer (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  46.  7
    Thumbelina: The Culture and Technology of Millennials (translation).Daniel W. Smith & Michel Serres (eds.) - 2014 - Lanham, MD: Rowman & Littlefield International.
    This book is an English-language translation of a bestselling book in France that explores the relationship between humans and new technologies.
    Direct download  
     
    Export citation  
     
    Bookmark  
  47. De Régnon Reconsidered.Michel René Barnes - 1995 - Augustinian Studies 26 (2):51-79.
  48. From classical to relativistic mechanics: Electromagnetic models of the electron.Michel Janssen - unknown
    “Special relativity killed the classical dream of using the energy-momentumvelocity relations as a means of probing the dynamical origins of [the mass of the electron]. The relations are purely kinematical” (Pais, 1982, 159). This perceptive comment comes from a section on the pre-relativistic notion of electromagnetic mass in ‘Subtle is the Lord . . . ’, Abraham Pais’ highly acclaimed biography of Albert Einstein. ‘Kinematical’ in this context means ‘independent of the details of the dynamics’. In this paper we examine (...)
     
    Export citation  
     
    Bookmark   14 citations  
  49. Einstein: The Old Sage and the Young Turk.Michel Janssen - unknown
    There is a striking difference between the methodology of the young Einstein and that of the old. I argue that Einstein’s switch in the late 1910s from a moderate empiricism to an extreme rationalism should at least in part be understood against the background of his crushing personal and political experiences during the war years in Berlin. As a result of these experiences, Einstein started to put into practice what, drawing on Schopenhauer, he had preached for years, namely to use (...)
     
    Export citation  
     
    Bookmark   12 citations  
  50.  69
    Proofs of strong normalisation for second order classical natural deduction.Michel Parigot - 1997 - Journal of Symbolic Logic 62 (4):1461-1479.
    We give two proofs of strong normalisation for second order classical natural deduction. The first one is an adaptation of the method of reducibility candidates introduced in [9] for second order intuitionistic natural deduction; the extension to the classical case requires in particular a simplification of the notion of reducibility candidate. The second one is a reduction to the intuitionistic case, using a Kolmogorov translation.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   15 citations  
1 — 50 / 1000