15 found
Order:
  1.  42
    Principal type-schemes and condensed detachment.J. Roger Hindley & David Meredith - 1990 - Journal of Symbolic Logic 55 (1):90-105.
  2.  43
    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  
  3.  48
    Positive logic and λ-constants.David Meredith - 1978 - Studia Logica 37 (3):269 - 285.
  4.  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  
  5.  7
    Axiomatics for implication.David Meredith - 1979 - Notre Dame Journal of Formal Logic 20 (1):89-91.
  6.  16
    Combinatory and propositional logic.David Meredith - 1974 - Notre Dame Journal of Formal Logic 15 (1):156-160.
  7.  11
    On a property of certain propositional formulae.David Meredith - 1973 - Notre Dame Journal of Formal Logic 14 (1):103-106.
  8.  14
    Separating minimal, intuitionist, and classical logic.David Meredith - 1983 - Notre Dame Journal of Formal Logic 24 (4):485-490.
  9.  22
    A correction to Von Wright's decision procedure for the deontic system P.David Meredith - 1956 - Mind 65 (260):548-550.
  10.  60
    Are theree many-valued Scotan logics?David Meredith - 1978 - Bulletin of the Section of Logic 7 (1):2-3.
  11.  24
    Combinator operations.David Meredith - 1975 - Studia Logica 34 (4):367 - 385.
  12.  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  
  13.  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  
  14.  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.
  15.  7
    Review: Y. Bar-Hillel, Decision Procedures for Structure in Natural Languages. [REVIEW]David Meredith - 1959 - Journal of Symbolic Logic 24 (3):261-261.