Order:
Disambiguations
Takahito Aoto [3]T. Aoto [1]
  1.  17
    Non-Uniqueness of Normal Proofs for Minimal Formulas in Implication-Conjunction Fragment of BCK.Takahito Aoto & Hiroakira Ono - 1994 - Bulletin of the Section of Logic 23 (3):104-112.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  2.  33
    Uniqueness of Normal Proofs in Implicational Intuitionistic Logic.Takahito Aoto - 1999 - 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)  
     
    Export citation  
     
    My bibliography   1 citation  
  3.  13
    Index of Authors of Volume 8.B. Aldag, G. Antoniou, T. Aoto, P. Blackburn, K. Britz, M. Brown, A. Bundy, R. Cox, M. De Rijke & S. Demri - 1999 - Journal of Logic, Language, and Information 8 (485):485.
  4.  9
    On the Finite Model Property of Intuitionistic Modal Logics Over MIPC.Takahito Aoto & Hiroyuki Shirasu - 1999 - Mathematical Logic Quarterly 45 (4):435-448.
    MIPC is a well-known intuitionistic modal logic of Prior and Bull . It is shown that every normal intuitionistic modal logic L over MIPC has the finite model property whenever L is Kripke-complete and universal.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography