Edit Profile Komori, Yuichi Compute Distance To: Compute Author ID: komori.yuichi Published as: Komori, Y.; Komori, Yuichi Documents Indexed: 34 Publications since 1975 Reviewing Activity: 23 Reviews all top 5 Co-Authors 23 single-authored 3 Hirokawa, Sachio 3 Ono, Hiroakira 2 Kashima, Ryo 2 Matsuda, Naosuke 1 Fujita, Ken-etsu 1 Nagayama, Misao 1 Takeuti, Izumi 1 Yamakawa, Fumika all top 5 Serials 6 Studia Logica 4 Reports of the Faculty of Science 3 The Journal of Symbolic Logic 3 Mathematica Japonica 3 Nagoya Mathematical Journal 3 Bulletin of the Section of Logic 1 Journal of the Faculty of Science. Section I A 1 Proceedings of the Japan Academy. Series A 1 Reports on Mathematical Logic 1 Tsukuba Journal of Mathematics 1 Bulletin of the Section of Logic all top 5 Fields 29 Mathematical logic and foundations (03-XX) 6 General algebraic systems (08-XX) 5 Order, lattices, ordered algebraic structures (06-XX) 2 Field theory and polynomials (12-XX) 2 Associative rings and algebras (16-XX) 1 General and overarching topics; collections (00-XX) 1 Group theory and generalizations (20-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 23 Publications have been cited 237 times in 197 Documents Cited by ▼ Year ▼ Logics without the contraction rule. Zbl 0583.03018Ono, Hiroakira; Komori, Yuichi 83 1985 Super-Lukasiewicz propositional logics. Zbl 0482.03007Komori, Yuichi 49 1981 Super-Lukasiewicz implicational logics. Zbl 0363.02015Komori, Yuichi 21 1978 The class of BCC-algebras is not a variety. Zbl 0553.03046Komori, Yuichi 18 1984 Predicate logics without the structure rules. Zbl 0619.03009Komori, Yuichi 11 1986 The separation theorem of the \(\aleph_0\)-valued Lukasiewicz propositional logic. Zbl 0377.02021Komori, Yuichi 10 1978 Completeness of two theories on ordered Abelian groups and embedding relations. Zbl 0404.03014Komori, Yuichi 5 1980 Logics without Craig’s interpolation property. Zbl 0399.03048Komori, Yuichi 5 1978 Free algebras over all fields and pseudo-fields. Zbl 0364.08002Komori, Yuichi 5 1976 A simplified proof of the Church-Rosser theorem. Zbl 1338.03017Komori, Yuichi; Matsuda, Naosuke; Yamakawa, Fumika 4 2014 Some results on the super-intuitionistic predicate logics. Zbl 0568.03013Komori, Yuichi 4 1983 Set theory based on lambda calculus and BCK logic. Zbl 0671.03009Komori, Yuichi 3 1987 The variety generated by BCC-algebras is finitely based. Zbl 0516.08006Komori, Yuichi 3 1983 The finite model property of the intermediate propositional logics on finite slices. Zbl 0317.02021Komori, Yuichi 3 1975 A reduction rule for Peirce formula. Zbl 0857.03004Hirokawa, Sachio; Komori, Yuichi; Takeuti, Izumi 2 1996 Syntactical investigations into \(BI\) logic and \(BB^ \prime I\) logic. Zbl 0813.03015Komori, Yuichi 2 1994 The number of proofs for a BCK-formula. Zbl 0787.03012Komori, Yuichi; Hirokawa, Sachio 2 1993 A new semantics for intuitionistic predicate logic. Zbl 0615.03011Komori, Yuichi 2 1986 \(\lambda \rho\)-calculus. II. Zbl 1280.03016Komori, Yuichi 1 2013 The atomic decomposition of molecule on discrete Hardy spaces. Zbl 1001.42012Komori, Y. 1 2002 On Komori algebras. Zbl 1032.06011Komori, Yuichi 1 2001 Illative combinatory logic based on BCK-logic. Zbl 0677.03008Komori, Yuichi 1 1989 A relation between strongly regular rings and pseudo-fields. Zbl 0364.08003Komori, Yuichi 1 1977 A simplified proof of the Church-Rosser theorem. Zbl 1338.03017Komori, Yuichi; Matsuda, Naosuke; Yamakawa, Fumika 4 2014 \(\lambda \rho\)-calculus. II. Zbl 1280.03016Komori, Yuichi 1 2013 The atomic decomposition of molecule on discrete Hardy spaces. Zbl 1001.42012Komori, Y. 1 2002 On Komori algebras. Zbl 1032.06011Komori, Yuichi 1 2001 A reduction rule for Peirce formula. Zbl 0857.03004Hirokawa, Sachio; Komori, Yuichi; Takeuti, Izumi 2 1996 Syntactical investigations into \(BI\) logic and \(BB^ \prime I\) logic. Zbl 0813.03015Komori, Yuichi 2 1994 The number of proofs for a BCK-formula. Zbl 0787.03012Komori, Yuichi; Hirokawa, Sachio 2 1993 Illative combinatory logic based on BCK-logic. Zbl 0677.03008Komori, Yuichi 1 1989 Set theory based on lambda calculus and BCK logic. Zbl 0671.03009Komori, Yuichi 3 1987 Predicate logics without the structure rules. Zbl 0619.03009Komori, Yuichi 11 1986 A new semantics for intuitionistic predicate logic. Zbl 0615.03011Komori, Yuichi 2 1986 Logics without the contraction rule. Zbl 0583.03018Ono, Hiroakira; Komori, Yuichi 83 1985 The class of BCC-algebras is not a variety. Zbl 0553.03046Komori, Yuichi 18 1984 Some results on the super-intuitionistic predicate logics. Zbl 0568.03013Komori, Yuichi 4 1983 The variety generated by BCC-algebras is finitely based. Zbl 0516.08006Komori, Yuichi 3 1983 Super-Lukasiewicz propositional logics. Zbl 0482.03007Komori, Yuichi 49 1981 Completeness of two theories on ordered Abelian groups and embedding relations. Zbl 0404.03014Komori, Yuichi 5 1980 Super-Lukasiewicz implicational logics. Zbl 0363.02015Komori, Yuichi 21 1978 The separation theorem of the \(\aleph_0\)-valued Lukasiewicz propositional logic. Zbl 0377.02021Komori, Yuichi 10 1978 Logics without Craig’s interpolation property. Zbl 0399.03048Komori, Yuichi 5 1978 A relation between strongly regular rings and pseudo-fields. Zbl 0364.08003Komori, Yuichi 1 1977 Free algebras over all fields and pseudo-fields. Zbl 0364.08002Komori, Yuichi 5 1976 The finite model property of the intermediate propositional logics on finite slices. Zbl 0317.02021Komori, Yuichi 3 1975 all cited Publications top 5 cited Publications all top 5 Cited by 193 Authors 12 Ono, Hiroakira 9 Komori, Yuichi 8 Díaz Varela, José Patricio 7 Dvurečenskij, Anatolij 6 Di Nola, Antonio 6 Montagna, Franco 5 Bergstra, Jan A. 5 Blok, Willem Johannes 5 Dudek, Wiesław Aleksander 5 Gispert, Joan 5 Holland, Wilbur Charles jun. 5 Torrens Torrell, Antoni 4 Agliano, Paolo 4 Castaño, Diego N. 4 Došen, Kosta 4 Halaš, Radomír 4 Hirokawa, Sachio 4 Humberstone, Lloyd 4 Kamide, Norihiro 4 Raftery, James G. 3 Dyckhoff, Roy 3 Esteva, Francesc 3 Fujita, Ken-etsu 3 Galatos, Nikolaos 3 Hartonas, Chrysafis 3 Horčík, Rostislav 3 Kowalski, Tomasz Marek 3 Lettieri, Ada 3 MacCaull, Wendy 3 Middelburg, Cornelis A. 3 Noguera, Carles 3 Panti, Giovanni 3 van Alten, Clint J. 3 Zhang, Xiaohong 2 Borumand Saeid, Arsham 2 Borzooei, Rajab Ali 2 Bou, Félix 2 Buszkowski, Wojciech 2 Campercholi, Miguel A. 2 Cignoli, Roberto 2 Cimadamore, Cecilia Rossana 2 Cintula, Petr 2 Cornish, William Hugh 2 Darnel, Michael R. 2 El-Zekey, Moataz Saleh 2 García-Cerdaña, Àngel 2 Gerla, Brunella 2 Godo, Lluís 2 Hájek, Petr 2 Haniková, Zuzana 2 Jun, Young Bae 2 Kashima, Ryo 2 Lenzi, Giacomo 2 Metcalfe, George 2 Mundici, Daniele 2 Nagayama, Misao 2 Nakazawa, Koji 2 Nomura, Shoshin 2 Olson, Jeffrey S. 2 Ponse, Alban 2 Salto, Francisco 2 Sano, Katsuhiko 2 Slaney, John K. 2 Spinks, Matthew 2 Suzuki, Tomoyuki 2 Tsinakis, Constantine 2 Verdú, Ventura 2 Veroff, Robert 2 Wansing, Heinrich Theodor 1 Abad, Manuel 1 Adillon, Romà J. 1 Ahadpanah, Afsaneh 1 Alizadeh, Majid 1 Almeida, Víctor M. 1 Alshehri, Noura Omair 1 Ansari, Moin Akhtar 1 Anshakov, Oleg 1 Artamonov, Vyacheslav Aleksandrovich 1 Babusail, Rawia Saleh 1 Bakhshi, Mahmood 1 Baldi, Paolo 1 Bawazeer, S. M. 1 Belluce, Lawrence Peter 1 Betancor Perez, Jorge Juan 1 Bezhanishvili, Guram 1 Bílková, Marta 1 Botur, Michal 1 Brady, Ross Thomas 1 Buşneag, Dumitru 1 Caicedo, Xavier 1 Caramello, Olivia 1 Chagrov, Aleksandr Vasil’evich 1 Chajda, Ivan 1 Chvalovský, Karel 1 Ciabattoni, Agata 1 Cornejo, Juan Manuel 1 Darnière, Luck 1 De Queiroz, Ruy José Guerra Barretto 1 Derakhshan, Farzaneh 1 Emanovský, Petr ...and 93 more Authors all top 5 Cited in 46 Serials 35 Studia Logica 15 Algebra Universalis 13 Fuzzy Sets and Systems 12 Soft Computing 10 The Journal of Symbolic Logic 9 Journal of Algebra 9 Journal of Philosophical Logic 8 Theoretical Computer Science 7 Annals of Pure and Applied Logic 5 Archive for Mathematical Logic 5 The Review of Symbolic Logic 4 Mathematica Slovaca 4 Journal of Logic, Language and Information 3 Journal of Pure and Applied Algebra 3 Journal of Soviet Mathematics 3 Notre Dame Journal of Formal Logic 3 Mathematical Logic Quarterly (MLQ) 3 Journal of Applied Logic 2 Bulletin of the Australian Mathematical Society 2 Algebra and Logic 2 International Journal of Mathematics and Mathematical Sciences 2 Nagoya Mathematical Journal 2 Transactions of the American Mathematical Society 2 International Journal of Algebra and Computation 2 The Bulletin of Symbolic Logic 2 Logic and Logical Philosophy 2 Central European Journal of Mathematics 1 Acta Informatica 1 Communications in Algebra 1 Computers & Mathematics with Applications 1 Discrete Mathematics 1 International Journal of Theoretical Physics 1 Journal of Mathematical Analysis and Applications 1 Czechoslovak Mathematical Journal 1 Quaestiones Mathematicae 1 Synthese 1 Bulletin of the Section of Logic 1 Order 1 Information and Computation 1 Analele Ştiinţifice ale Universităţii Al. I. Cuza din Iaşi. Serie Nouă. Matematică 1 Journal of Applied Non-Classical Logics 1 Annals of Mathematics and Artificial Intelligence 1 Mediterranean Journal of Mathematics 1 Iranian Journal of Fuzzy Systems 1 Logica Universalis 1 ISRN Algebra all top 5 Cited in 13 Fields 150 Mathematical logic and foundations (03-XX) 95 Order, lattices, ordered algebraic structures (06-XX) 27 General algebraic systems (08-XX) 14 Computer science (68-XX) 5 Group theory and generalizations (20-XX) 4 Category theory; homological algebra (18-XX) 1 Commutative algebra (13-XX) 1 Associative rings and algebras (16-XX) 1 Topological groups, Lie groups (22-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Manifolds and cell complexes (57-XX) 1 Biology and other natural sciences (92-XX) Citations by Year