Rchr
J-GLOBAL ID:201101086144671587   Update date: Sep. 01, 2023

Maruyama Yoshihiro

Maruyama Yoshihiro
Affiliation and department:
Papers (17):
more...
MISC (13):
  • Yoshihiro Maruyama. Categorical Logic: beyond topos theory. Suugaku Seminar (Japanese Math Magazine). 2012
  • Yoshihiro Maruyama. The Logic of Categorical Duality: two senses of abstraction, or absurdity, in category theory. Suugaku Seminar (Japanese Math Magazine). 2012
  • Y. Maruyama. Inferentialism about logic contradicts the thesis of meaning as use. manuscript
  • Yoshihiro Maruyama. Duality Theory and Categorical Universal Logic: With Emphasis on Quantum Structures. slides at QPL'13
  • Yoshihiro Maruyama. Categorical Universal Logic: Lawvere-Tierney Topology and Logical Translation. ALGI 2012
more...
Professional career (1):
  • PhD in Computer Science
Awards (1):
  • 2015 - 京都大学・総長賞
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page