11 found
Order:
  1.  15
    Modal Logic with Functorial Variables and a Contingent Constant.C. A. Meredith & A. N. Prior - 1965 - Notre Dame Journal of Formal Logic 6 (2):99-109.
  2.  19
    Notes on the Axiomatics of the Propositional Calculus.C. A. Meredith & A. N. Prior - 1963 - Notre Dame Journal of Formal Logic 4 (3):171-187.
  3.  19
    Equational Logic.C. A. Meredith & A. N. Prior - 1968 - Notre Dame Journal of Formal Logic 9 (3):212-226.
  4. Calculi of Pure Strict Implication.E. J. Lemon, C. A. Meredith, D. Meredith, A. N. Prior & I. Thomas - 1958 - Studia Logica 8:331-333.
    Translate
     
     
    Export citation  
     
    My bibliography   5 citations  
  5.  19
    Investigations Into Implicational S5.C. A. Meredith & A. N. Prior - 1964 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 10 (13-17):203-220.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6.  8
    Investigations Into Implicational S5.C. A. Meredith & A. N. Prior - 1964 - Mathematical Logic Quarterly 10 (13‐17):203-220.
  7.  16
    Postulates for Implicational Calculi.C. A. Meredith - 1966 - Journal of Symbolic Logic 31 (1):7-9.
  8.  4
    Postulates for Implicational Calculi.C. A. Meredith - 1966 - Journal of Symbolic Logic 31 (1):7-9.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9.  12
    Equational Postulates for the Sheffer Stroke.C. A. Meredith - 1969 - Notre Dame Journal of Formal Logic 10 (3):266-270.
  10.  10
    Terminal Functors Permissible with Syllogistic.C. A. Meredith - 1969 - Notre Dame Journal of Formal Logic 10 (3):309-312.
  11.  1
    Notes on the Axiomatics of the Propositional Calculus.C. A. Meredith & A. N. Prior - 1968 - Journal of Symbolic Logic 33 (2):306-307.
    Direct download  
     
    Export citation  
     
    My bibliography