8 found
Order:
  1.  41
    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.  4
    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  
  4.  4
    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  
  5.  4
    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  
  6.  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  
  7. 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  
  8. 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