8 found
Order:
  1.  32
    Robert E. Kirk (1981). A Negation-Free Version of the Berry Paradox. Analysis 41 (4):223 - 224.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  2.  4
    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)  
     
    Export citation  
     
    My bibliography   6 citations  
  3.  2
    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.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  4. Robert E. Kirk (1981). A Complete Semantics for Implicational Logics. Mathematical Logic Quarterly 27 (23‐24):381-383.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  5. Robert E. Kirk (1980). A Characterization of the Classes of Finite Tree Frames Which Are Adequate for the Intuitionistic Logic. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 26 (32-33):497-501.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6. Robert E. Kirk (1981). A Complete Semantics for Implicational Logics. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (23-24):381-383.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  7. Robert E. Kirk (1979). Some Classes of Kripke Frames Characteristic for the Intuitionistic Logic. Mathematical Logic Quarterly 25 (25‐29):409-410.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  8. Robert E. Kirk (1979). Some Classes of Kripke Frames Characteristic for the Intuitionistic Logic. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (25-29):409-410.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography