Search results for 'Tarek Hayfa' (try it on Scholar)

58 found
Sort by:
  1. Tarek Hayfa (2004). The Idea of Public Justification in Rawls's Law of Peoples. Res Publica 10 (3):233-246.score: 240.0
    The article examines Rawlss Law of Peoples as an attemptto extend the conception of public justification originallydeveloped in Political Liberalism to the internationaldomain. After briefly sketching the main elements of Rawlssconception of public justification, the article examineshow this is developed in Law of Peoples, pointingout the main differences with the domestic case. The articlethen tries to show that Rawlss justificatory strategy containsa number of inconsistencies which undermine the persuasivenessof the conception of international justice he advocates. Thisin turn can be traced (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  2. Tarek Hayfa (2002). Pragmatism, Politics and Progress. Res Publica 8 (1):71-79.score: 240.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  3. Rogasch Nigel, Rajji Tarek, Tran Lisa, Bailey Neil, Fitzgibbon Bernadette, Daskalakis Zafiris & Fitzgerald Paul (2013). Dorsolateral Prefrontal Cortex Network Properties Are Altered in Schizophrenia: A TMS-EEG Study. Frontiers in Human Neuroscience 7.score: 30.0
  4. Carla Cjm Millar, Tarek I. EldomIaty, Chong Ju Choi & Brian Hilton (2005). Corporate Governance and Institutional Transparency in Emerging Markets. Journal of Business Ethics 59 (1-2):163 - 174.score: 3.0
    This paper posits that differences in corporate governance structure partly result from differences in institutional arrangements linked to business systems. We developed a new international triad of business systems: the Anglo-American, the Communitarian and the Emerging system, building on the frameworks of Choi et al. (British Academy of Management (Kynoch Birmingham) 1996, Management International Review 39, 257–279, 1999). A common factor determining the success of a corporate governance structure is the extent to which it is transparent to market forces. Such (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  5. Chong Ju Choi, Tarek Ibrahim Eldomiaty & Sae Won Kim (2007). Consumer Trust, Social Marketing and Ethics of Welfare Exchange. Journal of Business Ethics 74 (1):17 - 23.score: 3.0
    The global corporate scandals such as Enron, Worldcom and Global Crossing have raised fundamental issues of business ethics as well as economic, social and anthropological questions concerning the nature of business competition and global capitalism. The purpose of this conceptual paper is to introduce the concept of "welfare exchange" to the existing notions of economic, social and anthropological notions of business and exchange in markets and society in the 21st century. Global competition and business success in the 21st century continue (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  6. Tarek Sayed Ahmed (2005). Algebraic Logic, Where Does It Stand Today? Bulletin of Symbolic Logic 11 (4):465-516.score: 3.0
    This is a survey article on algebraic logic. It gives a historical background leading up to a modern perspective. Central problems in algebraic logic (like the representation problem) are discussed in connection to other branches of logic, like modal logic, proof theory, model-theoretic forcing, finite combinatorics, and Gödel's incompleteness results. We focus on cylindric algebras. Relation algebras and polyadic algebras are mostly covered only insofar as they relate to cylindric algebras, and even there we have not told the whole story. (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  7. Tarek Sayed Ahmed & Istvan Németi (2001). On Neat Reducts of Algebras of Logic. Studia Logica 68 (2):229-262.score: 3.0
    SC , CA , QA and QEA stand for the classes of Pinter's substitution algebras, Tarski's cylindric algebras, Halmos' quasipolyadic algebras, and quasipolyadic equality algebras of dimension , respectively. Generalizing a result of Németi on cylindric algebras, we show that for K {SC, CA, QA, QEA} and ordinals , the class Nr K of -dimensional neat reducts of -dimensional K algebras, though closed under taking homomorphic images and products, is not closed under forming subalgebras (i.e. is not a variety) if (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  8. Tarek R. Besold, Martin Aher, Ulf Krumnack & Martin Schmidt (2013). Formal Languages in Logic, A Philosophical and Cognitive Analysis. By Catarina Dutilh Novaes. (Cambridge UP, 2012. Price £55.00.). [REVIEW] Philosophical Quarterly 63 (251):377-379.score: 3.0
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  9. Tarek Sayed Ahmed (2007). A Note on Neat Reducts. Studia Logica 85 (2):139 - 151.score: 3.0
    SC, CA, QA and QEA denote the class of Pinter’s substitution algebras, Tarski’s cylindric algebras, Halmos’ quasi-polyadic and quasi-polyadic equality algebras, respectively. Let . and . We show that the class of n dimensional neat reducts of algebras in K m is not elementary. This solves a problem in [2]. Also our result generalizes results proved in [1] and [2].
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  10. Tarek Sayed Ahmed (2002). Martin's Axiom, Omitting Types, and Complete Representations in Algebraic Logic. Studia Logica 72 (2):285 - 309.score: 3.0
    We give a new characterization of the class of completely representable cylindric algebras of dimension 2 #lt; n w via special neat embeddings. We prove an independence result connecting cylindric algebra to Martin''s axiom. Finally we apply our results to finite-variable first order logic showing that Henkin and Orey''s omitting types theorem fails for L n, the first order logic restricted to the first n variables when 2 #lt; n#lt;w. L n has been recently (and quite extensively) studied as a (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  11. Tarek Sayed Ahmed (2008). On Complete Representations of Reducts of Polyadic Algebras. Studia Logica 89 (3):325 - 332.score: 3.0
    Following research initiated by Tarski, Craig and Németi, and futher pursued by Sain and others, we show that for certain subsets G of ω ω, atomic countable G polyadic algebras are completely representable. G polyadic algebras are obtained by restricting the similarity type and axiomatization of ω-dimensional polyadic algebras to finite quantifiers and substitutions in G. This contrasts the cases of cylindric and relation algebras.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  12. Tarek Sayed Ahmed (2005). On Amalgamation in Algebras of Logic. Studia Logica 81 (1):61 - 77.score: 3.0
    We show that not all epimorphisms are surjective in certain classes of infinite dimensional cylindric algebras, Pinter's substitution algebras and Halmos' quasipolyadic algebras with and without equality. It follows that these classes fail to have the strong amalgamation property. This answers a question in [3] and a question of Pigozzi in his landmark paper on amalgamation [9]. The cylindric case was first proved by Judit Madarasz [7]. The proof presented herein is substantially different. By a result of Németi, our result (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  13. Tarek Sayed Ahmed (2010). The Class of Polyadic Algebras has the Super Amalgamation Property. Mathematical Logic Quarterly 56 (1):103-112.score: 3.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  14. Hajnal Andréka, István Németi & Tarek Sayed Ahmed (2008). Omitting Types for Finite Variable Fragments and Complete Representations of Algebras. Journal of Symbolic Logic 73 (1):65-89.score: 3.0
    We give a novel application of algebraic logic to first order logic. A new, flexible construction is presented for representable but not completely representable atomic relation and cylindric algebras of dimension n (for finite n > 2) with the additional property that they are one-generated and the set of all n by n atomic matrices forms a cylindric basis. We use this construction to show that the classical Henkin-Orey omitting types theorem fails for the finite variable fragments of first order (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  15. Renaud Barbaras, Tarek Dika & William Hackett (2011). La phénoménologie et le concept de vie: Un entretien avec Renaud Barbaras. Journal of French and Francophone Philosophy 19 (2):153-179.score: 3.0
    Interview with Renaud Barbaras, conducted on May 18, 2011.
    No categories
    Translate to English
    | Direct download (11 more)  
     
    My bibliography  
     
    Export citation  
  16. Tarek R. Dika, William C. Hackett & Claude Romano (2012). Les concepts fondamentaux de la phénoménologie: Entretien avec Claude Romano. Journal of French and Francophone Philosophy 20 (2):173-202.score: 3.0
    No categories
    Translate to English
    | Direct download (13 more)  
     
    My bibliography  
     
    Export citation  
  17. Tarek Sayed Ahmed (2006). The Class of Infinite Dimensional Neat Reducts of Quasi‐Polyadic Algebras is Not Axiomatizable. Mathematical Logic Quarterly 52 (1):106-112.score: 3.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  18. Tarek Sayed Ahmed (2002). A Modeltheoretic Solution to a Problem of Tarski. Mathematical Logic Quarterly 48 (3):343-355.score: 3.0
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  19. Tarek Sayed Ahmed (2007). A Non-Finitizability Result in Algebraic Logic. Bulletin of the Section of Logic 36 (1/2):21-27.score: 3.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  20. Tarek Sayed Ahmed (2008). Classes of Representable Algebras with the Amalgamation Property. Bulletin of the Section of Logic 37 (2):115-121.score: 3.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  21. Tarek Sayed Ahmed (2009). On a Theorem of Vaught for First Order Logic with Finitely Many Variables. Journal of Applied Non-Classical Logics 19 (1):97-112.score: 3.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  22. Leon Hermans, Nader El-Masry & Tarek M. Sadek (2002). Linking Actors and Models for Water Policy Development in Egypt: Analyzing Actors and Their Options. Knowledge, Technology and Policy 14 (4):57-74.score: 3.0
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  23. Tarek Osman (2012). Young Egyptians: Their Society and Future. Social Research: An International Quarterly 79 (2):299-322.score: 3.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  24. Alex Rosen & Tarek Loubani (2008). Technology and Activism. In Neil Arya & Joanna Santa Barbara (eds.), Peace Through Health: How Health Professionals Can Work for a Less Violent World. Kumarian Press.score: 3.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  25. Tarek Sayed-Ahmed & Basim Samir (2007). An Omitting Types Theorem for First Order Logic with Infinitary Relation Symbols. Mathematical Logic Quarterly 53 (6):564-570.score: 3.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  26. Tarek Sayed-Ahmed (2013). Neat Embeddings as Adjoint Situations. Synthese:1-37.score: 3.0
    Looking at the operation of forming neat $\alpha $ -reducts as a functor, with $\alpha $ an infinite ordinal, we investigate when such a functor obtained by truncating $\omega $ dimensions, has a right adjoint. We show that the neat reduct functor for representable cylindric algebras does not have a right adjoint, while that of polyadic algebras is an equivalence. We relate this categorial result to several amalgamation properties for classes of representable algebras. We show that the variety of cylindric (...)
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  27. Tarek Sayed Ahmed (2003). Neat Embeddings, Omitting Types, and Interpolation: An Overview. Notre Dame Journal of Formal Logic 44 (3):157-173.score: 3.0
    We survey various results on the relationship among neat embeddings (a notion special to cylindric algebras), complete representations, omitting types, and amalgamation. A hitherto unpublished application of algebraic logic to omitting types of first-order logic is given.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  28. Tarek Sayed-Ahmed (2010). The Class of Polyadic Algebras has the Super Amalgamation Property. Mathematical Logic Quarterly 56 (1):103-112.score: 3.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  29. Tarek Sayed Ahmed (2008). Amalgamation for Reducts of Polyadic Equality Algebras, a Negative Result. Bulletin of the Section of Logic 37 (1):37-50.score: 3.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  30. Tarek Sayed Ahmed (2005). An Independence Result in Algebraic Logic. Bulletin of the Section of Logic 34 (1):29-36.score: 3.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  31. Tarek Sayed Ahmed (2009). A Note on Substitutions in Representable Cylindric Algebras. Mathematical Logic Quarterly 55 (3):280-287.score: 3.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  32. Tarek Sayed Ahmed (2006). Algebras of Sentences. Bulletin of the Section of Logic 35 (1):1-10.score: 3.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  33. Tarek Sayed Ahmed & Basim Samir (2007). An Omitting Types Theorem for First Order Logic with Infinitary Relation Symbols. Mathematical Logic Quarterly 53 (6):564-570.score: 3.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  34. Tarek Sayed Ahmed (2005). A Sufficient and Necessary Condition for Omitting Types. Bulletin of the Section of Logic 34 (1):23-27.score: 3.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  35. Tarek Sayed Ahmed (2009). A Simple Construction of Representable Relation Algebras with Non‐Representable Completions. Mathematical Logic Quarterly 55 (3):237-244.score: 3.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  36. Tarek Sayed Ahmed & Basim Samir (2006). Neat Embeddings and Amalgamation. Bulletin of the Section of Logic 35 (4):163-171.score: 3.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  37. Tarek Sayed Ahmed (2003). Neat Embeddings, Omitting Types, and Interpolation: An Overview. Notre Dame Journal of Formal Logic 44 (3):157-173.score: 3.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  38. Tarek Sayed Ahmed (2009). On Neat Embeddings of Cylindric Algebras. Mathematical Logic Quarterly 55 (6):666-668.score: 3.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  39. Tarek Sayed Ahmed (2011). On the Complexity of Axiomatizations of the Class of Representable Quasi‐Polyadic Equality Algebras. Mathematical Logic Quarterly 57 (4):384-394.score: 3.0
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  40. Tarek Sayed Ahmed (2005). Omitting Types for Algebraizable Extensions of First Order Logic. Journal of Applied Non-Classical Logics 15 (4):465-489.score: 3.0
    We prove an Omitting Types Theorem for certain algebraizable extensions of first order logic without equality studied in [SAI 00] and [SAY 04]. This is done by proving a representation theorem preserving given countable sets of infinite meets for certain reducts of ?- dimensional polyadic algebras, the so-called G polyadic algebras (Theorem 5). Here G is a special subsemigroup of (?, ? o) that specifies the signature of the algebras in question. We state and prove an independence result connecting our (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  41. Tarek Sayed Ahmed (2008). Racan is Not Elementary, for N≥ 5. Bulletin of the Section of Logic 37 (2):123-136.score: 3.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  42. Tarek Sayed Ahmed (2008). The Class of Neat Reducts is Not Boolean Closed. Bulletin of the Section of Logic 37 (1):51-61.score: 3.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  43. Tarek Sayed Ahmed (2008). Weakly Representable Atom Structures That Are Not Strongly Representable, with an Application to First Order Logic. Mathematical Logic Quarterly 54 (3):294-306.score: 3.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  44. Mohamed Amer & Tarek Sayed Ahmed (2006). Polyadic and Cylindric Algebras of Sentences. Mathematical Logic Quarterly 52 (5):444-449.score: 3.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  45. Tarek Berrada (2012). 17 Music at Home: Spaces for Music in French Seventeenth-Century Residential Architecture. Proceedings of the British Academy 176:291.score: 3.0
    No categories
     
    My bibliography  
     
    Export citation  
  46. Erwin Hufnagel, Matthias Ruppert, Tarek Badawia & Helga Luckas (eds.) (2005). Ethos--Sinn--Wissenschaft: Historisch-Systematische Perspektiven Einer Philosophischen Pädagogik ; Festschrift für Erwin Hufnagel. Gardez!.score: 3.0
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  47. Mohamed Khaled & Tarek Sayed Ahmed (2009). Classes of Algebras That Are Not Closed Under Completions. Bulletin of the Section of Logic 38 (1/2):29-43.score: 3.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  48. Mansour Lobna, Fateen E., Rashed M., Ezzat S., Mohamed S., Badr A. & Tarek L. (2013). Megalencephaly and White Matter Diseases in Infancy and Childhood. Frontiers in Human Neuroscience 7.score: 3.0
  49. Tarek Mostafa (2013). Rethinking Education for Social Cohesion: International Case Studies. Edited by M. Shuyab. British Journal of Educational Studies 61 (2):262-263.score: 3.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  50. Tárek Moysés Moussallem (2005). Revogação Em Matéria Tributária. Editora Noeses.score: 3.0
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
1 — 50 / 58