Person:1089329

Available identifiers

zbMath Open komori.yuichiMaRDI QIDQ1089329

List of research outcomes

Publication	Date of Publication	Type
Reduction rules for intuitionistic \(\lambda\rho\)-calculus	2015-12-07	Paper
A simplified proof of the Church-Rosser theorem	2014-06-19	Paper
\(\lambda \rho\)-calculus. II	2014-01-31	Paper
https://portal.mardi4nfdi.de/entity/Q4443182	2004-03-18	Paper
https://portal.mardi4nfdi.de/entity/Q4443208	2002-01-01	Paper
A lambda proof of the P-W theorem	2001-10-21	Paper
A reduction rule for Peirce formula	1997-03-11	Paper
Syntactical investigations into \(BI\) logic and \(BB^ \prime I\) logic	1994-11-10	Paper
The number of proofs for a BCK-formula	1993-10-24	Paper
https://portal.mardi4nfdi.de/entity/Q4032538	1993-04-01	Paper
https://portal.mardi4nfdi.de/entity/Q3832538	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4735169	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3824391	1987-01-01	Paper
Predicate logics without the structure rules	1986-01-01	Paper
A new semantics for intuitionistic predicate logic	1986-01-01	Paper
Logics without the contraction rule	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3346317	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3323928	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3663366	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3684108	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3966106	1982-01-01	Paper
Super-Łukasiewicz propositional logics	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4744320	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3669379	1980-01-01	Paper
Completeness of two theories on ordered abelian groups and embedding relations	1980-01-01	Paper
Logics without Craig's interpolation property	1978-01-01	Paper
Super-Łukasiewicz implicational logics	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4156761	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4138783	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4138782	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4077985	1975-01-01	Paper

Research outcomes over time

This page was built for person: Yuichi Komori