6 found
Order:
  1.  19
    A System for Strict Implication.Masao Ohnishi & Kazuo Matsumoto - 1964 - Annals of the Japan Association for Philosophy of Science 2 (4):183-188.
  2. Sūri-ronrigaku.Kazuo Matsumoto - 1970
    No categories
     
    Export citation  
     
    Bookmark  
  3.  10
    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.
  4.  17
    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.
  5.  21
    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 (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  5
    Alternative Postulate Sets for Lewis's S5. [REVIEW]Kazuo Matsumoto - 1957 - Journal of Symbolic Logic 22 (4):380-381.
    Direct download  
     
    Export citation  
     
    Bookmark