5 found
Order:
  1.  14
    A System for Strict Implication.Masao Ohnishi & Kazuo Matsumoto - 1964 - Annals of the Japan Association for Philosophy of Science 2 (4):183-188.
  2.  9
    Maehara Shôji. Eine Darstellung der intuitionistischen Logik in der klassischen. Nagoya mathematical journal, vol. 7 , pp. 45–64. [REVIEW]Kazuo Matsumoto - 1957 - Journal of Symbolic Logic 22 (1):79-80.
  3.  8
    Lemmon E. J.. Alternative Postulate Sets for Lewis's S5.Kazuo Matsumoto - 1957 - Journal of Symbolic Logic 22 (4):380-381.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  5
    Bayart A.. Correction de la Logique Modale du Premier Et du Second Ordre S5, Logique Et Analyse, N.S. Vol. 1 , Pp. 28–45. . P. 54.)Bayart A.. Quasi-Adéquation de la Logique Modale du Second Ordre S5 Et Adéquation de la Logique Modale du Premier Ordre S5. Logique Et Analyse, N.S. Vol. 2 , Pp. 99–121. [REVIEW]Kazuo Matsumoto - 1965 - Journal of Symbolic Logic 30 (3):373-374.
  5.  4
    Review: E. J. Lemmon, Alternative Postulate Sets for Lewis's S5. [REVIEW]Kazuo Matsumoto - 1957 - Journal of Symbolic Logic 22 (4):380-381.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark