Edit Profile (opens in new tab) Komori, Yuichi Co-Author Distance Author ID: komori.yuichi Published as: Komori, Yuichi Homepage: http://komoriyuichi.web.fc2.com/ External Links: Google Scholar Documents Indexed: 31 Publications since 1975 1 Contribution as Editor Reviewing Activity: 23 Reviews Co-Authors: 8 Co-Authors with 9 Joint Publications 93 Co-Co-Authors 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 Open 22 Publications have been cited 274 times in 229 Documents Cited by ▼ Year ▼ Logics without the contraction rule. Zbl 0583.03018 Ono, Hiroakira; Komori, Yuichi 101 1985 Super-Lukasiewicz propositional logics. Zbl 0482.03007 Komori, Yuichi 55 1981 Super-Lukasiewicz implicational logics. Zbl 0363.02015 Komori, Yuichi 23 1978 The class of BCC-algebras is not a variety. Zbl 0553.03046 Komori, Yuichi 23 1984 Predicate logics without the structure rules. Zbl 0619.03009 Komori, Yuichi 13 1986 The separation theorem of the \(\aleph_0\)-valued Lukasiewicz propositional logic. Zbl 0377.02021 Komori, Yuichi 10 1978 A simplified proof of the Church-Rosser theorem. Zbl 1338.03017 Komori, Yuichi; Matsuda, Naosuke; Yamakawa, Fumika 8 2014 Completeness of two theories on ordered Abelian groups and embedding relations. Zbl 0404.03014 Komori, Yuichi 5 1980 Free algebras over all fields and pseudo-fields. Zbl 0364.08002 Komori, Yuichi 5 1976 Logics without Craig’s interpolation property. Zbl 0399.03048 Komori, Yuichi 5 1978 The finite model property of the intermediate propositional logics on finite slices. Zbl 0317.02021 Komori, Yuichi 4 1975 The variety generated by BCC-algebras is finitely based. Zbl 0516.08006 Komori, Yuichi 4 1983 Some results on the super-intuitionistic predicate logics. Zbl 0568.03013 Komori, Yuichi 4 1983 Syntactical investigations into \(BI\) logic and \(BB^ \prime I\) logic. Zbl 0813.03015 Komori, Yuichi 3 1994 A new semantics for intuitionistic predicate logic. Zbl 0615.03011 Komori, Yuichi 2 1986 The number of proofs for a BCK-formula. Zbl 0787.03012 Komori, Yuichi; Hirokawa, Sachio 2 1993 A reduction rule for Peirce formula. Zbl 0857.03004 Hirokawa, Sachio; Komori, Yuichi; Takeuti, Izumi 2 1996 A relation between strongly regular rings and pseudo-fields. Zbl 0364.08003 Komori, Yuichi 1 1977 \(\lambda \rho\)-calculus. II. Zbl 1280.03016 Komori, Yuichi 1 2013 Illative combinatory logic based on BCK-logic. Zbl 0677.03008 Komori, Yuichi 1 1989 The word problem for free BCI-algebras is decidable. Zbl 0787.06018 Kashima, Ryo; Komori, Yuichi 1 1992 On Komori algebras. Zbl 1032.06011 Komori, Yuichi 1 2001 A simplified proof of the Church-Rosser theorem. Zbl 1338.03017 Komori, Yuichi; Matsuda, Naosuke; Yamakawa, Fumika 8 2014 \(\lambda \rho\)-calculus. II. Zbl 1280.03016 Komori, Yuichi 1 2013 On Komori algebras. Zbl 1032.06011 Komori, Yuichi 1 2001 A reduction rule for Peirce formula. Zbl 0857.03004 Hirokawa, Sachio; Komori, Yuichi; Takeuti, Izumi 2 1996 Syntactical investigations into \(BI\) logic and \(BB^ \prime I\) logic. Zbl 0813.03015 Komori, Yuichi 3 1994 The number of proofs for a BCK-formula. Zbl 0787.03012 Komori, Yuichi; Hirokawa, Sachio 2 1993 The word problem for free BCI-algebras is decidable. Zbl 0787.06018 Kashima, Ryo; Komori, Yuichi 1 1992 Illative combinatory logic based on BCK-logic. Zbl 0677.03008 Komori, Yuichi 1 1989 Predicate logics without the structure rules. Zbl 0619.03009 Komori, Yuichi 13 1986 A new semantics for intuitionistic predicate logic. Zbl 0615.03011 Komori, Yuichi 2 1986 Logics without the contraction rule. Zbl 0583.03018 Ono, Hiroakira; Komori, Yuichi 101 1985 The class of BCC-algebras is not a variety. Zbl 0553.03046 Komori, Yuichi 23 1984 The variety generated by BCC-algebras is finitely based. Zbl 0516.08006 Komori, Yuichi 4 1983 Some results on the super-intuitionistic predicate logics. Zbl 0568.03013 Komori, Yuichi 4 1983 Super-Lukasiewicz propositional logics. Zbl 0482.03007 Komori, Yuichi 55 1981 Completeness of two theories on ordered Abelian groups and embedding relations. Zbl 0404.03014 Komori, Yuichi 5 1980 Super-Lukasiewicz implicational logics. Zbl 0363.02015 Komori, Yuichi 23 1978 The separation theorem of the \(\aleph_0\)-valued Lukasiewicz propositional logic. Zbl 0377.02021 Komori, Yuichi 10 1978 Logics without Craig’s interpolation property. Zbl 0399.03048 Komori, Yuichi 5 1978 A relation between strongly regular rings and pseudo-fields. Zbl 0364.08003 Komori, Yuichi 1 1977 Free algebras over all fields and pseudo-fields. Zbl 0364.08002 Komori, Yuichi 5 1976 The finite model property of the intermediate propositional logics on finite slices. Zbl 0317.02021 Komori, Yuichi 4 1975 all cited Publications top 5 cited Publications all top 5 Cited by 210 Authors 12 Ono, Hiroakira 9 Dvurečenskij, Anatolij 9 Komori, Yuichi 8 Agliano, Paolo 8 Díaz Varela, José Patricio 7 Kuznetsov, Stepan L’vovich 6 Di Nola, Antonio 6 Gispert, Joan 6 Montagna, Franco 5 Bergstra, Jan A. 5 Blok, Willem Johannes 5 Holland, Wilbur Charles jun. 5 Kamide, Norihiro 5 Torrens Torrell, Antoni 4 Castaño, Diego Nicolás 4 Došen, Kosta 4 Dudek, Wiesław Aleksander 4 Fujita, Ken-etsu 4 Halaš, Radomír 4 Haniková, Zuzana 4 Hirokawa, Sachio 4 Humberstone, Lloyd 4 Metcalfe, George 4 Raftery, James G. 4 Sano, Katsuhiko 3 Buszkowski, Wojciech 3 Dyckhoff, Roy 3 Esteva, Francesc 3 Galatos, Nikolaos 3 Hartonas, Chrysafis 3 Horčík, Rostislav 3 Kowalski, Tomasz 3 Lettieri, Ada 3 MacCaull, Wendy 3 Middelburg, Cornelis A. 3 Moraschini, Tommaso 3 Nakazawa, Koji 3 Noguera, Carles 3 Panti, Giovanni 3 van Alten, Clint J. 3 Walendziak, Andrzej 3 Zhang, Xiaohong 2 Borumand Saeid, Arsham 2 Borzooei, Rajab Ali 2 Bou, Félix 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 Jenei, Sándor 2 Jun, Young Bae 2 Kashima, Ryo 2 Lauridsen, Frederik Möllerström 2 Ledda, Antonio 2 Lenzi, Giacomo 2 Méndez, José M. 2 Mundici, Daniele 2 Nagayama, Misao 2 Nomura, Shoshin 2 Olson, Jeffrey S. 2 Paoli, Francesco 2 Ponse, Alban 2 Romano, Daniel Abraham 2 Salto, Francisco 2 Skvortsov, Dmitrij 2 Slaney, John K. 2 Spinks, Matthew 2 Suzuki, Tomoyuki 2 Tsinakis, Constantine 2 Ugolini, Sara 2 Verdú, Ventura 2 Veroff, Robert 2 Wansing, Heinrich Theodor 2 Zahiri, Omid 1 Abad, Manuel 1 Adillon, Romà J. 1 Ahadpanah, Afsaneh 1 Alizadeh, Majid 1 Alshehri, Noura Omair 1 Ansari, Moin Akhtar 1 Artamonov, Vyacheslav Aleksandrovich 1 Babusail, Rawia Saleh 1 Bakhshi, Mahmood 1 Baldi, Paolo 1 Bandaru, Ravi Kumar 1 Bawazeer, S. M. 1 Belluce, Lawrence Peter 1 Bezhanishvili, Guram 1 Bílková, Marta 1 Botur, Michal 1 Bowman, William J. 1 Brady, Ross Thomas 1 Brundha, Balasubramaniyan ...and 110 more Authors all top 5 Cited in 55 Serials 41 Studia Logica 16 Algebra Universalis 15 Fuzzy Sets and Systems 12 Soft Computing 11 The Journal of Symbolic Logic 10 Journal of Algebra 10 Journal of Philosophical Logic 9 Annals of Pure and Applied Logic 7 Theoretical Computer Science 6 The Review of Symbolic Logic 5 Archive for Mathematical Logic 4 Mathematica Slovaca 4 Notre Dame Journal of Formal Logic 4 Journal of Logic, Language and Information 3 Journal of Pure and Applied Algebra 3 Journal of Soviet Mathematics 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 Bulletin of the Section of Logic 2 International Journal of Algebra and Computation 2 Filomat 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 Moscow University Mathematics Bulletin 1 Czechoslovak Mathematical Journal 1 Quaestiones Mathematicae 1 Synthese 1 Order 1 Information and Computation 1 MSCS. Mathematical Structures in Computer Science 1 Analele Științifice ale Universității Al. I. Cuza din Iași. Serie Nouă. Matematică 1 Journal of Applied Non-Classical Logics 1 Journal of Functional Programming 1 Annals of Mathematics and Artificial Intelligence 1 Journal of Algebra and its Applications 1 Iranian Journal of Fuzzy Systems 1 Logica Universalis 1 Logical Methods in Computer Science 1 Applicable Analysis and Discrete Mathematics 1 Afrika Matematika 1 ISRN Algebra 1 Journal of Mahani Mathematical Research Center 1 Logicheskie Issledovaniya all top 5 Cited in 13 Fields 178 Mathematical logic and foundations (03-XX) 109 Order, lattices, ordered algebraic structures (06-XX) 31 General algebraic systems (08-XX) 21 Computer science (68-XX) 4 Category theory; homological algebra (18-XX) 4 Group theory and generalizations (20-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 Manifolds and cell complexes (57-XX) 1 Quantum theory (81-XX) 1 Biology and other natural sciences (92-XX) Citations by Year