15 found
Order:
  1.  26
    Principal Type-Schemes and Condensed Detachment.J. Roger Hindley & David Meredith - 1990 - Journal of Symbolic Logic 55 (1):90-105.
  2.  28
    In Memoriam: Carew Arthur Meredith (1904--1976).David Meredith - 1977 - Notre Dame Journal of Formal Logic 18 (4):513-516.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  3.  46
    Positive Logic and Λ-Constants.David Meredith - 1978 - Studia Logica 37 (3):269 - 285.
  4.  14
    A Correction to Von Wright's Decision Procedure for the Deontic System P.David Meredith - 1956 - Mind 65 (260):548-550.
  5.  9
    Combinatory and Propositional Logic.David Meredith - 1974 - Notre Dame Journal of Formal Logic 15 (1):156-160.
  6.  5
    Axiomatics for Implication.David Meredith - 1979 - Notre Dame Journal of Formal Logic 20 (1):89-91.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  4
    A Calculus of Matrical Descriptors.David Meredith - 1976 - Notre Dame Journal of Formal Logic 17 (4):517-525.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  5
    On a Property of Certain Propositional Formulae.David Meredith - 1973 - Notre Dame Journal of Formal Logic 14 (1):103-106.
  9.  12
    Separating Minimal, Intuitionist, and Classical Logic.David Meredith - 1983 - Notre Dame Journal of Formal Logic 24 (4):485-490.
  10.  50
    Are Theree Many-Valued Scotan Logics?David Meredith - 1978 - Bulletin of the Section of Logic 7 (1):2-3.
  11.  9
    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  
  12.  16
    Combinator Operations.David Meredith - 1975 - Studia Logica 34 (4):367 - 385.
  13.  6
    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.
  14.  5
    Review: Y. Bar-Hillel, Decision Procedures for Structure in Natural Languages. [REVIEW]David Meredith - 1959 - Journal of Symbolic Logic 24 (3):261-261.
  15.  11
    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