17 found
Order:
Disambiguations
David Meredith [15]D. Meredith [2]Dianne Meredith [1]
  1. Calculi of Pure Strict Implication.E. J. Lemon, C. A. Meredith, D. Meredith, A. N. Prior & I. Thomas - 1958 - Studia Logica 8:331-333.
     
    Export citation  
     
    Bookmark   12 citations  
  2.  44
    Principal type-schemes and condensed detachment.J. Roger Hindley & David Meredith - 1990 - Journal of Symbolic Logic 55 (1):90-105.
  3.  46
    In memoriam: Carew Arthur Meredith (1904--1976).David Meredith - 1977 - Notre Dame Journal of Formal Logic 18 (4):513-516.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  4.  32
    The bioregion as a communitarian micro-region (and its limitations).Dianne Meredith - 2005 - Ethics, Place and Environment 8 (1):83 – 94.
    The micro-regional focus of bioregionalism is a small unit of physical space, typically a watershed region. In bioregional discourse, natural systems become metaphors for cultural coherence. However, when we look for laws embedded in the natural world, those that are found do not then reveal themselves as principles which apply to systems of culture. Further, within most individuals, the sense of regional identity spans several scales because our past narratives and present affiliations span several localities. Humans are not immersed in (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  5.  50
    Positive logic and λ-constants.David Meredith - 1978 - Studia Logica 37 (3):269 - 285.
  6.  6
    A calculus of matrical descriptors.David Meredith - 1976 - Notre Dame Journal of Formal Logic 17 (4):517-525.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  7.  7
    Axiomatics for implication.David Meredith - 1979 - Notre Dame Journal of Formal Logic 20 (1):89-91.
  8.  16
    Combinatory and propositional logic.David Meredith - 1974 - Notre Dame Journal of Formal Logic 15 (1):156-160.
  9.  11
    On a property of certain propositional formulae.David Meredith - 1973 - Notre Dame Journal of Formal Logic 14 (1):103-106.
  10.  14
    Separating minimal, intuitionist, and classical logic.David Meredith - 1983 - Notre Dame Journal of Formal Logic 24 (4):485-490.
  11.  22
    A correction to Von Wright's decision procedure for the deontic system P.David Meredith - 1956 - Mind 65 (260):548-550.
  12.  60
    Are theree many-valued Scotan logics?David Meredith - 1978 - Bulletin of the Section of Logic 7 (1):2-3.
  13.  24
    Combinator operations.David Meredith - 1975 - Studia Logica 34 (4):367 - 385.
  14.  19
    Towards a scalable, open standards service for cross-protocol data transfers across multiple sources an sinks.David Meredith, Stephen Crouch, Gerson Galang, Ming Jiang, Nguyen Hung & Peter Turner - unknown
    Data Transfer Service (DTS) is an open-source project that is developing a document-centric message model for describing a bulk data transfer activity, with an accompanying set of loosely coupled and platform-independent components for brokering the transfer of data between a wide range of (potentially incompatible) storage resources as scheduled, fault-tolerant batch jobs. The architecture scales from small embedded deployments on a single computer to large distributed deployments through an expandable ‘worker-node pool’ controlled through message-orientated middleware. Data access and transfer efficiency (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  11
    Bar-Hillel Y.. Decision procedures for structure in natural languages. Logique et analyse , n.s. vol. 2 , pp. 19–29.Issman S.. Exposé de J. Bar-Hillel. Logique et analyse , n.s. vol. 2 , pp. 34–35. [REVIEW]David Meredith - 1959 - Journal of Symbolic Logic 24 (3):261-261.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  20
    Halldén Sören. Emotive propositions. A study of value. Almqvist & Wiksell, Stockholm 1954, 232 pp. [REVIEW]David Meredith - 1957 - Journal of Symbolic Logic 22 (2):209-210.
  17.  7
    Review: Y. Bar-Hillel, Decision Procedures for Structure in Natural Languages. [REVIEW]David Meredith - 1959 - Journal of Symbolic Logic 24 (3):261-261.