Shuya Matsumoto

collaborators

2 papers

math.DG2026

Pseudo-Einstein Structures on Links of Isolated Singularities

Yoshinori Gongyo, Kengo Hirachi, Shuya Matsumoto +1

We study Jack Lee's conjecture that, for a compact strictly pseudoconvex CR manifold $M$ , the condition $c_{1} (T^{1, 0} M) = 0$ in $H^{2} (M, R)$ implies the existence of a pseudo-E…

math.LO2021

Hypersequent Calculi for Intermediate Predicate Logics

Takuma Imamura, Shuya Matsumoto, Shin Quawai

We report on the current status of our on-going project to develop well-behaved hypersequent calculi for intermediate predicate logics, such as the linearity axiom $\mathbf{LIN}\co…