5 found
Sort by:
  1. Robert E. Kirk (1982). A Result on Propositional Logics Having the Disjunction Property. Notre Dame Journal of Formal Logic 23 (1):71-74.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  2. Robert E. Kirk (1981). A Complete Semantics for Implicational Logics. Mathematical Logic Quarterly 27 (23‐24):381-383.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. Robert E. Kirk (1981). A Negation-Free Version of the Berry Paradox. Analysis 41 (4):223 - 224.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  4. Robert E. Kirk (1980). A Characterization of the Classes of Finite Tree Frames Which Are Adequate for the Intuitionistic Logic. Mathematical Logic Quarterly 26 (32‐33):497-501.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  5. Robert E. Kirk (1979). Some Classes of Kripke Frames Characteristic for the Intuitionistic Logic. Mathematical Logic Quarterly 25 (25‐29):409-410.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation