Two simple models for linear set theory(Non-Classical Logics and Their Kripke Semantics)
Masaru Shirahata · Kyoto University Research Information Repository (Kyoto University) · 1995
In this paper, we give two fairly simple models of set theory with the unrestricted comprehension based on linear logic.The first model is the extension of the idea of Boolean valued models to linear logic.The second model interprets the occurrences of terms and formulas, allowing the interpretations of different occurrences of the same term to be different sets.The soundness of the latter is guaranteed due to the cut- elimination theorem and the absence of contraction.