1. Takahito Aoto (1999). Uniqueness of Normal Proofs in Implicational Intuitionistic Logic. Journal of Logic, Language and Information 8 (2):217-242.
    A minimal theorem in a logic L is an L-theorem which is not a non-trivial substitution instance of another L-theorem. Komori (1987) raised the question whether every minimal implicational theorem in intuitionistic logic has a unique normal proof in the natural deduction system NJ. The answer has been known to be partially positive and generally negative. It is shown here that a minimal implicational theorem A in intuitionistic logic has a unique -normal proof in NJ whenever A is provable without (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  2. Takahito Aoto & Hiroyuki Shirasu (1999). On the Finite Model Property of Intuitionistic Modal Logics Over MIPC. Mathematical Logic Quarterly 45 (4):435-448.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  3. Takahito Aoto & Hiroakira Ono (1994). Non-Uniqueness of Normal Proofs for Minimal Formulas in Implication-Conjunction Fragment of BCK. Bulletin of the Section of Logic 23 (3):104-112.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation