Research Output per year

## Fingerprint Dive into the research topics where Masaru Shirahata is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

- 1 Similar Profiles

Cut-elimination
Mathematics

Set Theory
Mathematics

Logic
Mathematics

First-order
Mathematics

Sequent Calculus
Mathematics

Linear Logic
Mathematics

Term
Mathematics

Axiom
Mathematics

## Research Output 1996 2006

- 10 Citations
- 2 h-Index
- 2 Article

## The Dialectica interpretation of first-order classical affine logic

Shirahata, M., 2006 Dec 16, In : Theory and Applications of Categories. 17, p. 49-79 31 p.Research output: Contribution to journal › Article

Logic

First-order

Interpretation

Contraction

Duality

## A linear conservative extension of zermelo-fraenkel set theory

Shirahata, M., 1996, In : Studia Logica. 56, 3, p. 361-392 32 p.Research output: Contribution to journal › Article

Cut-elimination

Set Theory

Sequent Calculus

Linear Logic

Term