-
[文献書誌] S.Hirokawa: "Principal types of BCK-lambda-terms" Theoretical Computer Science. 107. 253-276 (1993)
-
[文献書誌] Y.Komori,S.Hirokawa: "The number of proofs for a BCK-formula" Jornal of Symbolic Logic. 58. 626-628 (1993)
-
[文献書誌] S.Hirokawa: "The number of proofs for an implicational formulas" Journal of Symbolic Logic. 58. 1117- (1993)
-
[文献書誌] S.Hirokawa: "The relevance graph of a BCK-formula" Journal of Logic and Computation. 3. 269-285 (1993)
-
[文献書誌] M.Takahashi,Y.Akama S.Hirokawa: "Normal Proofs and Their Grammar" Lecture Notes in Computer Science. (発表予定).
-
[文献書誌] S.Hirokawa: "The proofs of alpha->alpha in P-W" Journal of Symbolic Logic. (発表予定).
-
[文献書誌] R.Kashima,Y.Komori: "The word problem for free BCI-algebras is decidable" Mathematica Japonica. 37. 1025-1029 (1992)
-
[文献書誌] Y.Komori: "Syntactical Investigations into BI Logic and BB'I Logic" Studia Logica. (発表予定).