List of Principal Papers
-
Masahiro Hamano and Ryo Takemura,
"An Indexed System for Multiplicative Additive Polarized Linear Logic"
,
Proc. of
17th Annual Conference
on Computer Science Logic (CSL'08),
Lecture Notes in Computer Science, 5213 (2008), 262-277.
-
Masahiro Hamano and Ryo Takemura,
``A Phase Semantics for Polarized Linear Logic
and Second Order Conservativity'' ,
Accepted for publication in Journal of Symbolic Logic, (2008) 33 pages.
-
Masahiro Hamano and Philip Scott,
"A Categorical Semantics for Polarized MALL ",
Annals of Pure and Applied Logic, 145 (2007), 276-313.
-
Richard Blute, Masahiro Hamano and Philip Scott,
"Softness of Hypercoherences and MALL Full Completeness ",
Annals of Pure and Applied Logic, 131 (2005), 1-63.
-
Masahiro Hamano,
"Softness of MALL Proof-Structures and
a Correctness Criterion with Mix" ,
Archive for Mathematical Logic, 43 (6), (2004), 753-796.
-
Masahiro Hamano,
"Z-modules and Full Completeness of Multiplicative Linear
Logic" ,
Annals of Pure and Applied Logic, 107 (2001), 165-191.
-
Masahiro Hamano,
"Pontrjagin Duality and Full Completeness for Multiplicative
Linear Logic (Without Mix)",
Math. Struct. in Comp. Science,
Lambekfest special issue 10 (2), (2000), 231-259.
- Masahiro Hamano and Mitsuhiro Okada,
``A Direct Independence Proof of Buchholz's Hydra Game
on Finite Labeled Trees'',
Archive for Mathematical Logic. 37 (1998), 67-89.
-
Masahiro Hamano and Mitsuhiro Okada,
``A Relatioship among Gentzen's Proof-Reduction,
Kirby-Paris' Hydra Game, and Buchholz's Hydra Game''
Mathematical Logic Quarterly. 3 (1997), 103-120.
Please E-mail comments and questions to "hamano@jaist.ac.jp".
Thank you very much for your attention. $BIMLn(B $B@59@(B