28 found
Order:
  1.  1
    Some Uses of Type Theory in the Analysis of Language.M. K. Rennie - 1974 - [Canberra, Dept. Of Philosophy, Research School of Social Sciences, Australian National University.
  2.  4
    Logic: Theory and Practice.M. K. Rennie - 1973 - Brisbane, University of Queensland Press.
  3.  10
    Models for Multiply Modal Systems.M. K. Rennie - 1970 - Mathematical Logic Quarterly 16 (2):175-186.
  4. Semantics for RK1t.M. K. Rennie - 1971 - Journal of Symbolic Logic 36 (1):97 - 107.
  5. Completeness in the logic of predicate modifiers.M. K. Rennie - 1971 - Logique Et Analyse 55:627-643.
     
    Export citation  
     
    Bookmark   2 citations  
  6. Remark on cresswell on S0. 5.M. K. Rennie - 1971 - Logique Et Analyse 14:757-758.
  7. Two mistakes about logic.M. K. Rennie - 1968 - Philosophical Quarterly 18 (73):354-355.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  8.  20
    Gerald J. Massey. The theory of truth tabular connectives, both truth functional and modal. The journal of symbolic logic, vol. 31 , pp. 593–608. - Gerald J. Massey. Binary connectives functionally complete by themselves in S5 modal logic. The journal of symbolic logic, vol. 32 , pp. 91–92. [REVIEW]M. K. Rennie - 1972 - Journal of Symbolic Logic 37 (1):183-184.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9. A correction to Mackie's natural deduction.M. K. Rennie - 1967 - Logique Et Analyse 37:207.
     
    Export citation  
     
    Bookmark  
  10. A function which Bounds truth-tabular calculations in s5.M. K. Rennie - 1968 - Logique Et Analyse 11:425.
     
    Export citation  
     
    Bookmark  
  11. RYBAK, J., and RYBAK, J.: "Map Logic and Other Extensions of Traditional Logic". [REVIEW]M. K. Rennie - 1975 - Australasian Journal of Philosophy 53:101.
     
    Export citation  
     
    Bookmark  
  12. RESSWELL, M. J.: "Logics and Languages". [REVIEW]M. K. Rennie - 1974 - Australasian Journal of Philosophy 52:277.
  13. RESCHER, Nicholas: Topics in Philosophical Logic. [REVIEW]M. K. Rennie - 1970 - Australasian Journal of Philosophy 48:153.
    No categories
     
    Export citation  
     
    Bookmark  
  14.  24
    S3(s) = S.M. K. Rennie - 1968 - Journal of Symbolic Logic 33 (3):444-445.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  20
    Massey Gerald J.. The theory of truth tabular connectives, both truth functional and modal.M. K. Rennie - 1972 - Journal of Symbolic Logic 37 (1):183-184.
  16.  10
    A Remark on the Truth-Value Stipulation for the Modal System M'.M. K. Rennie - 1974 - Journal of Symbolic Logic 39 (2):351-351.
  17.  14
    Semantics for $RK^1_t$.M. K. Rennie - 1971 - Journal of Symbolic Logic 36 (1):97-107.
  18.  47
    On Postulates for Temporal Order.M. K. Rennie - 1969 - The Monist 53 (3):457-468.
    In Prior’s [4], Appendix A §4 and §5, and Chapter IV, and more explicitly in Bull’s [2], we find sequences of tense-logical systems which place increasingly more restrictive conditions on the temporal relation “… is before …”. We give here a simple, diagrammatic account of the way in which the successive postulates for temporal order place these conditions on the temporal relation: we do not provide any essentially new semantics for these systems, nor do we prove any rigorous metatheorems. We (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  17
    On Hare's "better".M. K. Rennie - 1968 - Noûs 2 (1):75-79.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  20.  11
    $S3(s) = s3.5$.M. K. Rennie - 1968 - Journal of Symbolic Logic 33 (3):444-445.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  21.  15
    Must the propositions of arithmetic be empirical?R. D. Bradley & M. K. Rennie - 1971 - Noûs 5 (3):253-271.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  22.  7
    Review: Akira Nakamura, A Remark on the Truth-Value Stipulation for the Modal System $M$'; Akira Nakamura, On an Axiomatic System of Modal Logic; R. A. Bull, On a Paper of Akira Nakamura. [REVIEW]M. K. Rennie - 1974 - Journal of Symbolic Logic 39 (2):351-351.
  23.  22
    Can There be Random Individuals?Mr. Rescher on Random Individuals.The Rules of Natural Deduction.The Symbolising of Natural Deduction.Arbitrary Individuals and Natural Deduction.A Correction to Mackie's Natural Deduction.Nicholas Rescher, L. Goddard, J. L. Mackie, Robert Price & M. K. Rennie - 1957 - Journal of Symbolic Logic 35 (1):165-166.
  24.  7
    S3(s) = s3.5.M. K. Rennie - 1968 - Journal of Symbolic Logic 33 (3):444 - 445.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  5
    Akira Nakamura. A remark on the truth-value stipulation for the modal system M′. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 , pp. 11–14. - Akira Nakamura. On an axiomatic system of modal logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik vol. 14 , pp. 61–66. - R. A. Bull. On a paper of Akira Nakamura. Zeitschrift für mathematische Logik und Grundlagen der Mathematik vol. 15 , pp. 155–156. [REVIEW]M. K. Rennie - 1974 - Journal of Symbolic Logic 39 (2):351-351.
  26.  3
    S3 = s3.5.M. K. Rennie - 1968 - Journal of Symbolic Logic 33 (3):444-445.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  2
    SCHOCK, Rolf: Logics Without Existence Assumptions. [REVIEW]M. K. Rennie - 1969 - Australasian Journal of Philosophy 47:396.
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  8
    Theory of procedures. I. Simple conditionals.M. K. Rennie - 1969 - Notre Dame Journal of Formal Logic 10 (1):97-112.