Works by Naoto Yonemitsu

( view other items matching `Naoto Yonemitsu`, view all matches )
12 found
Order:
  1.  60
    Scroggs Schiller Joe. Extensions of the Lewis system S5.Naoto Yonemitsu - 1951 - Journal of Symbolic Logic 16 (4):272-273.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  36
    Anderson Alan Ross. Independent axiom schemata for S5.Naoto Yonemitsu - 1957 - Journal of Symbolic Logic 22 (3):327-327.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  32
    Bergmann Gustav. The representations of S5. The. journal of symbolic logic, vol. 21 , pp. 257–260.Naoto Yonemitsu - 1960 - Journal of Symbolic Logic 25 (2):184-184.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  52
    Lemmon E. J.. New foundations for Lewis modal systems.Naoto Yonemitsu - 1958 - Journal of Symbolic Logic 23 (3):346-347.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  5.  21
    Simons Leo. New axiomatizations of S3 and S4.Naoto Yonemitsu - 1954 - Journal of Symbolic Logic 19 (4):293-294.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  6.  25
    Anderson Alan Ross. Improved decision procedures for Lewis's calculus S4 and von Wright's calculus M. [REVIEW]Naoto Yonemitsu - 1955 - Journal of Symbolic Logic 20 (3):302-303.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  7.  25
    Anderson Alan Ross. Independent axiom schemata for von Wright's M. [REVIEW]Naoto Yonemitsu - 1958 - Journal of Symbolic Logic 23 (3):346-346.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  8.  31
    Feys Robert. Les systèmes formalisés des modalités aristotéliciennes. Revue philosophique de Louvain, vol. 48 , pp. 478–509. [REVIEW]Naoto Yonemitsu - 1954 - Journal of Symbolic Logic 19 (4):292-293.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark  
  9.  49
    Leo Simons. A reduction in the number of independent axiom schemata for S4. Notre Dame journal of formal logic, vol. 3 , pp. 256–258. - Bolesław Sobociński. An axiom-system for {K; N}-propositional calculus related to Simons' axiomatization of S3.Notre Dame journal of formal logic, vol. 3 , pp. 206–208. [REVIEW]Naoto Yonemitsu - 1967 - Journal of Symbolic Logic 32 (2):245.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  10.  35
    McKinsey J. C. C.. Systems of modal logic which are not unreasonable in the sense of Halldén. [REVIEW]Naoto Yonemitsu - 1954 - Journal of Symbolic Logic 19 (1):67-68.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  11.  36
    Shaw-Kwei Moh. Modal systems with a finite number of modalities. Revised English translation of XXV 184. Scientia Sinica, vol. 7 no. 4 , pp. 388–412. [REVIEW]Naoto Yonemitsu - 1960 - Journal of Symbolic Logic 25 (2):183-184.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  57
    G. H. von Wright. A new system of modal logic. Actes du Xlième Congres International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam1953, and Editions E. Nauwelaerts, Louvain 1953, pp. 59–63. [REVIEW]Naoto Yonemitsu - 1954 - Journal of Symbolic Logic 19 (1):66-67.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark