×

zbMATH — the first resource for mathematics

Komori, Yuichi

Compute Distance To:
Author ID: komori.yuichi Recent zbMATH articles by "Komori, Yuichi"
Published as: Komori, Yuichi; Komori, Y.
Documents Indexed: 34 Publications since 1975
Reviewing Activity: 23 Reviews

Publications by Year

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
84
1985
Super-Lukasiewicz propositional logics. Zbl 0482.03007
Komori, Yuichi
50
1981
Super-Lukasiewicz implicational logics. Zbl 0363.02015
Komori, Yuichi
21
1978
The class of BCC-algebras is not a variety. Zbl 0553.03046
Komori, Yuichi
17
1984
Predicate logics without the structure rules. Zbl 0619.03009
Komori, Yuichi
11
1986
The separation theorem of the \(\aleph_0\)-valued Lukasiewicz propositional logic. Zbl 0377.02021
Komori, Yuichi
10
1978
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
Completeness of two theories on ordered Abelian groups and embedding relations. Zbl 0404.03014
Komori, Yuichi
5
1980
A simplified proof of the Church-Rosser theorem. Zbl 1338.03017
Komori, Yuichi; Matsuda, Naosuke; Yamakawa, Fumika
4
2014
Some results on the super-intuitionistic predicate logics. Zbl 0568.03013
Komori, Yuichi
4
1983
The finite model property of the intermediate propositional logics on finite slices. Zbl 0317.02021
Komori, Yuichi
3
1975
The variety generated by BCC-algebras is finitely based. Zbl 0516.08006
Komori, Yuichi
3
1983
A reduction rule for Peirce formula. Zbl 0857.03004
Hirokawa, Sachio; Komori, Yuichi; Takeuti, Izumi
2
1996
The number of proofs for a BCK-formula. Zbl 0787.03012
Komori, Yuichi; Hirokawa, Sachio
2
1993
Syntactical investigations into \(BI\) logic and \(BB^ \prime I\) logic. Zbl 0813.03015
Komori, Yuichi
2
1994
A new semantics for intuitionistic predicate logic. Zbl 0615.03011
Komori, Yuichi
2
1986
The word problem for free BCI-algebras is decidable. Zbl 0787.06018
Kashima, Ryo; Komori, Yuichi
1
1992
A relation between strongly regular rings and pseudo-fields. Zbl 0364.08003
Komori, Yuichi
1
1977
Illative combinatory logic based on BCK-logic. Zbl 0677.03008
Komori, Yuichi
1
1989
The atomic decomposition of molecule on discrete Hardy spaces. Zbl 1001.42012
Komori, Y.
1
2002
On Komori algebras. Zbl 1032.06011
Komori, Yuichi
1
2001
\(\lambda \rho\)-calculus. II. Zbl 1280.03016
Komori, Yuichi
1
2013
A simplified proof of the Church-Rosser theorem. Zbl 1338.03017
Komori, Yuichi; Matsuda, Naosuke; Yamakawa, Fumika
4
2014
\(\lambda \rho\)-calculus. II. Zbl 1280.03016
Komori, Yuichi
1
2013
The atomic decomposition of molecule on discrete Hardy spaces. Zbl 1001.42012
Komori, Y.
1
2002
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
2
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
11
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
84
1985
The class of BCC-algebras is not a variety. Zbl 0553.03046
Komori, Yuichi
17
1984
Some results on the super-intuitionistic predicate logics. Zbl 0568.03013
Komori, Yuichi
4
1983
The variety generated by BCC-algebras is finitely based. Zbl 0516.08006
Komori, Yuichi
3
1983
Super-Lukasiewicz propositional logics. Zbl 0482.03007
Komori, Yuichi
50
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
21
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
3
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

Citations by Year