{'fraction_non_alphanumeric': 0.0103359173126615, 'fraction_numerical': 0.0, 'mean_word_length': 4.791044776119403, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Two simple models for linear set theory

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 dierent occurrences of the same term to