7 found
Sort by:
  1. Ryo Kashima (2003). On Semilattice Relevant Logics. Mathematical Logic Quarterly 49 (4):401.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  2. Kentaro Kikuchi & Ryo Kashima (2001). Sequent Calculi for Visser's Propositional Logics. Notre Dame Journal of Formal Logic 42 (1):1-22.
    This paper introduces sequent systems for Visser's two propositional logics: Basic Propositional Logic (BPL) and Formal Propositional Logic (FPL). It is shown through semantical completeness that the cut rule is admissible in each system. The relationships with Hilbert-style axiomatizations and with other sequent formulations are discussed. The cut-elimination theorems are also demonstrated by syntactical methods.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  3. Ryo Kashima & Norihiro Kamide (1999). Substructural Implicational Logics Including the Relevant Logic E. Studia Logica 63 (2):181-212.
    We introduce several restricted versions of the structural rules in the implicational fragment of Gentzen's sequent calculus LJ. For example, we permit the applications of a structural rule only if its principal formula is an implication. We investigate cut-eliminability and theorem-equivalence among various combinations of them. The results include new cut-elimination theorems for the implicational fragments of the following logics: relevant logic E, strict implication S4, and their neighbors (e.g., E-W and S4-W); BCI-logic, BCK-logic, relevant logic R, and the intuitionistic (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  4. Ryo Kashima (1997). Contraction-Elimination for Implicational Logics. Annals of Pure and Applied Logic 84 (1):17-39.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  5. Ryo Kashima & Takeshi Yamaguchi (1997). On the Difficulty of Writing Out Formal Proofs in Arithmetic. Mathematical Logic Quarterly 43 (3):328-332.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  6. Ryo Kashima (1994). Cut-Free Sequent Calculi for Some Tense Logics. Studia Logica 53 (1):119 - 135.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  7. Ryo Kashima & Tatsuya Shimura (1994). Cut‐Elimination Theorem for the Logic of Constant Domains. Mathematical Logic Quarterly 40 (2):153-172.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation