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