Works by Toshio Umezawa

( view other items matching `Toshio Umezawa`, view all matches )
8 found
Order:
  1.  41
    On logics intermediate between intuitionistic and classical predicate logic.Toshio Umezawa - 1959 - Journal of Symbolic Logic 24 (2):141-153.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  2.  22
    On intermediate propositional logics.Toshio Umezawa - 1959 - Journal of Symbolic Logic 24 (1):20-36.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  3. Kigō ronri.Toshio Umezawa - 1970
    No categories
     
    Export citation  
     
    Bookmark  
  4.  9
    Selected Works of Giuseppe PeanoHubert C. Kennedy.Toshio Umezawa - 1975 - Isis 66 (1):144-144.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  19
    Hanazawa M.. A characterization of axiom schema playing the rôle of tertium non datur ir intuitionistic logic. Proceedings of the Japan Academy, vol. 42 , pp. 1007–1010. [REVIEW]Toshio Umezawa - 1969 - Journal of Symbolic Logic 33 (4):607-608.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  9
    Review: A. S. Troelstra, On Intermediate Propositional Logics. [REVIEW]Toshio Umezawa - 1968 - Journal of Symbolic Logic 33 (4):607-607.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  11
    Review: M. Hanazaw, A Characterization of Axiom Schema Playing the Role of Tertium non Datur ir Intuitionistic Logic. [REVIEW]Toshio Umezawa - 1968 - Journal of Symbolic Logic 33 (4):607-608.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  3
    Troelstra A. S.. On intermediate propositional logics. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 68 , pp. 141–152; also Indagationes mathematicae, vol. 27 , pp. 141–152. [REVIEW]Toshio Umezawa - 1969 - Journal of Symbolic Logic 33 (4):607-607.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark