6 found
Order:
  1.  20
    A Propositional Fragment of Leśniewski's Ontology.Arata Ishimoto - 1977 - Studia Logica 36 (4):285-299.
  2.  32
    A Propositional Fragment of Leśniewski's Ontology and its Formulation by the Tableau Method.Mitsunori Kobayashi & Arata Ishimoto - 1982 - Studia Logica 41 (2-3):181 - 195.
    The propositional fragment L 1 of Leniewski's ontology is the smallest class (of formulas) containing besides all the instances of tautology the formulas of the forms: (a, b) (a, a), (a, b) (b,). (a, c) and (a, b) (b, c). (b, a) being closed under detachment. The purpose of this paper is to furnish another more constructive proof than that given earlier by one of us for: Theorem A is provable in L 1 iff TA is a thesis of first-order (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  15
    A Bi-Modal Characterization of Epistemic Logic.Arata Ishimoto - 1978 - Annals of the Japan Association for Philosophy of Science 5 (3):135-155.
  4.  17
    The Construction of a Subcalculus of Lewis' S1 and a Solution of its Decision Problem.Arata Ishimoto & Yoshimi Fujikawa - 1968 - Kagaku Tetsugaku 1:9-22.
  5.  10
    The Construction of Bi-Modal Systems.Arata Ishimoto & Yoshimi Fujikawa - 1969 - Kagaku Tetsugaku 2:5-17.
  6.  9
    Problems of Modal Logic.Arata Ishimoto & Seizi Uyeda - 1956 - Journal of Symbolic Logic 21 (4):378-378.