List of Komori's Papers

  1. Reduction Rules for Intuitionistic \lambda\rho-calculus ; Ken-etsu Fujita, Ryo Kashima, Yuichi Komori, Naosuke Matsuda
    Studia Logica, (2015) 103: 1225-1244, DOI: 10.1007/s11225-015-9616-1

  2. A Simplified Proof of the Church-Rosser Theorem ; Yuichi Komori, Naosuke Matsuda, Fumika Yamakawa
    Studia Logica (2014) 102: 175-183, DOI: 10.1007/s11225-013-9470-y

  3. \lambda\rho-calculus II [pdf] ; Yuichi Komori
    TSUKUBA J. MATH., Vol. 37 No. 2 (2013), 307-320

  4. \lambda\rho-calculus [pdf] ; Yuichi Komori, Arato Cho
    Proc. 40th MLG meeting 2006, 46-50

  5. Independent Axiom Systems of Minimal formulas for Classical Logic [pdf] ; Yuichi Komori
    Proceedings of the 39th MLG meeting at Gamagori, Japan 2005, 56-58

  6. \lambda\rho-Calculus: A Natural Deduction for Classical Logic [pdf] ; Yuichi Komori
    Bulletin of the Section of Logic, vol. 31 no. 2, 2002, 65-70

  7. On Komori algebras [pdf] ; Yuichi Komori
    Bulletin of the Section of Logic, vol. 30 no 2, 2001, 67-70

  8. A Lambda Proof of the P-W Theorem [pdf] ; Sachio Hirokawa, Yuichi Komori, Misao Nagayama
    The Journal of Symbolic Logic, Vol. 65, No. 4. (Dec., 2000), pp. 1841-1849

  9. Case calculus for classical logic [pdf] ; K Baba, S Hirokawa, R Kashima, Y Komori, I Takeuti
    DOI-TR-178(Technical Report) August 18, 2000

  10. A reduction rule for Peirce formula [pdf] ; Sachio Hirokawa, Yuichi Komori, Izumi Takeuti
    Studia Logica, 56, 1996, 419-426

  11. Syntactical investigations intoBI logic and BB'I logic [pdf] ; Yuichi Komori
    Studia Logica, 53, 397-416, 1994

  12. A reduction rule for Peirce's formula makes all the terms with the same type equal [pdf] ; Sachio Hirokawa, Yuichi Komori, Izumi Takeuti
    RIFIS Technical Report, 91, 1-4

  13. The number of proofs for a BCK-formula [pdf] ; Yuichi Komori, Sachio Hirokawa
    The Journal of symbolic logic, Vol. 58, No. 2, June 1993, 626-628

  14. The word problem for free BCI-algebras is decidable [pdf] ; Ryo Kashima, Yuichi Komori
    Math. Japon. 37 (1992), no. 6, 1025-1029

  15. \lambda-CALCULUS WITH SIMULTANEOUS SUBSTITUTION AS A PRIMITIVE SYMBOL [pdf] ; Yuichi Komori
    Proceedings of the 13th Symposium on Semigroups, 1990, 20-26

  16. Illative combinatory logic based on BCK-logic [pdf] ; Yuichi Komori
    Mathematica Japonica, vol. 34 no. 4, 1989, 585-596

  17. LOGIC BASED ON COMBINATORS [pdf] ; Yuichi Komori
    Bulletin of the Section of Logic, Volume 18/3 (1989), pp. 100-104

  18. BCK-algebras and lambda calculus [pdf] ; Yuichi Komori
    Proceedings of the 10th Symposium on Semigroups, 1987, 5-11

  19. Predicate logics without the structure rules [pdf] ; Yuichi Komori
    Studia Logica, Springer Vol. 45, No. 4, December 1986, 393-404

  20. A new semantics for intuitionistic predicate logic [pdf] ; Yuichi Komori
    Studia Logica, Springer Vol. 45, No. 1, March 1986, 9-17

  21. Predicate Logics without the Structure Rules [pdf] ; Yuichi Komori
    Proceedings of the 9th Symposium on Semigroups and Related Topics, 1986, 76-78

  22. Logics Without the Contraction Rule [pdf] ; Hiroakira Ono, Yuichi Komori
    The Journal of Symbolic Logic, Vol. 50, No. 1, Mar 1985, pp. 169-201

  23. The class of BCC-algebras is not a variety [pdf] ; Yuichi Komori
    Math. Japon, vol. 29 no. 3, 1984, 391-394

  24. Weak logics and their models [pdf] ; Yuichi Komori
    Proceedings of the 7th Symposium on Semigroups, 1984, 29-30

  25. The variety generated by BCC-algebras is finitely based [pdf] ; Yuichi Komori
    Rep. Fac. Sci., Shizuoka Univ, vol. 17, 1983, 13-16

  26. Some results on the super-intuitionistic predicate logics [pdf] ; Yuichi Komori
    Reports on Mathematical Logic, 15, 1983, 13-31

  27. Super-Lukasiewicz propositional logics [pdf] ; Yuichi Komori
    Nagoya Mathematical Journal, 1981, Volume 84, 119-133

  28. Completeness of two theories on ordered abelian groups and embedding relations [pdf] ; Yuichi Komori
    Nagoya Mathematical Journal, 1980 Volume 77, 33-39

  29. Super-Lukasiewicz implicational logics [pdf] ; Yuichi Komori
    Nagoya Math. Journal 1978 Volume 72, 127-133

  30. The Separation Theorem of the \aleph_0-Valued Lukasiewicz Propositional Logic [pdf] ; Yuichi Komori
    Rep. Fac. Sci., Shizuoka Univ, vol. 12, 1978, 1-5

  31. Logics without Craig's interpolation property [pdf] ; Yuichi Komori
    Proceedings of the Japan Academy, vol. 54, Series A, no. 2 (1978) 46-48

  32. A relation between strongly regular rings and pseudo-fields [pdf] ; Yuichi Komori
    Rep. Fac. Sci., Shizuoka Univ, vol. 11, 1976, 23-24

  33. Free algebras over all fields and pseudo-fields [pdf] ; Yuichi Komori
    Rep. Fac. Sci., Shizuoka Univ, vol. 10, 1975, 9-15

  34. The finite model property of the intermediate propositional logics on finite slices [pdf] ; Yuichi Komori
    J. Fac. Sci., Univ. Tokyo. Sect. 1 A Math. 22(1975), No.2, 117-120

Created: August 08, 2011
Updated: October 20, 2015
Updated: November 24, 2015

inserted by FC2 system