Logics without the contraction rule H Ono, Y Komori The Journal of Symbolic Logic 50 (1), 169-201, 1985 | 440 | 1985 |
The class of BBC-algebras is not a variety Y Komori Math. Japon. 29, 391-394, 1984 | 179 | 1984 |
Super-Lukasiewicz propositional logics Y KOMORI Nagoya Math. J 84, 119-133, 1981 | 143 | 1981 |
The Variety Generated by BCC-Algebras is Finitely Based Y Komori | 52 | 1983 |
Predicate logics without the structure rules Y Komori Studia logica 45, 393-404, 1986 | 44 | 1986 |
Super-Łukasiewicz implicational logics Y Komori Nagoya Mathematical Journal 72, 127-133, 1978 | 43 | 1978 |
The Separation Theorem of the \aleph_0-Valued Lukasiewicz Propositional Logic Y Komori 静岡大学理学部研究報告 12, 1-5, 1978 | 30* | 1978 |
BCK algebras and lambda calculus Y Komori Proceedings of the 10th Symposium on Semigroups, 5-11, 1987 | 25 | 1987 |
Some results on the super-intuitionistic predicate logics Y Komori Reports on Mathematical Logic 15, 13-31, 1983 | 25 | 1983 |
Free algebras over all fields and pseudo-fields Y Komori Reports of Faculty of Science, Shizuoka University 10, 9-15, 1976 | 22 | 1976 |
Illative combinatory logic based on BCK-logic Y Komori Math. Japonica 34, 585-596, 1989 | 20 | 1989 |
The number of proofs for a BCK-formula Y Komori, S Hirokawa The Journal of symbolic logic 58 (2), 626-628, 1993 | 19 | 1993 |
A simplified proof of the Church–Rosser theorem Y Komori, N Matsuda, F Yamakawa Studia Logica 102, 175-183, 2014 | 17 | 2014 |
Completeness of two theories on ordered abelian groups and embedding relations Y Komori Nagoya Mathematical Journal 77, 33-39, 1980 | 17 | 1980 |
Logics without Craig's interpolation property Y Komori Proceedings of the Japan Academy 54 (2), 46-48, 1978 | 17 | 1978 |
Syntactical investigations intoBI logic andBB′I logic Y Komori Studia Logica 53, 397-416, 1994 | 16 | 1994 |
The finite model property of the intermediate propositional logics on finite slices K Yuichi, S Furuya Journal of the Faculty of Science, the University of Tokyo. Sect. 1 A …, 1975 | 16 | 1975 |
A reduction rule for Peirce formula S Hirokawa, Y Komori, I Takeuti Studia Logica 56 (3), 419-426, 1996 | 7 | 1996 |
λρ-calculus Y Komori, A Cho Proc. 40th MLG meeting 2006, 46-50, 2006 | 5* | 2006 |
A new semantics for intuitionistic predicate logic Y Komori Studia Logica 45, 9-17, 1986 | 5 | 1986 |