If you made any changes in Pure these will be visible here soon.

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 journalArticle

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 journalArticle

Cut-elimination
Set Theory
Sequent Calculus
Linear Logic
Term