List of Komori's Papers
- 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
- 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
- \lambda\rho-calculus II [pdf]
; Yuichi Komori
TSUKUBA J. MATH., Vol. 37 No. 2 (2013), 307-320
- \lambda\rho-calculus [pdf]
; Yuichi Komori, Arato Cho
Proc. 40th MLG meeting 2006, 46-50
- Independent Axiom Systems of Minimal formulas for Classical Logic [pdf]
; Yuichi Komori
Proceedings of the 39th MLG meeting at Gamagori, Japan 2005, 56-58
- \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
- On Komori algebras [pdf]
; Yuichi Komori
Bulletin of the Section of Logic, vol. 30 no 2, 2001, 67-70
- 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
- Case calculus for classical logic [pdf]
; K Baba, S Hirokawa, R Kashima, Y Komori, I Takeuti
DOI-TR-178(Technical Report) August 18, 2000
- A reduction rule for Peirce formula [pdf]
; Sachio Hirokawa, Yuichi Komori, Izumi Takeuti
Studia Logica, 56, 1996, 419-426
- Syntactical investigations intoBI logic and BB'I logic [pdf]
; Yuichi Komori
Studia Logica, 53, 397-416, 1994
- 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
- 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
- The word problem for free BCI-algebras is decidable [pdf]
; Ryo Kashima, Yuichi Komori
Math. Japon. 37 (1992), no. 6, 1025-1029
- \lambda-CALCULUS WITH SIMULTANEOUS SUBSTITUTION AS A PRIMITIVE SYMBOL [pdf]
; Yuichi Komori
Proceedings of the 13th Symposium on Semigroups, 1990, 20-26
- Illative combinatory logic based on BCK-logic [pdf]
; Yuichi Komori
Mathematica Japonica, vol. 34 no. 4, 1989, 585-596
- LOGIC BASED ON COMBINATORS [pdf]
; Yuichi Komori
Bulletin of the Section of Logic, Volume 18/3 (1989), pp. 100-104
- BCK-algebras and lambda calculus [pdf]
; Yuichi Komori
Proceedings of the 10th Symposium on Semigroups, 1987, 5-11
- Predicate logics without the structure rules [pdf]
; Yuichi Komori
Studia Logica, Springer Vol. 45, No. 4, December 1986, 393-404
- A new semantics for intuitionistic predicate logic [pdf]
; Yuichi Komori
Studia Logica, Springer Vol. 45, No. 1, March 1986, 9-17
- Predicate Logics without the Structure Rules [pdf]
; Yuichi Komori
Proceedings of the 9th Symposium on Semigroups and Related Topics, 1986, 76-78
- Logics Without the Contraction Rule [pdf]
; Hiroakira Ono, Yuichi Komori
The Journal of Symbolic Logic, Vol. 50, No. 1, Mar 1985, pp. 169-201
- The class of BCC-algebras is not a variety [pdf]
; Yuichi Komori
Math. Japon, vol. 29 no. 3, 1984, 391-394
- Weak logics and their models [pdf]
; Yuichi Komori
Proceedings of the 7th Symposium on Semigroups, 1984, 29-30
- The variety generated by BCC-algebras is finitely based [pdf]
; Yuichi Komori
Rep. Fac. Sci., Shizuoka Univ, vol. 17, 1983, 13-16
- Some results on the super-intuitionistic predicate logics [pdf]
; Yuichi Komori
Reports on Mathematical Logic, 15, 1983, 13-31
- Super-Lukasiewicz propositional logics [pdf]
; Yuichi Komori
Nagoya Mathematical Journal, 1981, Volume 84, 119-133
- Completeness of two theories on ordered abelian groups and embedding relations [pdf]
; Yuichi Komori
Nagoya Mathematical Journal, 1980 Volume 77, 33-39
- Super-Lukasiewicz implicational logics [pdf]
; Yuichi Komori
Nagoya Math. Journal 1978 Volume 72, 127-133
- The Separation Theorem of the \aleph_0-Valued Lukasiewicz Propositional Logic [pdf]
; Yuichi Komori
Rep. Fac. Sci., Shizuoka Univ, vol. 12, 1978, 1-5
- Logics without Craig's interpolation property [pdf]
; Yuichi Komori
Proceedings of the Japan Academy, vol. 54, Series A, no. 2 (1978) 46-48
- A relation between strongly regular rings and pseudo-fields [pdf]
; Yuichi Komori
Rep. Fac. Sci., Shizuoka Univ, vol. 11, 1976, 23-24
- Free algebras over all fields and pseudo-fields [pdf]
; Yuichi Komori
Rep. Fac. Sci., Shizuoka Univ, vol. 10, 1975, 9-15
- 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