7 found
Sort by:
  1. C. A. Meredith (1969). Equational Postulates for the Sheffer Stroke. Notre Dame Journal of Formal Logic 10 (3):266-270.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. C. A. Meredith (1969). Terminal Functors Permissible with Syllogistic. Notre Dame Journal of Formal Logic 10 (3):309-312.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  3. C. A. Meredith & A. N. Prior (1968). Equational Logic. Notre Dame Journal of Formal Logic 9 (3):212-226.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4. C. A. Meredith (1966). Postulates for Implicational Calculi. Journal of Symbolic Logic 31 (1):7-9.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  5. 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.
  6. C. A. Meredith & A. N. Prior (1964). Investigations Into Implicational S5. Mathematical Logic Quarterly 10 (13‐17):203-220.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  7. 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)  
     
    My bibliography  
     
    Export citation