Results for 'J. Dolph'

961 found
Order:
  1.  8
    The Intermediate Neutrino Program.C. Adams, Alonso Jr, A. M. Ankowski, J. A. Asaadi, J. Ashenfelter, S. N. Axani, K. Babu, C. Backhouse, H. R. Band, P. S. Barbeau, N. Barros, A. Bernstein, M. Betancourt, M. Bishai, E. Blucher, J. Bouffard, N. Bowden, S. Brice, C. Bryan, L. Camilleri, J. Cao, J. Carlson, R. E. Carr, A. Chatterjee, M. Chen, S. Chen, M. Chiu, E. D. Church, J. I. Collar, G. Collin, J. M. Conrad, M. R. Convery, R. L. Cooper, D. Cowen, H. Davoudiasl, A. De Gouvea, D. J. Dean, G. Deichert, F. Descamps, T. DeYoung, M. V. Diwan, Z. Djurcic, M. J. Dolinski, J. Dolph, B. Donnelly, S. da DwyerDytman, Y. Efremenko, L. L. Everett, A. Fava, E. Figueroa-Feliciano, B. Fleming, A. Friedland, B. K. Fujikawa, T. K. Gaisser, M. Galeazzi, D. C. Galehouse, A. Galindo-Uribarri, G. T. Garvey, S. Gautam, K. E. Gilje, M. Gonzalez-Garcia, M. C. Goodman, H. Gordon, E. Gramellini, M. P. Green, A. Guglielmi, R. W. Hackenburg, A. Hackenburg, F. Halzen, K. Han, S. Hans, D. Harris, K. M. Heeger, M. Herman, R. Hill, A. Holin, P. Huber, R. A. de JaffeJohnson, J. Joshi, G. Karagiorgi, L. J. Kaufman, B. Kayser & S. H. Kettell - unknown
    The US neutrino community gathered at the Workshop on the Intermediate Neutrino Program at Brookhaven National Laboratory February 4-6, 2015 to explore opportunities in neutrino physics over the next five to ten years. Scientists from particle, astroparticle and nuclear physics participated in the workshop. The workshop examined promising opportunities for neutrino physics in the intermediate term, including possible new small to mid-scale experiments, US contributions to large experiments, upgrades to existing experiments, R&D plans and theory. The workshop was organized into (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  20
    Donald Nute. Essential formal semantics. Rowman and Littlefield, Totowa, N.J., 1981, xiii + 186 pp. [REVIEW]Dolph Ulrich - 1986 - Journal of Symbolic Logic 51 (1):252-253.
  3.  29
    R. Harrop. Some forms of models of propositional calculi. Contributions to mathematical logic, Proceedings of the Logic Colloquium, Hannover 1966, edited by H. Arnold Schmidt, K. Schutte, and H.-J. Thiele, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1968, pp. 163–174. - Ronald Harrop. On the equivalence for non-derivability testing of finite Smiley models and finite modified Smiley models. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 17 , pp. 137–143. [REVIEW]Dolph Ulrich - 1975 - Journal of Symbolic Logic 40 (2):251.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  28
    Review: R. Harrop, H. Arnold Schmidt, K. Schutte, H.-J. Thiele, Some Forms of Models of Propositional Calculi; Ronald Harrop, On the Equivalence for Non-Derivability Testing of Finite Smiley Models and Finite Modified Smiley Models. [REVIEW]Dolph Ulrich - 1975 - Journal of Symbolic Logic 40 (2):251-251.
  5.  8
    Essential Formal Semantics.Dolph Ulrich - 1986 - Journal of Symbolic Logic 51 (1):252-253.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6. .J. G. Manning - 2018
    No categories
     
    Export citation  
     
    Bookmark   14 citations  
  7.  37
    A five-valued model of the $E$-$p$-$q$-theses.Dolph Ulrich - 1987 - Notre Dame Journal of Formal Logic 29 (1):137-138.
  8.  8
    On a modal system of R. A. Bull's.Dolph Ulrich - 1976 - Notre Dame Journal of Formal Logic 17 (3):479-480.
  9.  31
    ${\rm RMLC}$: solution to a problem left open by Lemmon.Dolph Ulrich - 1981 - Notre Dame Journal of Formal Logic 22 (2):187-189.
  10.  14
    Semantics for ${\rm S}4.1.2$.Dolph Ulrich - 1978 - Notre Dame Journal of Formal Logic 19 (3):461-464.
  11.  25
    Some results concerning finite models for sentential calculi.Dolph Ulrich - 1972 - Notre Dame Journal of Formal Logic 13 (3):363-368.
  12.  41
    Vanquishing the XCB Question: The Methodological Discovery of the Last Shortest Single Axiom for the Equivalential Calculus.Larry Wos, Dolph Ulrich & Branden Fitelson - unknown
    detail a question that, for a quarter of a century, remained open despite intense study by various researchers. Is the formula XC B = e(x e(e(e( ) e( )) z)) a single axiom for the classical equivalential calculus when the rules of inference consist..
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  25
    Mammalian chromosomes contain cis‐acting elements that control replication timing, mitotic condensation, and stability of entire chromosomes.Mathew J. Thayer - 2012 - Bioessays 34 (9):760-770.
    Recent studies indicate that mammalian chromosomes contain discretecis‐acting loci that control replication timing, mitotic condensation, and stability of entire chromosomes. Disruption of the large non‐coding RNA gene ASAR6 results in late replication, an under‐condensed appearance during mitosis, and structural instability of human chromosome 6. Similarly, disruption of the mouse Xist gene in adult somatic cells results in a late replication and instability phenotype on the X chromosome. ASAR6 shares many characteristics with Xist, including random mono‐allelic expression and asynchronous replication timing. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  14. Interpretation of the philosophical classics.Jorge J. E. Gracia - 2004 - In Jorge J. E. Gracia & Jiyuan Yu (eds.), Uses and abuses of the classics: Western interpretations of Greek philosophy. Burlington, VT: Ashgate.
    No categories
     
    Export citation  
     
    Bookmark  
  15.  48
    Africa, Asia, and the History of Philosophy: Racism in the Formation of the Philosophical Canon, 1780–1830.Peter K. J. Park - 2013 - State University of New York Press.
    A historical investigation of the exclusion of Africa and Asia from modern histories of philosophy.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  16. On the Einstein Podolsky Rosen paradox.J. S. Bell - 1987 - In John Stewart Bell (ed.), Speakable and unspeakable in quantum mechanics: collected papers on quantum philosophy. New York: Cambridge University Press. pp. 14--21.
  17. Special sciences (or: The disunity of science as a working hypothesis).J. A. Fodor - 1974 - Synthese 28 (2):97-115.
  18.  12
    Strict Implication in A Sequence of Extensions of S4.Dolph Ulrich - 1981 - Mathematical Logic Quarterly 27 (13‐14):201-212.
  19.  22
    Strict Implication in A Sequence of Extensions of S4.Dolph Ulrich - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (13-14):201-212.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  20.  19
    A Descending Chain of Incomplete Extensions of Implicational S 5.Dolph Ulrich - 1985 - Mathematical Logic Quarterly 31 (13):201-208.
  21.  26
    A Descending Chain of Incomplete Extensions of Implicational S 5.Dolph Ulrich - 1985 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (13):201-208.
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  29
    A single axiom for relevant implication.Dolph Ulrich - 2012 - Bulletin of the Section of Logic 41 (1/2):13-16.
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  32
    Answer to a question suggested by Schumm.Dolph Ulrich - 1984 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (25):385-387.
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  13
    Answer to a question raised by Harrop.Dolph Ulrich - 1982 - Bulletin of the Section of Logic 11 (3/4):140-141.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  25. Answer To A Question Suggested By Schumm.Dolph Ulrich - 1984 - Mathematical Logic Quarterly 30 (25):385-387.
    No categories
     
    Export citation  
     
    Bookmark  
  26.  24
    D-complete axioms for the classical equivalential calculus.Dolph Ulrich - 2005 - Bulletin of the Section of Logic 34 (3):135-142.
  27.  9
    Erratum: ``Some results concerning finite models for sentential calculi''.Dolph Ulrich - 1974 - Notre Dame Journal of Formal Logic 15 (4):648-648.
  28.  18
    Generalization of a Result of Pahi's.Dolph Ulrich - 1976 - Mathematical Logic Quarterly 22 (1):437-438.
  29.  21
    Generalization of a Result of Pahi's.Dolph Ulrich - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):437-438.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  30.  23
    Models of three-valued calculi in implicational s5.Dolph Ulrich - 1983 - Bulletin of the Section of Logic 12 (2):73-75.
    Direct download  
     
    Export citation  
     
    Bookmark  
  31.  9
    On a Property of Matrices for Subsystems of IC+.Dolph Ulrich - 1976 - Mathematical Logic Quarterly 22 (1):193-194.
    Direct download  
     
    Export citation  
     
    Bookmark  
  32.  28
    On a Property of Matrices for Subsystems of IC+.Dolph Ulrich - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):193-194.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  15
    On the incompleteness of a descending chain of extensions of implicational s5.Dolph Ulrich - 1992 - Mathematical Logic Quarterly 38 (1):321-323.
    C5.ω is obtained by adding, schematically, to the strict-implicational fragment C5 of S5 the axiom → ) → . This paper presents a fully general proof that neither C5.ω nor any of a descending chain of its extensions is complete with respect to any class of frames, correcting the garbled details of a version skeched in an earlier paper , 201-208).
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  16
    On the independence of B from I, C, W, K 1′, and Karpenko's formula X.Dolph Ulrich - 1994 - Bulletin of the Section of Logic 23:96-97.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  27
    On the incompleteness of a descending chain of extensions of implicational s5.Dolph Ulrich - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):321-323.
  36.  28
    On two open questions concerning the implicational fragment of r-Mingle.Dolph Ulrich - 2009 - Bulletin of the Section of Logic 38 (1/2):1-4.
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  4
    Semantics for S4.1.2.Dolph Ulrich - 1978 - Notre Dame Journal of Formal Logic 19:461.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  49
    The finite model property and recursive Bounds on the size of countermodels.Dolph Ulrich - 1983 - Journal of Philosophical Logic 12 (4):477 - 480.
  39.  41
    The shortest possible length of the longest implicational axiom.Dolph Ulrich - 1996 - Journal of Philosophical Logic 25 (1):101 - 108.
    A four-valued matrix is presented which validates all theorems of the implicational fragment, IF, of the classical sentential calculus in which at most two distinct sentence letters occur. The Wajsberg/Diamond-McKinsley Theorem for IF follows as a corollary: every complete set of axioms (with substitution and detachment as rules) must include at least one containing occurrences of three or more distinct sentence letters. Additionally, the matrix validates all IF theses built from nine or fewer occurrences of connectives and letters. So the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  40.  4
    Timothy Smiley. The independence of connectives. The journal of symbolic logic, vol. 27 no. 4 , pp. 426–436.Dolph Ulrich - 1975 - Journal of Symbolic Logic 40 (2):250-251.
  41. On the Problem of Hidden Variables in Quantum Mechanics.J. S. Bell - 1987 - In John Stewart Bell (ed.), Speakable and unspeakable in quantum mechanics: collected papers on quantum philosophy. New York: Cambridge University Press. pp. 1--13.
  42. The Secret of Our Success: How Culture Is Driving Human Evolution, Domesticating Our Species, and Making Us Smarter.J. Henrich - unknown
     
    Export citation  
     
    Bookmark   185 citations  
  43. La Nouvelle Cuisine.J. S. Bell - 1987 - In John Stewart Bell (ed.), Speakable and unspeakable in quantum mechanics: collected papers on quantum philosophy. New York: Cambridge University Press. pp. 232--248.
     
    Export citation  
     
    Bookmark   120 citations  
  44.  22
    The key to cultural innovation lies in the group dynamic rather than in the individual mind.Sonia Ragir & Patricia J. Brooks - 2012 - Behavioral and Brain Sciences 35 (4):237-238.
    Vaesen infers unique properties of mind from the appearance of specific cultural innovation – a correlation without causal direction. Shifts in habitat, population density, and group dynamics are the only independently verifiable incentives for changes in cultural practices. The transition from Acheulean to Late Stone Age technologies requires that we consider how population and social dynamics affect cultural innovation and mental function.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  45. Against ”Measurement'.J. S. Bell - 1987 - In John Stewart Bell (ed.), Speakable and unspeakable in quantum mechanics: collected papers on quantum philosophy. New York: Cambridge University Press. pp. 213--231.
  46.  14
    The Science of Knowing: J. G. Fichte's 1804 Lectures on the Wissenschaftslehre.J. G. Fichte & Walter E. Wright (eds.) - 2005 - State University of New York Press.
    The first English translation of Fichte’s second set of 1804 lectures on the Wissenschaftslehre.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  47. The Realm of Rights.J. J. Thomson - 1990 - Philosophy 66 (258):538-540.
    No categories
     
    Export citation  
     
    Bookmark   170 citations  
  48. The works of Aristotle.J. A. Aristotle, W. D. Smith, John I. Ross, G. R. T. Beare & Harold H. Ross - 1978 - Franklin Center, Pa.: Franklin Library. Edited by W. D. Ross.
    v. 1. Nicomachean ethics. Politics. The Athenian Constitution. Rhetoric. On Poetics.--v. 2. Logic.--v. 3. Physics. Metaphysics. On the soul. Short physical treaties.--v. 4. On the heavens. On generation and corruption. Meteorology. Biological treatises.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   40 citations  
  49.  41
    The representation of egocentric space in the posterior parietal cortex.J. F. Stein - 1992 - Behavioral and Brain Sciences 15 (4):691-700.
    The posterior parietal cortex (PPC) is the most likely site where egocentric spatial relationships are represented in the brain. PPC cells receive visual, auditory, somaesthetic, and vestibular sensory inputs; oculomotor, head, limb, and body motor signals; and strong motivational projections from the limbic system. Their discharge increases not only when an animal moves towards a sensory target, but also when it directs its attention to it. PPC lesions have the opposite effect: sensory inattention and neglect. The PPC does not seem (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   87 citations  
  50.  49
    Orthoimplication algebras.J. C. Abbott - 1976 - Studia Logica 35 (2):173 - 177.
    Orthologic is defined by weakening the axioms and rules of inference of the classical propositional calculus. The resulting Lindenbaum-Tarski quotient algebra is an orthoimplication algebra which generalizes the author's implication algebra. The associated order structure is a semi-orthomodular lattice. The theory of orthomodular lattices is obtained by adjoining a falsity symbol to the underlying orthologic or a least element to the orthoimplication algebra.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
1 — 50 / 961