# zbMATH — the first resource for mathematics

## Komori, Yuichi

Compute Distance To:
 Author ID: komori.yuichi Published as: Komori, Yuichi; Komori, Y.
 Documents Indexed: 34 Publications since 1975 Reviewing Activity: 23 Reviews
all top 5

#### Co-Authors

 25 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 2 Acta Mathematica Hungarica 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) 2 Harmonic analysis on Euclidean spaces (42-XX) 1 General and overarching topics; collections (00-XX) 1 Group theory and generalizations (20-XX) 1 Functional analysis (46-XX) 1 Operator theory (47-XX)

#### Citations contained in zbMATH Open

23 Publications have been cited 236 times in 196 Documents Cited by Year
Logics without the contraction rule. Zbl 0583.03018
Ono, Hiroakira; Komori, Yuichi
1985
Super-Lukasiewicz propositional logics. Zbl 0482.03007
Komori, Yuichi
1981
Super-Lukasiewicz implicational logics. Zbl 0363.02015
Komori, Yuichi
1978
The class of BCC-algebras is not a variety. Zbl 0553.03046
Komori, Yuichi
1984
Predicate logics without the structure rules. Zbl 0619.03009
Komori, Yuichi
1986
The separation theorem of the $$\aleph_0$$-valued Lukasiewicz propositional logic. Zbl 0377.02021
Komori, Yuichi
1978
Free algebras over all fields and pseudo-fields. Zbl 0364.08002
Komori, Yuichi
1976
Logics without Craig’s interpolation property. Zbl 0399.03048
Komori, Yuichi
1978
Completeness of two theories on ordered Abelian groups and embedding relations. Zbl 0404.03014
Komori, Yuichi
1980
A simplified proof of the Church-Rosser theorem. Zbl 1338.03017
Komori, Yuichi; Matsuda, Naosuke; Yamakawa, Fumika
2014
Some results on the super-intuitionistic predicate logics. Zbl 0568.03013
Komori, Yuichi
1983
The finite model property of the intermediate propositional logics on finite slices. Zbl 0317.02021
Komori, Yuichi
1975
The variety generated by BCC-algebras is finitely based. Zbl 0516.08006
Komori, Yuichi
1983
A reduction rule for Peirce formula. Zbl 0857.03004
Hirokawa, Sachio; Komori, Yuichi; Takeuti, Izumi
1996
The number of proofs for a BCK-formula. Zbl 0787.03012
Komori, Yuichi; Hirokawa, Sachio
1993
Syntactical investigations into $$BI$$ logic and $$BB^ \prime I$$ logic. Zbl 0813.03015
Komori, Yuichi
1994
A new semantics for intuitionistic predicate logic. Zbl 0615.03011
Komori, Yuichi
1986
Kashima, Ryo; Komori, Yuichi
1992
A relation between strongly regular rings and pseudo-fields. Zbl 0364.08003
Komori, Yuichi
1977
Illative combinatory logic based on BCK-logic. Zbl 0677.03008
Komori, Yuichi
1989
The atomic decomposition of molecule on discrete Hardy spaces. Zbl 1001.42012
Komori, Y.
2002
On Komori algebras. Zbl 1032.06011
Komori, Yuichi
2001
$$\lambda \rho$$-calculus. II. Zbl 1280.03016
Komori, Yuichi
2013
A simplified proof of the Church-Rosser theorem. Zbl 1338.03017
Komori, Yuichi; Matsuda, Naosuke; Yamakawa, Fumika
2014
$$\lambda \rho$$-calculus. II. Zbl 1280.03016
Komori, Yuichi
2013
The atomic decomposition of molecule on discrete Hardy spaces. Zbl 1001.42012
Komori, Y.
2002
On Komori algebras. Zbl 1032.06011
Komori, Yuichi
2001
A reduction rule for Peirce formula. Zbl 0857.03004
Hirokawa, Sachio; Komori, Yuichi; Takeuti, Izumi
1996
Syntactical investigations into $$BI$$ logic and $$BB^ \prime I$$ logic. Zbl 0813.03015
Komori, Yuichi
1994
The number of proofs for a BCK-formula. Zbl 0787.03012
Komori, Yuichi; Hirokawa, Sachio
1993
Kashima, Ryo; Komori, Yuichi
1992
Illative combinatory logic based on BCK-logic. Zbl 0677.03008
Komori, Yuichi
1989
Predicate logics without the structure rules. Zbl 0619.03009
Komori, Yuichi
1986
A new semantics for intuitionistic predicate logic. Zbl 0615.03011
Komori, Yuichi
1986
Logics without the contraction rule. Zbl 0583.03018
Ono, Hiroakira; Komori, Yuichi
1985
The class of BCC-algebras is not a variety. Zbl 0553.03046
Komori, Yuichi
1984
Some results on the super-intuitionistic predicate logics. Zbl 0568.03013
Komori, Yuichi
1983
The variety generated by BCC-algebras is finitely based. Zbl 0516.08006
Komori, Yuichi
1983
Super-Lukasiewicz propositional logics. Zbl 0482.03007
Komori, Yuichi
1981
Completeness of two theories on ordered Abelian groups and embedding relations. Zbl 0404.03014
Komori, Yuichi
1980
Super-Lukasiewicz implicational logics. Zbl 0363.02015
Komori, Yuichi
1978
The separation theorem of the $$\aleph_0$$-valued Lukasiewicz propositional logic. Zbl 0377.02021
Komori, Yuichi
1978
Logics without Craig’s interpolation property. Zbl 0399.03048
Komori, Yuichi
1978
A relation between strongly regular rings and pseudo-fields. Zbl 0364.08003
Komori, Yuichi
1977
Free algebras over all fields and pseudo-fields. Zbl 0364.08002
Komori, Yuichi
1976
The finite model property of the intermediate propositional logics on finite slices. Zbl 0317.02021
Komori, Yuichi
1975
all top 5

#### Cited by 181 Authors

 12 Ono, Hiroakira 9 Komori, Yuichi 8 Díaz Varela, José Patricio 8 Dvurečenskij, Anatolij 6 Di Nola, Antonio 6 Montagna, Franco 5 Bergstra, Jan A. 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 Dudek, Wiesław Aleksander 4 Halaš, Radomír 4 Hirokawa, Sachio 4 Humberstone, Lloyd 4 Kamide, Norihiro 4 Raftery, James G. 3 Blok, Willem Johannes 3 Dyckhoff, Roy 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 Metcalfe, George 3 Middelburg, Cornelis A. 3 Noguera, Carles 3 Panti, Giovanni 3 Sano, Katsuhiko 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 Esteva, Francesc 2 García-Cerdaña, Àngel 2 Gerla, Brunella 2 Godo, Lluís 2 Hájek, Petr 2 Haniková, Zuzana 2 Kashima, Ryo 2 Lenzi, Giacomo 2 Mundici, Daniele 2 Nagayama, Misao 2 Nakazawa, Koji 2 Nomura, Shoshin 2 Olson, Jeffrey S. 2 Ponse, Alban 2 Salto, Francisco 2 Slaney, John K. 2 Spinks, Matthew 2 Suzuki, Tomoyuki 2 Tsinakis, Constantine 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 Bawazeer, S. M. 1 Belluce, Lawrence Peter 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 1 Ferreirim, Isabel M. A. 1 Figallo Orellano, Aldo 1 Freytes, Hector ...and 81 more Authors
all top 5

#### Cited in 44 Serials

 37 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 7 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 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 Iranian Journal of Fuzzy Systems 1 Logica Universalis 1 ISRN Algebra
all top 5

#### Cited in 12 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 Manifolds and cell complexes (57-XX) 1 Biology and other natural sciences (92-XX)