Results for 'W. A. Howard'

1000+ found
Order:
  1. The formulæ-as-types notion of construction.W. A. Howard - 1995 - In Philippe De Groote (ed.), The Curry-Howard Isomorphism. Academia.
     
    Export citation  
     
    Bookmark   68 citations  
  2.  44
    Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis.W. A. Howard & G. Kreisel - 1966 - Journal of Symbolic Logic 31 (3):325-358.
  3.  48
    Ordinal analysis of simple cases of bar recursion.W. A. Howard - 1981 - Journal of Symbolic Logic 46 (1):17-30.
  4.  26
    Ordinal analysis of terms of finite type.W. A. Howard - 1980 - Journal of Symbolic Logic 45 (3):493-504.
  5.  32
    A system of abstract constructive ordinals.W. A. Howard - 1972 - Journal of Symbolic Logic 37 (2):355-374.
  6.  49
    Per Martin-Löf. Intuitionistic type theory. Studies in proof theory. Bibliopolis, Naples1984, ix + 91 pp. [REVIEW]W. A. Howard - 1986 - Journal of Symbolic Logic 51 (4):1075-1076.
  7.  9
    Handbook of Mathematical Logic.W. A. Howard - 1984 - Journal of Symbolic Logic 49 (3):980-988.
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  22
    A proposed rural healthcare ethics agenda.W. Nelson, A. Pomerantz, K. Howard & A. Bushy - 2007 - Journal of Medical Ethics 33 (3):136-139.
    The unique context of the rural setting provides special challenges to furnishing ethical healthcare to its approximately 62 million inhabitants. Although rural communities are widely diverse, most have the following common features: limited economic resources, shared values, reduced health status, limited availability of and accessibility to healthcare services, overlapping professional–patient relationships and care giver stress. These rural features shape common healthcare ethical issues, including threats to confidentiality, boundary issues, professional–patient relationship and allocation of resources. To date, there exists a limited (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  9.  62
    Freud's dual process theory and the place of the a-rational.Linda A. W. Brakel & Howard Shevrin - 2003 - Behavioral and Brain Sciences 26 (4):527-528.
    In this commentary on Stanovich & West (S&W) we call attention to two points: (1) Freud's original dual process theory, which antedates others by some seventy-five years, deserves inclusion in any consideration of dual process theories. His concepts of primary and secondary processes (Systems 1 and 2, respectively) anticipate significant aspects of current dual process theories and provide an explanation for many of their characteristics. (2) System 1 is neither rational nor irrational, but instead a-rational. Nevertheless, both the a-rational System (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  10.  18
    Continuing Commentary.Linda A. W. Brakel & Howard Shevrin - 2003 - Behavioral and Brain Sciences 26:527-534.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  24
    A. G. Hamilton. Logic for mathematicians. Cambridge University Press, Cambridge etc. 1978, viii + 224 pp. [REVIEW]W. A. Howard - 1980 - Journal of Symbolic Logic 45 (2):379-380.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12. Review: A. G. Hamilton, Logic for Mathematicians. [REVIEW]W. A. Howard - 1980 - Journal of Symbolic Logic 45 (2):379-380.
  13.  44
    Handbook of mathematical logic, edited by Barwise Jon with the cooperation of Keisler H. J., Kunen K., Moschovakis Y. N., and Troelstra A. S., Studies in logic and the foundations of mathematics, vol. 90, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978 , xi + 1165 pp.Smoryński C.. D.1. The incompleteness theorems. Pp. 821–865.Schwichtenberg Helmut. D.2. Proof theory: some applications of cut-elimination. Pp. 867–895.Statman Richard. D.3. Herbrand's theorem and Gentzen's notion of a direct proof. Pp. 897–912.Feferman Solomon. D.4. Theories of finite type related to mathematical practice. Pp. 913–971.Troelstra A. S.. D.5. Aspects of constructive mathematics. Pp. 973–1052.Fourman Michael P.. D.6. The logic of topoi. Pp. 1053–1090.Barendregt Henk P.. D.1. The type free lambda calculus. Pp. 1091–1132.Paris Jeff and Harrington Leo. D.8. A mathematical incompleteness in Peano arithmetic. Pp. 1133–1142. [REVIEW]W. A. Howard - 1984 - Journal of Symbolic Logic 49 (3):980-988.
  14. Review: Jon Barwise, H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra, Handbook of Mathematical Logic. [REVIEW]W. A. Howard - 1984 - Journal of Symbolic Logic 49 (3):980-988.
  15.  34
    Jean-Yves Girard, Paul Taylor, and Yves LaFont. Proofs and types. Cambridge tracts in theoretical computer science, no. 7. Cambridge University Press, Cambridge etc. 1989, xi + 176 pp. [REVIEW]W. A. Howard - 1991 - Journal of Symbolic Logic 56 (2):760-761.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  16.  25
    Kurt Schütte. Proof theory. Revised English translation by J. N. Crossley of XXV 243. Grundlehren der mathematischen Wissenschaften, no. 225. Springer-Verlag, Berlin, Heidelberg, and New York, 1977, xii + 299 pp. [REVIEW]W. A. Howard - 1982 - Journal of Symbolic Logic 47 (1):218-220.
  17.  23
    Moschovakis J. R.. Disjunction and existence in formalized intuitionistic analysis. Sets, models and recursion theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, edited by Crossley John N., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, pp. 309–331. [REVIEW]W. A. Howard - 1970 - Journal of Symbolic Logic 35 (4):587-588.
  18.  26
    Review: Jean-Yves Girard, Paul Taylor, Yves Lafont, Proofs and Types. [REVIEW]W. A. Howard - 1991 - Journal of Symbolic Logic 56 (2):760-761.
  19.  7
    Review: J. R. Moschovakis, Disjunction and Existence in Formalized Intuitionistic Analysis. [REVIEW]W. A. Howard - 1970 - Journal of Symbolic Logic 35 (4):587-588.
  20.  10
    Review: Kurt Schutte, J. N. Crossley, Proof Theory. [REVIEW]W. A. Howard - 1982 - Journal of Symbolic Logic 47 (1):218-220.
  21.  5
    Eigenstates in the Many Interacting Worlds Approach: Focus on 2D Ground States.Hannes Herrmann, Michael J. W. Hall, Howard M. Wiseman & Dirk-André Deckert - 2024 - In Angelo Bassi, Sheldon Goldstein, Roderich Tumulka & Nino Zanghi (eds.), Physics and the Nature of Reality: Essays in Memory of Detlef Dürr. Springer. pp. 125-140.
    The Many-Interacting-Worlds (MIW) approach to a quantum theory without wave functions proposed in [8] leads naturally to numerical integrators of the Schrödinger equation on comoving grids. As yet, little is known about concrete MIW models for more than one spatial dimension and/or more than one particle. In honour of Detlef Dürr, we report on a further development of the MIW approach to treat arbitrary degrees of freedom and provide a numerical proof of concept for ground states in 2d. The latter (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  22. Phonological Ambiguity Detection Outside of Consciousness and Its Defensive Avoidance.Ariane Bazan, Ramesh Kushwaha, E. Samuel Winer, J. Michael Snodgrass, Linda A. W. Brakel & Howard Shevrin - 2019 - Frontiers in Human Neuroscience 13.
    Freud proposes that in unconscious processing, logical connections are also (heavily) based upon phonological similarities. Repressed concerns, for example, would also be expressed by way of phonologic ambiguity. In order to investigate a possible unconscious influence of phonological similarity, 31 participants were submitted to a tachistoscopic subliminal priming experiment, with prime and target presented at 1ms. In the experimental condition, the prime and one of the 2 targets were phonological reversed forms of each other, though graphemically dissimilar (e.g., “nice” and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23.  93
    American Ethics: A Source Book from Edwards to Dewey.Guy W. Stroh & Howard G. Callaway (eds.) - 2000 - University Press of America.
    This book collects some 75 texts from the history of American thought, starting with the colonial religious background, and arranged into 6 historically oriented chapers. Each chapter has a general introduction and ends with suggestions for further readings; and each of the texts is prefaced by a short explanatory paragraph. Overall, the book provides an historical introduction to central ethical themes of American thought.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  24
    Motion parallax as a determinant of perceived depth.Eleanor J. Gibson, James J. Gibson, Olin W. Smith & Howard Flock - 1959 - Journal of Experimental Psychology 58 (1):40.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   41 citations  
  25.  16
    Cognition and behavior in studies of choice.Howard Rachlin, A. W. Logue, John Gibbon & Marvin Frankel - 1986 - Psychological Review 93 (1):33-45.
  26.  42
    Event-related potential indicators of the dynamic unconscious.Howard Shevrin, W. J. Williams, R. E. Marshall & Linda A. Brakel - 1992 - Consciousness and Cognition 1 (3):340-66.
    The present study applies a new method for investigating dynamic unconscious processes. The method consists of selection of words from patient interview and test protocols that in the clinicians' judgments capture the patients' conscious symptom experience and the hypothetical unconscious conflict related to the symptom, subliminal and supraliminal presentation of these words, signal analysis of event-related potentials obtained to the word presentations. Eight phobics and three patients suffering from pathological grief reactions served as subjects. A time-frequency ERP analysis revealed that (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   46 citations  
  27.  32
    Exploitation, Labor, and Basic Income.Michael W. Howard - 2015 - Analyse & Kritik 37 (1-2):281-304.
    Proposals for a universal basic income have reemerged in public discourse for a variety of reasons. Marx’s critique of exploitation suggests two apparently opposed positions on a basic income. On the one hand, a basic income funded from taxes on labor would appear to be exploitative of workers. On the other hand, a basic income liberates everyone from the vulnerable condition in which one is forced to sell one’s labor in order to survive, and so seems to be one way (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  28. Subliminal unconscious conflict alpha power inhibits supraliminal conscious symptom experience.Howard Shevrin, Michael Snodgrass, Linda A. W. Brakel, Ramesh Kushwaha, Natalia L. Kalaida & Ariane Bazan - 2013 - Frontiers in Human Neuroscience 7.
    Our approach is based on a tri-partite method of integrating psychodynamic hypotheses, cognitive subliminal processes, and psychophysiological alpha power measures. We present ten social phobic subjects with three individually selected groups of words representing unconscious conflict, conscious symptom experience, and Osgood Semantic negative valence words used as a control word group. The unconscious conflict and conscious symptom words, presented subliminally and supraliminally, act as primes preceding the conscious symptom and control words presented as supraliminal targets. With alpha power as a (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  29.  21
    Rolling resistance moment of microspheres on surfaces: contact measurements.W. Ding, A. J. Howard, M. D. Murthy Peri & C. Cetinkaya - 2007 - Philosophical Magazine 87 (36):5685-5696.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  38
    The case of professor mecklin: Report of the committee of inquiry of the american philosophical association and the american psychological association.A. O. Lovejoy, J. E. Creighton, W. E. Hocking, E. B. McGilvary, W. T. Marvin, G. H. Head & Howard C. Warren - 1914 - Journal of Philosophy, Psychology and Scientific Methods 11 (3):67-81.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31.  18
    Hydrilla, a new noxious aquatic weed in California.Richard R. Yeo, W. B. McHenry, Howard Ferris, Michael V. McKenry, Robert M. Boardman, Sherman V. Thomson, Milton N. Schroth, William J. Moller, Wilbur O. Reil & James A. Beutel - 1977 - In Vincent Stuart (ed.), Order. [New York]: Random House.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  32.  55
    The Annus Mirabilis of Sir Isaac Newton, 1666-1966. [REVIEW]A. W. W. - 1973 - Review of Metaphysics 27 (1):152-153.
    The year 1666, on Newton’s own testimony, was the "wonderful year" wherein, at the tender age of 24, he developed the fundamental principles of the integral calculus, verified the composite nature of sunlight, and satisfied himself by calculation that the earth’s gravitation holds the moon in its orbit. Fittingly to commemorate the third centenary of that year, and at the same time to bring together the considerable results of recent Newtonian scholarship, Robert Palter organized a symposium at the University of (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  33. Reforming methodology in psychological research.G. S. Howard, W. H. Youngs & A. M. Siatczynski - 1988 - Journal of Mind and Behavior 10:393-412.
  34.  24
    New books. [REVIEW]Howard V. Knox, A. E. Taylor, John Laird, F. C. S. Schiller, Bernard Bosanquet, L. J. Russel, S. W. & B. D. - 1921 - Mind 30 (119):354-374.
    No categories
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  35.  18
    Can one explanation serve two laws?Howard N. Zelaznik & Robert W. Proctor - 1997 - Behavioral and Brain Sciences 20 (2):325-325.
    Several issues are raised concerning the notion that a single strategy explains Fitts' law and the linear speed/accuracy trade-off. Two additional concerns are discussed: (1) distance is programmed, (2) the fact that movements produced without the aid of vision obey Fitts' law does not mean that sighted movements must be explained without regard to vision.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  36.  55
    Critical periods after stroke study: translating animal stroke recovery experiments into a clinical trial.Alexander W. Dromerick, Matthew A. Edwardson, Dorothy F. Edwards, Margot L. Giannetti, Jessica Barth, Kathaleen P. Brady, Evan Chan, Ming T. Tan, Irfan Tamboli, Ruth Chia, Michael Orquiza, Robert M. Padilla, Amrita K. Cheema, Mark E. Mapstone, Massimo S. Fiandaca, Howard J. Federoff & Elissa L. Newport - 2015 - Frontiers in Human Neuroscience 9.
  37.  47
    A neural correlate of consciousness related to repression.Howard Shevrin, Jess H. Ghannam & Benjamin W. Libet - 2002 - Consciousness and Cognition 11 (2):334-41.
    In previous research Libet discovered that a critical time period for neural activation is necessary in order for a stimulus to become conscious. This necessary time period varies from subject to subject. In this current study, six subjects for whom the time for neural activation of consciousness had been previously determined were administered a battery of psychological tests on the basis of which ratings were made of degree of repressiveness. As hypothesized, repressive subjects had a longer critical time period for (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  38.  10
    Gap junctions: Towards a molecular structure.W. Howard Evans - 1988 - Bioessays 8 (1):1-6.
    Gap junctions are ubiquitous plasma membrane specializations that allow cells to exchange small molecules and ions directly. The isolation, biochemical characterization and molecular cloning of the major protein of rat liver gap junctions lead to a clearer view of these membrane zones that allow cells to ‘talk’ to each other and co‐ordinate their activities in tissues and organs.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  39.  14
    Lighting up gap junction channels in a flash.W. Howard Evans & Patricia E. M. Martin - 2002 - Bioessays 24 (10):876-880.
    Gap junction intercellular communication channels permit the exchange of small regulatory molecules and ions between neighbouring cells and coordinate cellular activity in diverse tissue and organ systems. These channels have short half‐lives and complex assembly and degradation pathways. Much of the recent work elucidating gap junction biogenesis has featured the use of connexins (Cx), the constituent proteins of gap junctions, tagged with reporter proteins such as Green Fluorescent Protein (GFP) and has illuminated the dynamics of channel assembly in live cells (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40. Phenomenology: a bibliography of English language writings.Howard W. Ivey - 1975 - Monticello, Ill.: Council of Planning Librarians. Edited by D. Lawrence Wieder.
     
    Export citation  
     
    Bookmark  
  41.  46
    Arthur Stanley Eddington Memorial Lectureship.Joseph Barcroft, E. W. Birmingham, Max Born, R. B. Braithwaite, W. Maude Brayshaw, G. A. Chase, Henry Dale, Howard Diamond, Herbert Dingle, Winifred Eddington, Wilson Harris, G. B. Jeffery, Martin Johnson, Rufus M. Jones, Harold Spencer Jones, Kathleen Lonsdale, E. J. Maskell, A. Victor Murray, C. E. Raven, F. J. M. Stratton, Hilda Sturge, W. H. Thorpe, Henry T. Tizard, G. M. Trevelyan, Elsie Watchorn, A. N. Whitehead, Edmund T. Whittaker, Alex Wood & H. G. Wood - 1946 - Philosophy 21 (80):287-.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  42.  15
    Magic in the machine: a computational magician's assistant.Howard Williams & Peter W. McOwan - 2014 - Frontiers in Psychology 5.
  43.  15
    High-speed Digital Design: A Handbook of Black Magic.Howard W. Johnson & Martin Graham - 1993 - Pearson Education India.
    Focused on the field of knowledge lying between digital and analog circuit theory, this new text will help engineers working with digital systems shorten their product development cycles and help fix their latest design problems. The scope of the material covered includes signal reflection, crosstalk, and noise problems which occur in high speed digital machines (above 10 megahertz). This volume will be of practical use to digital logic designers, staff and senior communications scientists, and all those interested in digital design.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  54
    Punishment as Moral Fortification.Jeffrey W. Howard - 2017 - Law and Philosophy 36 (1):45-75.
    The proposal that the criminal justice system should focus on rehabilitation – rather than retribution, deterrence, or expressive denunciation – is among the least popular ideas in legal philosophy. Foremost among rehabilitation’s alleged weaknesses is that it views criminals as blameless patients to be treated, rather than culpable moral agents to be held accountable. This article offers a new interpretation of the rehabilitative approach that is immune to this objection and that furnishes the moral foundation that this approach has lacked. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  45. Erich Hula: A personal tribute.Howard B. White & Jacob W. Landynski - 1971 - Social Research: An International Quarterly 38 (2):175-176.
    No categories
     
    Export citation  
     
    Bookmark  
  46.  17
    The Temporal Context Model in Spatial Navigation and Relational Learning: Toward a Common Explanation of Medial Temporal Lobe Function Across Domains.Marc W. Howard, Mrigankka S. Fotedar, Aditya V. Datey & Michael E. Hasselmo - 2005 - Psychological Review 112 (1):75-116.
  47.  82
    Constructing Semantic Representations From a Gradually Changing Representation of Temporal Context.Marc W. Howard, Karthik H. Shankar & Udaya K. K. Jagadisan - 2011 - Topics in Cognitive Science 3 (1):48-73.
    Computational models of semantic memory exploit information about co-occurrences of words in naturally occurring text to extract information about the meaning of the words that are present in the language. Such models implicitly specify a representation of temporal context. Depending on the model, words are said to have occurred in the same context if they are presented within a moving window, within the same sentence, or within the same document. The temporal context model (TCM), which specifies a particular definition of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  48.  30
    A distributed representation of internal time.Marc W. Howard, Karthik H. Shankar, William R. Aue & Amy H. Criss - 2015 - Psychological Review 122 (1):24-53.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  49.  11
    A context-based theory of recency and contiguity in free recall.Per B. Sederberg, Marc W. Howard & Michael J. Kahana - 2008 - Psychological Review 115 (4):893-912.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  50.  43
    Book Reviews Section 4.Frederic B. Mayo Jr, John Bruce Francis, John S. Burd, Wilson A. Judd, Eunice S. Matthew, William F. Pinar, Paul Erickson, Charles John Stark, Walter H. Clark Jr, Irvin David Glick, Howard D. Bruner, John Eddy, David L. Pagni, Gloria J. Abbington, Michael L. Greenbaum, Phillip C. Frey, Robert G. Owens, Royce W. van Norman, M. Bruce Haslam, Eugene Hittleman, Sally Geis, Robert H. Graham, Ogden L. Glasow, A. L. Fanta & Joseph Fashing - 1973 - Educational Studies 4 (4):198-200.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000