5 found
Order:
  1.  29
    A cut-free Gentzen-type system for the modal logic S.Masahiko Sato - 1980 - Journal of Symbolic Logic 45 (1):67-84.
  2.  8
    証明支援系と型理論.Masahiko Sato - 2021 - Kagaku Tetsugaku 53 (2):3-23.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  6
    Design of Interactive Exhibitsインタラクティブな展示の設計.Takashi Kiriyama & Masahiko Sato - 2019 - Journal of the Japan Association for Philosophy of Science 46 (2):65-70.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  13
    Kyoto Ceramics.Donald F. McCallum, Masahiko Sato, Anne Ono Towle & Usher P. Coolidge - 1975 - Journal of the American Oriental Society 95 (3):516.
  5.  10
    The Present Significance of Frege’s Philosophy.Masahiko Sato - 2016 - Kagaku Tetsugaku 49 (1):67-84.
    "The Full Picture of Frege’s Philosophy" (Keiso Shobo, 2012) by Kazuyuki Nomoto gives a detailed account of Gottlob Frege’s life devoted to a failed attempt to develop mathematics formally and entirely from scratch based upon his logicism and his semantical understanding of mathematical entities. In the present paper, I review the book and recommend it as a challenging and inspiring book to anyone who wishes to understand the modern meaning of Frege’s philosophy.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark