Follow
Yuichi Komori
Yuichi Komori
Emeritus Professor of Faculty of Science, Chiba University
Verified email at math.s.chiba-u.ac.jp - Homepage
Title
Cited by
Cited by
Year
Logics without the contraction rule
H Ono, Y Komori
The Journal of Symbolic Logic 50 (1), 169-201, 1985
4401985
The class of BBC-algebras is not a variety
Y Komori
Math. Japon. 29, 391-394, 1984
1791984
Super-Lukasiewicz propositional logics
Y KOMORI
Nagoya Math. J 84, 119-133, 1981
1421981
The Variety Generated by BCC-Algebras is Finitely Based
Y Komori
521983
Predicate logics without the structure rules
Y Komori
Studia logica 45, 393-404, 1986
441986
Super-Łukasiewicz implicational logics
Y Komori
Nagoya Mathematical Journal 72, 127-133, 1978
431978
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
251987
Some results on the super-intuitionistic predicate logics
Y Komori
Reports on Mathematical Logic 15, 13-31, 1983
251983
Free algebras over all fields and pseudo-fields
Y Komori
Reports of Faculty of Science, Shizuoka University 10, 9-15, 1976
221976
Illative combinatory logic based on BCK-logic
Y Komori
Math. Japonica 34, 585-596, 1989
201989
The number of proofs for a BCK-formula
Y Komori, S Hirokawa
The Journal of symbolic logic 58 (2), 626-628, 1993
191993
A simplified proof of the Church–Rosser theorem
Y Komori, N Matsuda, F Yamakawa
Studia Logica 102, 175-183, 2014
172014
Completeness of two theories on ordered abelian groups and embedding relations
Y Komori
Nagoya Mathematical Journal 77, 33-39, 1980
171980
Logics without Craig's interpolation property
Y Komori
Proceedings of the Japan Academy 54 (2), 46-48, 1978
171978
Syntactical investigations intoBI logic andBB′I logic
Y Komori
Studia Logica 53, 397-416, 1994
161994
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
161975
A reduction rule for Peirce formula
S Hirokawa, Y Komori, I Takeuti
Studia Logica 56 (3), 419-426, 1996
71996
λρ-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
51986
The system can't perform the operation now. Try again later.
Articles 1–20