Search results for 'Intersection' (try it on Scholar)

1000+ found
Order:
  1.  9
    Silvio Valentini (2001). An Elementary Proof of Strong Normalization for Intersection Types. Archive for Mathematical Logic 40 (7):475-488.
    We provide a new and elementary proof of strong normalization for the lambda calculus of intersection types. It uses no strong method, like for instance Tait-Girard reducibility predicates, but just simple induction on type complexity and derivation length and thus it is obviously formalizable within first order arithmetic. To obtain this result, we introduce a new system for intersection types whose rules are directly inspired by the reduction relation. Finally, we show that not only the set of strongly (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  2.  9
    Steffen van Bakel (2004). Cut-Elimination in the Strict Intersection Type Assignment System is Strongly Normalizing. Notre Dame Journal of Formal Logic 45 (1):35-63.
    This paper defines reduction on derivations (cut-elimination) in the Strict Intersection Type Assignment System of an earlier paper and shows a strong normalization result for this reduction. Using this result, new proofs are given for the approximation theorem and the characterization of normalizability of terms using intersection types.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  3.  3
    Toma Birmontiene (2010). Intersection of the Jurisprudences. The European Convention on Human Rights and the Constitutional Doctrine Formulated by the Constitutional Court of the Republic of Lithuania. Jurisprudence 119 (1):7-27.
    The article discusses the certain features of the constitutional doctrine of human rights developed by the Constitutional Court of Lithuania which were influenced by the jurisprudence of the European Court of Human Rights, the role of the European Convention on Human Rights as a legal source in the system of sources of constitutional law. The intersection of the jurisprudences, which came into being due to different assessments of the legal regulation in cases where the same legal act was recognized (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  4. J. Mark G. Williams & Jon Kabat-Zinn (2011). Mindfulness: Diverse Perspectives on its Meaning, Origins, and Multiple Applications at the Intersection of Science and Dharma. Contemporary Buddhism 12 (1):1-18.
    (2011). Mindfulness: diverse perspectives on its meaning, origins, and multiple applications at the intersection of science and dharma. Contemporary Buddhism: Vol. 12, Mindfulness: diverse perspectives on its meaning, origins, and multiple applications at the intersection of science and dharma, pp. 1-18. doi: 10.1080/14639947.2011.564811.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  5.  14
    Vhumani Magezi (2015). God-Image of Servant King as Powerful but Vulnerable and Serving: Towards Transforming African Church Leadership at an Intersection of African Kingship and Biblical Kingship to Servant Leadership. Hts Theological Studies 71 (2):01-09.
    Christianity is mediated through culture and people's cultural practices. One such cultural practice is African kingship. African kingship conveys on the ruler sovereignty, power, authority and supremacy over people under one's jurisdiction. Intricately linked to respect for elders and those in power, African church leaders are at an intersection of the African kingship leadership style and the biblical kingship leadership style. Consciously or unconsciously, church leaders tend to embrace the African kingship approach to leadership and to a lesser extent (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6.  41
    James Moor & Terrell Ward Bynum (eds.) (2002). Cyberphilosophy: The Intersection of Philosophy and Computing. Blackwell Pub..
    This cutting edge volume provides an overview of the dynamic new field of cyberphilosophy – the intersection of philosophy and computing.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  7.  13
    Dwight Boyd & Mary Louise Arnold (2000). Teachers' Beliefs, Antiracism and Moral Education: Problems of Intersection. Journal of Moral Education 29 (1):23-45.
    In this paper we explore potential problems of intersection between teachers' beliefs about the aims of education, a conceptual requirement of antiracism education and moral education. Our objective is to show how the reform of moral education to better accommodate antiracism concerns may depend on paying more attention to how teachers understand this intersection. Based on our analyses of teaching experiences and an exploratory, qualitative study of 20 recently certified teachers, we identify a framework for differentiating three ethical (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  8.  15
    Tomek Bartoszynski & Saharon Shelah (1992). Intersection of Ultrafilters May Have Measure Zero. Archive for Mathematical Logic 31 (4):221-226.
    We show that it is consistent with ZFC that the intersection of some family of less than ultrafilters have measure zero. This answers a question of D. Fremlin.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  9. Alessandro Berarducci & Margarita Otero (2001). Intersection Theory for o-Minimal Manifolds. Annals of Pure and Applied Logic 107 (1-3):87-119.
    We develop an intersection theory for definable Cp-manifolds in an o-minimal expansion of a real closed field and we prove the invariance of the intersection numbers under definable Cp-homotopies . In particular we define the intersection number of two definable submanifolds of complementary dimensions, the Brouwer degree and the winding numbers. We illustrate the theory by deriving in the o-minimal context the Brouwer fixed point theorem, the Jordan-Brouwer separation theorem and the invariance of the Lefschetz numbers under (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  10.  1
    Alex Kruckman & Lawrence Valby (2016). Actions Arising From Intersection and Union. Journal of Logic, Language and Information 25 (2):139-161.
    An action is a pair of sets, C and S, and a function \. Rothschild and Yalcin gave a simple axiomatic characterization of those actions arising from set intersection, i.e. for which the elements of C and S can be identified with sets in such a way that elements of S act on elements of C by intersection. We introduce and axiomatically characterize two natural classes of actions which arise from set intersection and union. In the first (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  11.  53
    Michael Kohlhase & Frank Pfenning, Unification in a A-Calculus with Intersection Types.
    We propose related algorithms for unification and constraint simplification in }F’&, a refinement of the simply-typed A-calculus with subtypes and bounded intersection types. }F""’ is intended as the basis of a logical framework in order to achieve more succinct and declarative axiomatiza-.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  12.  15
    Mariangiola Dezani-Ciancaglini, Silvia Ghilezan & Betti Venneri (1997). The "Relevance" of Intersection and Union Types. Notre Dame Journal of Formal Logic 38 (2):246-269.
    The aim of this paper is to investigate a Curry-Howard interpretation of the intersection and union type inference system for Combinatory Logic. Types are interpreted as formulas of a Hilbert-style logic L, which turns out to be an extension of the intuitionistic logic with respect to provable disjunctive formulas (because of new equivalence relations on formulas), while the implicational-conjunctive fragment of L is still a fragment of intuitionistic logic. Moreover, typable terms are translated in a typed version, so that (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  13.  9
    Martin Lange & Carsten Lutz (2005). 2-ExpTime Lower Bounds for Propositional Dynamic Logics with Intersection. Journal of Symbolic Logic 70 (4):1072-1086.
    In 1984, Danecki proved that satisfiability in IPDL, i.e., Propositional Dynamic Logic (PDL) extended with an intersection operator on programs, is decidable in deterministic double exponential time. Since then, the exact complexity of IPDL has remained an open problem: the best known lower bound was the ExpTime one stemming from plain PDL until, in 2004, the first author established ExpSpace-hardness. In this paper, we finally close the gap and prove that IPDL is hard for 2-ExpTime, thus 2-ExpTime-complete. We then (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  14.  22
    Jane Duran (1993). The Intersection of Pragmatism and Feminism. Hypatia 8 (2):159 - 171.
    I cite areas of pragmatism and feminism that have an intersection with or an appeal to the other, including the notions of the universal and/or normative, and foundationalist lines in general. I deal with three areas from each perspective and develop the notion of their intersection. Finally, the paper discusses the importance of a pragmatic view for women's lives and the importance of psychoanalytic theory for finding another area where pragmatism and feminism mesh.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  15.  6
    Pawel Urzyczyn (1999). The Emptiness Problem for Intersection Types. Journal of Symbolic Logic 64 (3):1195-1215.
    We study the intersection type assignment system as defined by Barendregt, Coppo and Dezani. For the four essential variants of the system (with and without a universal type and with and without subtyping) we show that the emptiness (inhabitation) problem is recursively unsolvable. That is, there is no effective algorithm to decide if there is a closed term of a given type. It follows that provability in the logic of "strong conjunction" of Mints and Lopez-Escobar is also undecidable.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  16.  7
    M. Hrušák, C. A. Martínez-Ranero, U. A. Ramos-García & O. A. Téllez-Nieto (2013). Intersection Numbers of Families of Ideals. Archive for Mathematical Logic 52 (3-4):403-417.
    We study the intersection number of families of tall ideals. We show that the intersection number of the class of analytic P-ideals is equal to the bounding number ${\mathfrak{b}}$ , the intersection number of the class of all meager ideals is equal to ${\mathfrak{h}}$ and the intersection number of the class of all F σ ideals is between ${\mathfrak{h}}$ and ${\mathfrak{b}}$ , consistently different from both.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  17.  40
    Sridhar Venkatapuram (2009). A Bird's Eye View. Two Topics at the Intersection of Social Determinants of Health and Social Justice Philosophy. Public Health Ethics 2 (3):224-234.
    The article discusses two areas at the intersection of social determinants of health research and social justice theory. The first section examines the affinity between social epidemiology and the capabilities approach. The second section examines how social epidemiology's expansion of the scope of the causal chain and determinants raises questions about epistemology and ontology in epidemiology as well as the field's link to the moral concern for human health.
    Direct download (11 more)  
     
    Export citation  
     
    My bibliography  
  18.  9
    Stefan Göller, Markus Lohrey & Carsten Lutz (2009). PDL with Intersection and Converse: Satisfiability and Infinite-State Model Checking. Journal of Symbolic Logic 74 (1):279-314.
    We study satisfiability and infinite-state model checking in ICPDL, which extends Propositional Dynamic Logic (PDL) with intersection and converse operators on programs. The two main results of this paper are that (i) satisfiability is in 2EXPTIME, thus 2EXPTIME-complete by an existing lower bound, and (ii) infinite-state model checking of basic process algebras and pushdown systems is also 2EXPTIME-complete. Both upper bounds are obtained by polynomial time computable reductions to ω-regular tree satisfiability in ICPDL, a reasoning problem that we introduce (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  19.  7
    Silvia Ghilezan (1996). Strong Normalization and Typability with Intersection Types. Notre Dame Journal of Formal Logic 37 (1):44-52.
    A simple proof is given of the property that the set of strongly normalizing lambda terms coincides with the set of lambda terms typable in certain intersection type assignment systems.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  20.  6
    Rod Downey & Theodore A. Slaman (1992). On Co-Simple Isols and Their Intersection Types. Annals of Pure and Applied Logic 56 (1-3):221-237.
    We solve a question of McLaughlin by showing that if A is a regressive co-simple isol, there is a co-simple regressive isol B such that the intersection type of A and B is trivial. The proof is a nonuniform 0 priority argument that can be viewed as the execution of a single strategy from a 0-argument. We establish some limit on the properties of such pairs by showing that if AxB has low degree, then the intersection type of (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  21.  19
    U. Abraham & S. Shelah (1986). On the Intersection of Closed Unbounded Sets. Journal of Symbolic Logic 51 (1):180-189.
    Forcing extensions yield models of ZFC in which a long sequence of club subsets of ω 1 has the following property: every subsequence of size ℵ 1 has a finite intersection.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  22.  3
    Steffen van Bakel (2010). Completeness and Partial Soundness Results for Intersection and Union Typing for Λ ¯ Μ Μ ̃. Annals of Pure and Applied Logic 161 (11):1400-1430.
    This paper studies intersection and union type assignment for the calculus , a proof-term syntax for Gentzen’s classical sequent calculus, with the aim of defining a type-based semantics, via setting up a system that is closed under conversion. We will start by investigating what the minimal requirements are for a system, for to be complete ; this coincides with System , the notion defined in Dougherty et al. [18]; however, we show that this system is not sound , so (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  23.  4
    M. W. Bunder (2002). A Classification of Intersection Type Systems. Journal of Symbolic Logic 67 (1):353-368.
    The first system of intersection types, Coppo and Dezani [3], extended simple types to include intersections and added intersection introduction and elimination rules (( $\wedge$ I) and ( $\wedge$ E)) to the type assignment system. The major advantage of these new types was that they were invariant under β-equality, later work by Barendregt, Coppo and Dezani [1], extended this to include an (η) rule which gave types invariant under βη-reduction. Urzyczyn proved in [6] that for both these systems (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  24.  3
    Matthew Zook (2007). Your Urgent Assistance is Requested: The Intersection of 419 Spam and New Networks of Imagination. Ethics, Place and Environment 10 (1):65 – 88.
    This article introduces a series of measures of the geographical manifestation of a subset of unsolicited commercial email, i.e. spam, used to perpetrate 'advanced fee fraud'. Known as '419 spam', this activity has strong historic ties to Nigeria, where similar frauds were operated via physical letters and faxes during the 1970s and 1980s. This article's analysis reveals that 419 spam operates via a globally dispersed network that nevertheless contains a clear agglomeration of activity in West Africa. Building upon theories of (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  25. Martin Bunder (2002). Intersection Types for Lambda-Terms and Combinators and Their Logics. Logic Journal of the Igpl 10 (4):357-378.
    It is well known that the simple types of closed lambda terms or combinators can be interpreted as the theorems of intuitionistic implicational logic . Venneri, using an equivalence between the intersection type system for lambda calculus, without the universal type ω, TA∧λ, and a similar system for combinators, TA∧, shows that the types of TA∧λ are the theorems of a Hilbert-style sublogic of the → ∧ fragment of H→.In this paper we fill a gap in the equivalence proof (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  26. Martin Bunder (2003). Intersection Type Systems and Logics Related to the Meyer-Routley System B+. Australasian Journal of Philosophy 1:43-55.
    Some, but not all, closed terms of the lambda calculus have types; these types are exactly the theorems of intuitionistic implicational logic. An extension of these simple types to intersection types allows all closed lambda terms to have types. The corresponding →∧ logic, related to the Meyer-Routley minimal logic B+ , is weaker than the →∧ fragment of intuitionistic logic. In this paper we provide an introduction to the above work and also determine the →∧ logics that correspond to (...)
     
    Export citation  
     
    My bibliography  
  27.  37
    Paul Coates (1994). Film at the Intersection of High and Mass Culture. Cambridge University Press.
    At the Intersection of High and Mass Culture analyses the contradictions and interaction between high and low art, with particular reference to Hollywood and European cinema. Written in the essayist, speculative tradition of Walter Benjamin and Theodore Adorno, this study also includes analyses of several key films of the 1980s. Tracing the boundaries of such genres as film noir, science fiction and melodrama, it demonstrates how these genres were radically expanded by such filmmakers as Neil Jordan, Chris Merker and (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  28.  29
    Heather Dyke (ed.) (2003). Time and Ethics: Essays at the Intersection. Kluwer Academic Publishers.
    Ethics seeks answers to questions about the moral status of human actions and human lives. What should I do, and what should I not do? What sort of life should I lead? Actions and lives are temporal things. Actions are performed at certain times, are informed by past events and have consequences for the future. Lives have temporal extension, and are experienced from a sequence of temporal perspectives. Thus, one would think that answers to ethical questions should take account some (...)
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  29. George Koletsos & George Stavrinos (2008). Church-Rosser Property and Intersection Types. Australasian Journal of Philosophy 6:37-54.
    We give a proof via reducibility of the Church-Rosser property for the system D of λ-calculus with intersection types. As a consequence we can get the confluence property for developments directly, without making use of the strong normalization property for developments, by using only the typability in D and a suitable embedding of developments in this system. As an application we get a proof of the Church-Rosser theorem for the untyped λ-calculus.
    No categories
     
    Export citation  
     
    My bibliography  
  30. Paul B. de Laat (2012). Open Source Production of Encyclopedias: Editorial Policies at the Intersection of Organizational and Epistemological Trust. Social Epistemology 26 (1):71-103.
    The ideas behind open source software are currently applied to the production of encyclopedias. A sample of six English text-based, neutral-point-of-view, online encyclopedias of the kind are identified: h2g2, Wikipedia, Scholarpedia, Encyclopedia of Earth, Citizendium and Knol. How do these projects deal with the problem of trusting their participants to behave as competent and loyal encyclopedists? Editorial policies for soliciting and processing content are shown to range from high discretion to low discretion; that is, from granting unlimited trust to limited (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  31. Lisa A. Eckenwiler (2013). Philosophy and Health Administration and Policy at George Mason University. Professor Eckenwiler's Current Research Focuses on Ethical Issues at the Intersection. International Journal of Feminist Approaches to Bioethics 6 (2).
    Direct download  
     
    Export citation  
     
    My bibliography  
  32.  47
    John Dupré & Maureen O'malley (2009). Varieties of Living Things: Life at the Intersection of Lineage and Metabolism. Philosophy & Theory in Biology 1 (20130604).
    We address three fundamental questions: What does it mean for an entity to be living? What is the role of inter-organismic collaboration in evolution? What is a biological individual? Our central argument is that life arises when lineage-forming entities collaborate in metabolism. By conceiving of metabolism as a collaborative process performed by functional wholes, which are associations of a variety of lineage-forming entities, we avoid the standard tension between reproduction and metabolism in discussions of life – a tension particularly evident (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   19 citations  
  33.  17
    Denise Egéa-Kuehne (ed.) (2008). Levinas and Education: At the Intersection of Faith and Reason. Routledge.
    This first book-length collection on Levinas and education gathers new texts written especially for this volume, providing an introduction to some of Levinas's major themes of ethics, justice, hope, hospitality, forgiveness, and more.
    Direct download  
     
    Export citation  
     
    My bibliography   11 citations  
  34. Robyn Bluhm, Anne Jaap Jacobson & Heidi Lene Maibom (eds.) (2012). Neurofeminism: Issues at the Intersection of Feminist Theory and Cognitive Science. Palgrave Macmillan.
  35. Robin James (2010). From Receptivity to Transformation: On the Intersection of Race, Gender, and the Aesthetic in Contemporary Continental Philosophy. In Kathryn Gines, Donna-Dale Marcano & Maria Davidson (eds.), Convergences: Black Feminism and Continental Philosophy.
  36.  21
    Laura P. Hartman & Patricia H. Werhane (2009). A Modular Approach to Business Ethics Integration: At the Intersection of the Stand-Alone and the Integrated Approaches. [REVIEW] Journal of Business Ethics 90 (3):295 - 300.
    While no one seems to believe that business schools or their faculties bear entire responsibility for the ethical decision-making processes of their students, these same institutions do have some burden of accountability for educating students surrounding these skills. To that end, the standards promulgated by the Association to Advance Collegiate School of Business , their global accrediting body, require that students learn ethics as part of a business degree. However, since the AACSB does not require the inclusion of a specific (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  37.  13
    Helena Röcklinsberg (2015). Fish Consumption: Choices in the Intersection of Public Concern, Fish Welfare, Food Security, Human Health and Climate Change. Journal of Agricultural and Environmental Ethics 28 (3):533-551.
    Future global food insecurity due to growing population as well as changing consumption demands and population growth is sometimes suggested to be met by increase in aquaculture production. This raises a range of ethical issues, seldom discussed together: fish welfare, food security, human health, climate change and environment, and public concern and legislation, which could preferably be seen as pieces in a puzzle, accepting their interdependency. A balanced decision in favour of or against aquaculture needs to take at least these (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  38.  21
    Sally Bean (2011). Navigating the Murky Intersection Between Clinical and Organizational Ethics: A Hybrid Case Taxonomy. Bioethics 25 (6):320-325.
    Ethical challenges that arise within healthcare delivery institutions are currently categorized as either clinical or organizational, based on the type of issue. Despite this common binary issue-based methodology, empirical study and increasing academic dialogue indicate that a clear line cannot easily be drawn between organizational and clinical ethics. Disagreement around end-of-life treatments, for example, often spawn value differences amongst parties at both organizational and clinical levels and requires a resolution to address both the case at hand and large-scale underlying system-level (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  39.  94
    Jerrold Levinson (ed.) (1998). Aesthetics and Ethics: Essays at the Intersection. Cambridge University Press.
    This major collection of essays stands at the border of aesthetics and ethics and deals with charged issues of practical import: art and morality, the ethics of taste, and censorship. As such its potential interest is by no means confined to professional philosophers; it should also appeal to art historians and critics, literary theorists, and students of film. Prominent philosophers in both aesthetics and ethics tackle a wide array of issues. Some of the questions explored in the volume include: Can (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  40. Cass R. Sunstein, Edna Ullmann‐Margalit, Sarah Williams Holtman, Philip Kitcher, Linda Barclay & John Martin Fischer (1999). 10. Jerrold Levinson, Ed., Aesthetics and Ethics: Essays at the Intersection Jerrold Levinson, Ed., Aesthetics and Ethics: Essays at the Intersection (Pp. 215-219). [REVIEW] Ethics 110 (1).
     
    Export citation  
     
    My bibliography   12 citations  
  41.  18
    Adnan A. Hyder & Liza Dawson (2005). Defining Standard of Care in the Developing World: The Intersection of International Research Ethics and Health Systems Analysis. Developing World Bioethics 5 (2):142–152.
    Direct download (12 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  42.  34
    Philippe Balbiani & Luis Fariñas del Cerro (1998). Complete Axiomatization of a Relative Modal Logic with Composition and Intersection. Journal of Applied Non-Classical Logics 8 (4):325-335.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  43. Timothy Lane (2010). Issues at the Intersection of Ethics, Evolution and Neuroscience. EurAmerica 40 (3):519-527.
    It is becoming increasingly difficult for those who engage in ethical analysis to ignore evolution and neuroscience. The kind of creature that we are and that we have evolved to be matters when determining how we ought to live. There is still a need to aim for a reflective equilibrium that includes reflection over not straightforwardly empirical issues. It would, for example, be inaccurate to say that "good" just means "highly evolved." But it does turn out to be the case (...)
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  44.  3
    Davide Weible (2014). Approaching a Semiotics of Exaptation: At the Intersection Between Biological Evolution and Technological Development. Sign Systems Studies 41 (4):504-527.
    This paper recognizes a specific correspondence between biological evolution and technological development and on this basis tries to set up a semioticapproach to the evolutionary phenomenon of exaptation. To do this, the existence of a historical-structural and pragmatic analogy between organs and tools is shown, which in turn implies on a communicative ground the dissolution of some of their traditional distinctive att ributes. Finally, a philosophical-analytical approach to natural and cultural functions is applied to define three types of exaptations.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  45. John Dupré & Maureen A. O'Malley (2009). Varieties of Living Things: Life at the Intersection of Lineage and Metabolism. Philosophy and Theory in Biology 1 (20150929).
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  46.  29
    Nayereh Tohidi (2002). The Global-Local Intersection of Feminism in Muslim Societies: The Cases of Iran and Azerbaijan. Social Research: An International Quarterly 69 (3):851-887.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  47.  34
    Gregory E. Kaebnick (2000). On the Intersection of Casuistry and Particularism. Kennedy Institute of Ethics Journal 10 (4):307-322.
    : A comparison of casuistry with the strain of particularism developed by John McDowell and David Wiggins suggests that casuistry is susceptible to two very different mistakes. First, as sometimes developed, casuistry tends toward an implausible rigidity and systematization of moral knowledge. Particularism offers a corrective to this error. Second, however, casuistry tends sometimes to present moral knowledge as insufficiently systematized: It often appears to hold that moral deliberation is merely a kind of perception. Such a perceptual model of deliberation (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  48.  11
    Peter M. Distelzweig (2013). The Intersection of the Mathematical and Natural Sciences: The Subordinate Sciences in Aristotle. Apeiron 46 (2):85 - 105.
    Journal Name: Apeiron Issue: Ahead of print.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  49.  40
    Joseph A. Edelheit (2013). Einstein's Jewish Science: Physics at the Intersection of Politics and Religion. By Steven Gimbel. Baltimore, MD: The Johns Hopkins University Press, 2012. 256 Pages. Hardcover $24.95. [REVIEW] Zygon 48 (4):1014-1015.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  50.  12
    Philippe Balbiani (2001). A New Proof of Completeness for a Relative Modal Logic with Composition and Intersection. Journal of Applied Non-Classical Logics 11 (3-4):269-280.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
1 — 50 / 1000