Z-modules and ful completeness of multiplicative linear logic

@article{Hamano2001ZmodulesAF,
  title={Z-modules and ful completeness of multiplicative linear logic},
  author={Masahiro Hamano},
  journal={Ann. Pure Appl. Logic},
  year={2001},
  volume={107},
  pages={165-191}
}
We prove that the full completeness theorem for MLL+Mix holds by the simple interpretation via formulas as objects and proofs as Z-invariant morphisms in the ∗-autonomous category of topologized vector spaces. We do this by generalizing the recent work of Blute and Scott (Ann. Pure Appl. Logic 77 (1996) 101–142) where they used the semantical framework of… CONTINUE READING