| Publication | Date of Publication | Type |
|---|
Reduction rules for intuitionistic \(\lambda\rho\)-calculus
Studia Logica | 2015-12-07 | Paper |
A simplified proof of the Church-Rosser theorem
Studia Logica | 2014-06-19 | Paper |
\(\lambda \rho\)-calculus. II
Tsukuba Journal of Mathematics | 2014-01-31 | Paper |
scientific article; zbMATH DE number 2024608 (Why is no real title available?)
| 2004-03-18 | Paper |
scientific article; zbMATH DE number 2024631 (Why is no real title available?)
| 2002-01-01 | Paper |
A lambda proof of the P-W theorem
The Journal of Symbolic Logic | 2001-10-21 | Paper |
A reduction rule for Peirce formula
Studia Logica | 1997-03-11 | Paper |
Syntactical investigations into \(BI\) logic and \(BB^ \prime I\) logic
Studia Logica | 1994-11-10 | Paper |
The number of proofs for a BCK-formula
Journal of Symbolic Logic | 1993-10-24 | Paper |
scientific article; zbMATH DE number 149873 (Why is no real title available?)
| 1993-04-01 | Paper |
scientific article; zbMATH DE number 4121963 (Why is no real title available?)
| 1989-01-01 | Paper |
scientific article; zbMATH DE number 4108723 (Why is no real title available?)
| 1989-01-01 | Paper |
scientific article; zbMATH DE number 4097340 (Why is no real title available?)
| 1987-01-01 | Paper |
Predicate logics without the structure rules
Studia Logica | 1986-01-01 | Paper |
A new semantics for intuitionistic predicate logic
Studia Logica | 1986-01-01 | Paper |
Logics without the contraction rule
Journal of Symbolic Logic | 1985-01-01 | Paper |
scientific article; zbMATH DE number 3880692 (Why is no real title available?)
| 1984-01-01 | Paper |
scientific article; zbMATH DE number 3855074 (Why is no real title available?)
| 1983-01-01 | Paper |
scientific article; zbMATH DE number 3906478 (Why is no real title available?)
| 1983-01-01 | Paper |
scientific article; zbMATH DE number 3815727 (Why is no real title available?)
| 1983-01-01 | Paper |
scientific article; zbMATH DE number 3788583 (Why is no real title available?)
| 1982-01-01 | Paper |
Super-Łukasiewicz propositional logics
Nagoya Mathematical Journal | 1981-01-01 | Paper |
scientific article; zbMATH DE number 3799722 (Why is no real title available?)
| 1981-01-01 | Paper |
Completeness of two theories on ordered abelian groups and embedding relations
Nagoya Mathematical Journal | 1980-01-01 | Paper |
scientific article; zbMATH DE number 3821694 (Why is no real title available?)
| 1980-01-01 | Paper |
scientific article; zbMATH DE number 3587009 (Why is no real title available?)
| 1978-01-01 | Paper |
Logics without Craig's interpolation property
Proceedings of the Japan Academy. Series A | 1978-01-01 | Paper |
Super-Łukasiewicz implicational logics
Nagoya Mathematical Journal | 1978-01-01 | Paper |
scientific article; zbMATH DE number 3566908 (Why is no real title available?)
| 1977-01-01 | Paper |
scientific article; zbMATH DE number 3566907 (Why is no real title available?)
| 1976-01-01 | Paper |
scientific article; zbMATH DE number 3496104 (Why is no real title available?)
| 1975-01-01 | Paper |
