A coherence space semantics for linear set theory
Masaru Shirahata · 1999
In this paper, we give a model for a naive set theory based on the MALL fragment of linear logic, using the coherence space semantics and the Scott-style style inverse limit construction. The main idea is to introduce an ordering in the set M of coherence spaces, with respect to which M becomes a cpo and all the logical operations are continuous. We are then able to construct the universe of M-valued sets by solving a certain domain equation.