Masahiro Hamano Publications

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.