×

zbMATH — the first resource for mathematics

Komori, Yuichi

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

Publications by Year

Citations contained in zbMATH

23 Publications have been cited 237 times in 197 Documents Cited by Year
Logics without the contraction rule. Zbl 0583.03018
Ono, Hiroakira; Komori, Yuichi
83
1985
Super-Lukasiewicz propositional logics. Zbl 0482.03007
Komori, Yuichi
49
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
18
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
Completeness of two theories on ordered Abelian groups and embedding relations. Zbl 0404.03014
Komori, Yuichi
5
1980
Logics without Craig’s interpolation property. Zbl 0399.03048
Komori, Yuichi
5
1978
Free algebras over all fields and pseudo-fields. Zbl 0364.08002
Komori, Yuichi
5
1976
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
Set theory based on lambda calculus and BCK logic. Zbl 0671.03009
Komori, Yuichi
3
1987
The variety generated by BCC-algebras is finitely based. Zbl 0516.08006
Komori, Yuichi
3
1983
The finite model property of the intermediate propositional logics on finite slices. Zbl 0317.02021
Komori, Yuichi
3
1975
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
A new semantics for intuitionistic predicate logic. Zbl 0615.03011
Komori, Yuichi
2
1986
\(\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
Illative combinatory logic based on BCK-logic. Zbl 0677.03008
Komori, Yuichi
1
1989
A relation between strongly regular rings and pseudo-fields. Zbl 0364.08003
Komori, Yuichi
1
1977
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
Illative combinatory logic based on BCK-logic. Zbl 0677.03008
Komori, Yuichi
1
1989
Set theory based on lambda calculus and BCK logic. Zbl 0671.03009
Komori, Yuichi
3
1987
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
83
1985
The class of BCC-algebras is not a variety. Zbl 0553.03046
Komori, Yuichi
18
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
49
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 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

Citations by Year