Results for 'Stephane Carini'

964 found
Order:
  1. Paysages numériques: vers une compréhension de l'être-au-monde contemporain.Stéphane Hugon - 2005 - Cahiers Internationaux de Symbolisme 110:41-50.
    No categories
     
    Export citation  
     
    Bookmark  
  2. What Should We Agree on about the Repugnant Conclusion?Stephane Zuber, Nikhil Venkatesh, Torbjörn Tännsjö, Christian Tarsney, H. Orri Stefánsson, Katie Steele, Dean Spears, Jeff Sebo, Marcus Pivato, Toby Ord, Yew-Kwang Ng, Michal Masny, William MacAskill, Nicholas Lawson, Kevin Kuruc, Michelle Hutchinson, Johan E. Gustafsson, Hilary Greaves, Lisa Forsberg, Marc Fleurbaey, Diane Coffey, Susumu Cato, Clinton Castro, Tim Campbell, Mark Budolfson, John Broome, Alexander Berger, Nick Beckstead & Geir B. Asheim - 2021 - Utilitas 33 (4):379-383.
    The Repugnant Conclusion served an important purpose in catalyzing and inspiring the pioneering stage of population ethics research. We believe, however, that the Repugnant Conclusion now receives too much focus. Avoiding the Repugnant Conclusion should no longer be the central goal driving population ethics research, despite its importance to the fundamental accomplishments of the existing literature.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  3.  21
    Naturalisme et nature humaine : la théorie pragmatiste des instincts.Stéphane Madelrieux - 2024 - Archives de Philosophie 2:25-42.
    La question des instincts est une voie d’entrée privilégiée pour le rapport du pragmatisme au naturalisme. Le problème que soulève la théorie des instincts de William James et John Dewey vient du maintien, à première vue surprenant, de l’idée d’une « nature humaine ». Je soutiens que c’est au sein même de la théorie pragmatiste des instincts que l’on trouve des arguments pour montrer que la nature humaine ne détermine pas univoquement la conduite. Bien comprendre la naturalité de l’être humain (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  71
    Governments, grassroots, and the struggle for local food systems: containing, coopting, contesting and collaborating.Stéphane M. McLachlan, Colin R. Anderson & Julia M. L. Laforge - 2017 - Agriculture and Human Values 34 (3):663-681.
    Local sustainable food systems have captured the popular imagination as a progressive, if not radical, pillar of a sustainable food future. Yet these grassroots innovations are embedded in a dominant food regime that reflects productivist, industrial, and neoliberal policies and institutions. Understanding the relationship between these emerging grassroots efforts and the dominant food regime is of central importance in any transition to a more sustainable food system. In this study, we examine the encounters of direct farm marketers with food safety (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  5. Subjectivism without Idealization and Adaptive Preferences.Stéphane Lemaire - 2021 - Utilitas 33 (1):85-100.
    Subjectivism about well-being holds that an object contributes to one's well-being to the extent that one has a pro-attitude toward this object under certain conditions. Most subjectivists have contended that these conditions should be ideal. One reason in favor of this idea is that when people adapt their pro-attitudes to situations of oppression, the levels of well-being they may attain is diminished. Nevertheless, I first argue that appealing to idealized conditions of autonomy or any other condition to erase or replace (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  6.  56
    Deciding regular grammar logics with converse through first-order logic.Stéphane Demri & Hans De Nivelle - 2005 - Journal of Logic, Language and Information 14 (3):289-329.
    We provide a simple translation of the satisfiability problem for regular grammar logics with converse into GF2, which is the intersection of the guarded fragment and the 2-variable fragment of first-order logic. The translation is theoretically interesting because it translates modal logics with certain frame conditions into first-order logic, without explicitly expressing the frame conditions. It is practically relevant because it makes it possible to use a decision procedure for the guarded fragment in order to decide regular grammar logics with (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  7.  29
    ¿Qué más da? - La estética en Jean-Luc Marion.Stéphane Vinolo - 2017 - Escritos 25 (54):197-220.
    En este artículo se desea mostrar la distinción que Jean-Luc Marion realiza entre fenómenos de derecho común y fenómenos saturados, se refleja de manera paradigmática su concepción de arte al presentar el ídolo como una modalidad saturada de los fenómenos; a su vez se presenta la diferencia entre los objetos construidos o los fenómenos constituidos por un sujeto que son presentados como principio y fundamento. Desde aquí se considera la pintura como una experiencia fenoménica de anamorfosis, donde la mirada del (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  8. The work of Richard Goldschmidt: An endeavor to synthesize genetics, developmental biology and the theory of evolution with the help of the concept of homeosis.Stephane Schmitt - 2000 - Revue d'Histoire des Sciences 53 (3-4):381-400.
     
    Export citation  
     
    Bookmark  
  9.  46
    A logic with relative knowledge operators.Stéphane Demri - 1999 - Journal of Logic, Language and Information 8 (2):167-185.
    We study a knowledge logic that assumes that to each set of agents, an indiscernibility relation is associated and the agents decide the membership of objects or states up to this indiscernibility relation. Its language contains a family of relative knowledge operators. We prove the decidability of the satisfiability problem, we show its EXPTIME-completeness and as a side-effect, we define a complete Hilbert-style axiomatization.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  10.  26
    Anyone but Bush.Stéphane Spoiden - 2004 - Multitudes 4 (4):5-14.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  11.  16
    Les verts-bruns: l'écologie de l'extrême droite française.Stéphane François - 2022 - Lormont: Le Bord de l'eau.
  12. Incomplete Information: Structure, Inference, Complexity.Stéphane P. Demri & Ewa S. Orłowska - 2006 - Studia Logica 84 (3):469-475.
  13.  48
    Narrative identity in schizophrenia.Stéphane Raffard, Arnaud D'Argembeau, Claudia Lardi, Sophie Bayard, Jean-Philippe Boulenger & Martial Der Lindevann - 2010 - Consciousness and Cognition 19 (1):328-340.
    This study examined narrative identity in a group of 81 patients with schizophrenia and 50 healthy controls through the recall of self-defining memories. The results indicated that patients’ narratives were less coherent and elaborate than those of controls. Schizophrenia patients were severely impaired in the ability to make connections with the self and extract meaning from their memories, which significantly correlated with illness duration. In agreement with earlier research, patients exhibited an early reminiscence bump. Moreover, the period of the reminiscence (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  14.  5
    L’inexistence de Dieu dans la phénoménologie de la donation de Jean-Luc Marion.Stéphane Vinolo - 2024 - Teología y Vida 65 (3):343-368.
    La fenomenología de la donación de Jean-Luc Marion ocupa hoy un lugar central, tanto en filosofía como en teología, desde que el anuncio del fin de la metafísica hizo posible la cuestión de Dios desde un punto de vista fenomenológico. Sin embargo, su pensamiento sobre la fenomenalidad presenta un reto formidable. Puesto que Dios ya no es el Dios de la metafísica, su fenomenalidad ya no puede basarse en una de las modalidades de la presencia, lo que nos lleva a (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  14
    La singularité malgré la liberté.Stéphane-Alexandre Godefroid - 2006 - Revue Philosophique De Louvain 104 (3):581-592.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  12
    Anciens et modernes par-delà nature et société.Stéphane Haber & Arnaud Macé (eds.) - 2012 - Besançon: Presses universitaires de Franche-Comté.
    D'abord, la " Nature ", avec ses composantes bigarrées, ses lois inexorables et ses principes aveugles ; et puis, au-dessus d'elle, la supplantant, l'écrasant, la " Société ", recueil des expressions de l'ingéniosité humaine, somme des arrangements plus ou moins fiables dont nous avons convenu entre nous. Ce schéma dualiste, dans lequel se concentre une partie de l'héritage idéaliste de la pensée philosophique occidentale, a joué un rôle central dans l'autocompréhension historique de la modernité. Certains hommes seraient devenus, justement, modernes, (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  28
    Discourse ethics and the problem of nature.Stéphane Haber - 2006 - Critical Horizons 7 (1):141-158.
    In what sense could discourse ethics be linked with normative problems raised by the ecological crisis? Even if Apel and Habermas have not really addressed this question extensively, and even if their position in moral philosophy seems to develop and reinforce a neo-Kantian anthropocentric point of view, one can find in their works some evidence for the possibility of connecting a dialogical view with an ecological one. In order to defend the philosophical interest in highlighting this possibility, this essay analyses (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  15
    Des outils pour élargir l'éthique de la discussion. À propos de la Théorie générale de J. Bidet.Stéphane Haber - 2000 - Actuel Marx 28 (2):171-180.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19. Générations spontanées.Stephane Tirard - 2006 - In Pietro Corsi (ed.), Lamarck, Philosophe de la Nature. Presses Universitaires de France. pp. 65--104.
  20.  81
    Are Emotions Evaluative Modes?Jérôme Dokic & Stéphane Lemaire - 2015 - Dialectica 69 (3):271-292.
    Following Meinong, many philosophers have been attracted by the view that emotions have intrinsically evaluative correctness conditions. On one version of this view, emotions have evaluative contents. On another version, emotions are evaluative attitudes; they are evaluative at the level of intentional mode rather than content. We raise objections against the latter version, showing that the only two ways of implementing it are hopeless. Either emotions are manifestly evaluative or they are not. In the former case, the Attitudinal View threatens (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  21.  7
    La política de la comunión de Jean-Luc Marion.Stéphane Vinolo - 2024 - Areté. Revista de Filosofía 36 (1):145-159.
    Entre todos los campos que abarca la fenomenología de la donación de Jean-Luc Marion, es notable que la política ocupe un lugar exiguo, por no decir inexistente. Esta cuasi ausencia se puede explicar por motivos conceptuales, dado que la filosofía política se encerró dentro de la metafísica a través del uso recurrente de conceptos tales como el sujeto, el poder o el interés. Sin embargo, es posible pensar, a partir de la filosofía de Marion, una política que no se limite (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  10
    Les défis de la formation initiale des enseignants et le développement d’une identité professionnelle favorisant le bien-être.Nancy Goyette & Stéphane Martineau - 2018 - Revue Phronesis 7 (4):4-19.
    This paper proposes an essentially theoretical reflection on initial training, a reflection based on four fundamental concepts: professional development, professional identity, well-being and strengths of character. More specifically, recognizing the complexity of the teaching profession, the authors argue that the teacher training in Quebec gives too little room for self-reflection. According to them, this reflection should be based on a search for meaning in terms of a vision of well-being. Positive psychology research on strengths of character may provide useful avenues (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  23.  16
    Subjectivation surmoïque et psychologie du néolibéralisme.Stéphane Haber - 2011 - L’Enseignement Philosophique 61 (2):3-11.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24. Individuality and Aggregativity.Stéphane Chauvier - 2017 - Philosophy, Theory, and Practice in Biology 9 (11).
    Why is there a specific problem with biological individuality? Because the living realm contains a wide range of exotic particular concrete entities that do not easily match our ordinary concept of an individual. Slime moulds, dandelions, siphonophores are among the Odd Entities that excite the ontological zeal of the philosophers of biology. Most of these philosophers, however, seem to believe that these Odd Cases oblige us to refine or revise our common concept of an individual. They think, explicitly or tacitly, (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  25.  57
    Every finitely reducible logic has the finite model property with respect to the class of ♦-formulae.Stéphane Demri & Ewa Orłowska - 1999 - Studia Logica 62 (2):177 - 200.
    In this paper a unified framework for dealing with a broad family of propositional multimodal logics is developed. The key tools for presentation of the logics are the notions of closure relation operation and monotonous relation operation. The two classes of logics: FiRe-logics (finitely reducible logics) and LaFiRe-logics (FiRe-logics with local agreement of accessibility relations) are introduced within the proposed framework. Further classes of logics can be handled indirectly by means of suitable translations. It is shown that the logics from (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26. BANHAM Gary, SCHULTUNG Dennis and HEMS Nigel (eds): The.Bonnet Stephane & Droit Et Raison D'Etat - 2012 - British Journal for the History of Philosophy 20 (4):853-854.
     
    Export citation  
     
    Bookmark  
  27. From emotions to desires.Stéphane Lemaire - 2002 - European Review of Philosophy 5:109-136.
    In this paper, I defend the view that our knowledge of our desires is inferential and based on the consciousness we have of our emotions, and on our experiences of pain and pleasure.
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  26
    Using brain potentials to understand prism adaptation: the error-related negativity and the P300.Stephane J. MacLean, Cameron D. Hassall, Yoko Ishigami, Olav E. Krigolson & Gail A. Eskes - 2015 - Frontiers in Human Neuroscience 9.
  29.  11
    Quand des maitres de stage et des superviseurs cheminent ensemble pendant deux ans : quels effets sur leur développement professionnel?Stéphane Colognesi, Yaovi Ayivor & Catherine Van Nieuwenhoven - 2018 - Revue Phronesis 7 (4):36-48.
    Our contribution concerns the continuous training of teachers that will be forming future teachers during their traineeship. It aims to describe how the professional development of the trainees’ coaches, both the training supervisors as well as the supervisors form the trainees’ schools, was used during a course proposed by a university and during meetings where practices were shared by the participants. In this manner, we identified the ideal moments for development of the trainees, as well as the most important levers (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  30.  13
    Michel Henry et l’humanisme marxien.Stéphane Haber - 2010 - Revue Internationale Michel Henry 1:30-50.
    S. Haber tente de montrer combien le projet de relire l’œuvre de Marx au prisme d’une réévaluation philosophique, en elle-même justifiée et féconde, des descriptions « phénoménologiques » de la souffrance sociale, le conduit non seulement à entériner, même s’il en inverse la téléologie, l’idée althussérienne d’une coupure épistémologique dans l’œuvre de Marx, mais aussi à interpréter différemment, pour cette raison même, les deux « moments » de la pensée marxienne et ce qui caractérise la transition de l’un a l’autre (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31.  22
    Ni professeurs, ni livres : l’édition face à la perte de sa légitimité.Stéphane Bureau - 2015 - Cités 63 (3):109-118.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32.  27
    Histoire des sciences de l’homme.Stéphane Chauvier, Stéphane Michaud, Laurent Mucchielli, Éric Brian, Claude Blanckaert, Annie Petit, Jean-Pierre Cléro & Johan Heilbron - 1992 - Revue de Synthèse 113 (3-4):550-567.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  33. The Right to Basic Resources.Stéphane Chauvier - 2007 - In Thomas Winfried Menko Pogge (ed.), Freedom From Poverty as a Human Right: Who Owes What to the Very Poor? Co-Published with Unesco. Oxford University Press.
    If world poverty is truly a global problem that engages the responsibility of all property owners worldwide, good governance at the domestic level is also required not only for reasons of efficiency, but also for reasons of justice. Though taxpayers and political leaders of rich countries must feel themselves under a duty of justice with regard to world poverty, no measures against poverty that are to be not merely effective, but also just, can ignore the requirements of good governance. The (...)
     
    Export citation  
     
    Bookmark   1 citation  
  34.  11
    Le rêve de la raison.Stéphane Degoutin & Gwenola Wagon - 2017 - Multitudes 67 (2):105.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35.  9
    Philosophie, France, XIXe siècle: écrits et opuscules.Stéphane Douailler, Roger-Pol Droit & Patrice Vermeren - 1994 - LGF/Le Livre de Poche.
    Longtemps, les philosophes français du XIXe siècle, ont été injustement rejetés. Dans les années 30, l'extrême droite, avec Léon Daudet, les disait " stupides ". Dans les années 60, l'extrême gauche, avec Louis Althusser, les jugeait pitoyables et affligeants. De telles opinions sont désormais revues et corrigées. La lecture des textes est d'ailleurs éclairante. A l'évidence, ces œuvres du siècle dernier esquissent, le plus souvent, le cadre des grands débats intellectuels d'aujourd'hui. Qu'il s'agisse des rapports entre l'esprit scientifique et la (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  36.  22
    L'alienazione. Alcune riflessioni epistemologiche.Stéphane Haber - 2018 - Società Degli Individui 62:34-38.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  20
    Diderot ou o pensamento nômade.Stéphane Pujol - 2015 - Discurso 45 (1):41-66.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  29
    Vers une « crise du droit naturel »?Stéphane Pujol - 2015 - Cultura:31-45.
    L’article « Droit naturel » de Diderot est sans doute l’un des articles les plus lus et les plus commentés de l’Encyclopédie. Certains critiques y voient une rupture décisive avec le droit naturel moderne, d’autres considèrent au contraire que Diderot s’efforce d’en donner une lecture personnelle et non métaphysique. La plupart s’accordent à y reconnaître les symptômes d’une « crise », qui n’est pas sans annoncer celle qui caractérisera un peu plus tard la pensée de Rousseau. Qu’il y ait une (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39. The intentionality of emotions and the possibility of unconscious emotions.Stéphane Lemaire - 2022 - J. Deonna, C. Tappolet and F. Teroni (Eds.), A Tribute to Ronald de Sousa. URL Https://Www.Unige.Ch/Cisa/Related-Sites/Ronald-de-Sousa/.
    Two features are often assumed about emotions: they are intentional states and they are experiences. However, there are important reasons to consider some affective responses that are not experienced or only partly experienced as emotions. But the existence of these affective responses does not sit well with the intentionality of conscious emotions which are somehow geared towards their object. We therefore face a trilemma: either these latter affective responses do not have intentional objects and we should renounce intentionality as a (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  14
    Effets cachés de l'influence et de la persuasion.Stéphane Laurens - 2007 - Diogène 217 (1):7-21.
  41. Are emotions perceptions of value?Jérôme Dokic & Stéphane Lemaire - 2013 - Canadian Journal of Philosophy 43 (2):227-247.
    A popular idea at present is that emotions are perceptions of values. Most defenders of this idea have interpreted it as the perceptual thesis that emotions present (rather than merely represent) evaluative states of affairs in the way sensory experiences present us with sensible aspects of the world. We argue against the perceptual thesis. We show that the phenomenology of emotions is compatible with the fact that the evaluative aspect of apparent emotional contents has been incorporated from outside. We then (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   50 citations  
  42.  9
    Il mestiere del giurista: il diritto politico nella prospettiva di Michel Villey.Stéphane Bauzon - 2001 - Milano: Giuffrè.
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  43
    Libéralisme politique et universalisme juridique: Droits des gens et droits de l'homme selon John Rawls.Stéphane Chauvier - 1996 - Revue de Métaphysique et de Morale 101 (2):169-188.
    L'application de la théorie rawlsienne de la Justice comme équité à la construction d'un Droit des gens permet d'établir à quelles conditions, mais aussi à quel prix, l'idée de droits de l'homme pourrait être rendue indépendante de toute représentation métaphysique de l'homme, pour être présentée comme une condition nécessaire de la construction d'une société internationale. Le refus d'une telle idée ne pourrait plus, dès lors, s'autoriser de la relativité des conceptions métaphysiques et des traditions culturelles mais il serait perçu comme (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  32
    Le savoir du témoin est-il transmissible?Stéphane Chauvier - 2006 - Philosophie 88 (1):28-46.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45.  10
    Enjeux philosophiques de la guerre, de la paix et du terrorisme.Stéphane Courtois - 2003 - Presses Université Laval.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  52
    Linear-time temporal logics with Presburger constraints: an overview ★.Stéphane Demri - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):311-347.
    We present an overview of linear-time temporal logics with Presburger constraints whose models are sequences of tuples of integers. Such formal specification languages are well-designed to specify and verify systems that can be modelled with counter systems. The paper recalls the general framework of LTL over concrete domains and presents the main decidability and complexity results related to fragments of Presburger LTL. Related formalisms are also briefly presented.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  47.  34
    Ce qui ne revient pas au meme.Stephane Habib & Raphael Zagury-Orly - 2006 - Journal of Jewish Thought and Philosophy 14 (1-2):37-54.
    We should not understand in this title "What does not return to the same" the announcement of a return to Levinas, but rather of what the word or concept of "return" could mean in Levinas's work. There is perhaps no better way of misunderstanding Levinas than imposing on his philosophical gesture the interpretative grid of a "horizon of return". This article will attempt to dismantle the strategies of reading which stipulate that Levinas's philosophy is one of "return". In this way (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  66
    “As Close as Possible to the Unlivable”.Stéphane Legrand - 2008 - Sophia 47 (3):281-291.
    This article aims at showing that in spite of Michel Foucault’s violent rejection of phenomenology, this discipline never ceased to bear a crucial significance for his archaeological and genealogical analyses, in that it can be construed as a symptom indicating the most serious challenge that the contemporary philosophy has to meet: thinking together Experience and Knowledge. The author intends to prove, by resorting to the Marxian concept of ‘objectively necessary appearance’, that Foucault’s main opposition to phenomenology stems from his original (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  49.  21
    Pourquoi nous ne sommes pas tout à fait des abeilles.Stéphane Legrand - 2013 - Labyrinthe 40:71-74.
    « La fixité du contenu », « l’invariabilité du message », le « rapport à une seule situation », « la nature indécomposable de l’énoncé », sa « transmission unilatérale » sont, en résumé, l’ensemble des éléments qui placent le langage des abeilles en dessous du langage humain selon Benveniste. Et de cet ensemble de différences, le linguiste conclut qu’on ne peut pas parler de langage à propos des abeilles, que la radicale spécificité de l’exception humaine doit donc être maintenue (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  40
    Classical Fω, orthogonality and symmetric candidates.Stéphane Lengrand & Alexandre Miquel - 2008 - Annals of Pure and Applied Logic 153 (1-3):3-20.
    We present a version of system Fω, called image, in which the layer of type constructors is essentially the traditional one of Fω, whereas provability of types is classical. The proof-term calculus accounting for the classical reasoning is a variant of Barbanera and Berardi’s symmetric λ-calculus.We prove that the whole calculus is strongly normalising. For the layer of type constructors, we use Tait and Girard’s reducibility method combined with orthogonality techniques. For the layer of terms, we use Barbanera and Berardi’s (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 964