5 found
Sort by:
  1. Tsutomu Hosoi & Isao Masuda (1993). A Study of Intermediate Propositional Logics on the Third Slice. Studia Logica 52 (1):15 - 21.
    The intermediate logics have been classified into slices (cf. Hosoi [1]), but the detailed structure of slices has been studied only for the first two slices (cf. Hosoi and Ono [2]). In order to study the structure of slices, we give a method of a finer classification of slices & n (n 3). Here we treat only the third slice as an example, but the method can be extended to other slices in an obvious way. It is proved that each (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  2. Tsutomu Hosoi & Katsumi Sasaki (1990). Finite Logics and the Simple Substitution Property. Bulletin of the Section of Logic 19 (3):74-78.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. Tsutomu Hosoi (1988). Gentzen-Type Formulation of the Prepositional Logic LQ. Studia Logica 47 (1):41 - 48.
    We give a Gentzen-type formulation GQ for the intermediate logic LQ and prove the cut-elimination theorem on it, where LQ is the propositional logic obtained from the intuitionistic propositional logic LI by adding the axioms of the form AV A.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  4. Tsutomu Hosoi (1986). Pseudo Two-Valued Evaluation Method for Intermediate Logics. Studia Logica 45 (1):3 - 8.
    An evaluation method, similar to the two-valued one for the classical logic, is introduced to give a decision procedure for some of intermediate logics. The logics treated here are obtained from some logics by adding the axiom av a.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  5. Tsutomu Hosoi (1979). Review: Takeo Sugihara, Temporal Logic. [REVIEW] Journal of Symbolic Logic 44 (4):657-657.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation