Results for 'Arezki Khelifa'

8 found
Order:
  1.  9
    Reconfigurer la recherche sur les aires culturelles : le comparatisme, une voie revisitée.Arezki Cherfaoui - 2019 - Diogène n° 258-259-258 (2-4):197-208.
    Le champ français des aires culturelles connaît des transformations importantes depuis la fin des années quatre-vingts dix. Les événements récents liés à la montée des identités régionales, l’émergence de nouveaux géants mondiaux ou encore aux aspirations démocratiques en différentes régions du globe invitent à repenser l’ordre normatif du monde tel qu’il se dessinait depuis la fin de la deuxième guerre mondiale. En sciences humaines et sociales, la notion d’aires culturelles est réinvestie dans ses dimensions politiques, économiques et culturelles. Dans ce (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2.  6
    Reconfigurer la recherche sur les aires culturelles : le comparatisme, une voie revisitée.Arezki Cherfaoui - 2019 - Diogène n° 258-259-260 (2):197-208.
    Le champ français des aires culturelles connaît des transformations importantes depuis la fin des années quatre-vingts dix. Les événements récents liés à la montée des identités régionales, l’émergence de nouveaux géants mondiaux ou encore aux aspirations démocratiques en différentes régions du globe invitent à repenser l’ordre normatif du monde tel qu’il se dessinait depuis la fin de la deuxième guerre mondiale. En sciences humaines et sociales, la notion d’aires culturelles est réinvestie dans ses dimensions politiques, économiques et culturelles. Dans ce (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  13
    Price Reaction of Ethically Screened Stocks: A Study of the Dow Jones Islamic Market World Index.Khelifa Mazouz, Abdulkadir Mohamed & Brahim Saadouni - 2019 - Journal of Business Ethics 154 (3):683-699.
    This paper investigates the short-term effects on the price of the ethically screened stocks of the Dow Jones Islamic Market World Index quarterly revisions. Using a sample of 8250 stocks from May 1999 through June 2012, we find a significant price reaction of the ethically screened stocks following additions and deletions. The results show that additions from emerging stock markets tend to experience a greater and significantly positive price response than additions from the developed markets. Further tests reveal that the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  11
    Le couple en Algérie.Dalila Arezki - 2002 - Dialogue: Families & Couples 156 (2):104.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  10
    Das Wesen des Golems: Zwischen physis, nomos und techne.Nadja Ben Khelifa - 2019 - Internationales Jahrbuch Für Medienphilosophie 5 (1):247-262.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  86
    A semantical proof of the strong normalization theorem for full propositional classical natural deduction.Karim Nour & Khelifa Saber - 2006 - Archive for Mathematical Logic 45 (3):357-364.
    We give in this paper a short semantical proof of the strong normalization for full propositional classical natural deduction. This proof is an adaptation of reducibility candidates introduced by J.-Y. Girard and simplified to the classical case by M. Parigot.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  7.  17
    A completeness result for the simply typed λμ-calculus.Karim Nour & Khelifa Saber - 2010 - Annals of Pure and Applied Logic 161 (1):109-118.
    In this paper, we define a realizability semantics for the simply typed $lambdamu$-calculus. We show that if a term is typable, then it inhabits the interpretation of its type. This result serves to give characterizations of the computational behavior of some closed typed terms. We also prove a completeness result of our realizability semantics using a particular term model.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  26
    Some properties of the -calculus.Karim Nour & Khelifa Saber - 2012 - Journal of Applied Non-Classical Logics 22 (3):231-247.
    In this paper, we present the -calculus which at the typed level corresponds to the full classical propositional natural deduction system. The Church–Rosser property of this system is proved using the standardisation and the finiteness developments theorem. We also define the leftmost reduction and prove that it is a winning strategy.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark