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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Yuichi Komori