A b s t r a c t. Phase models for affine linear logic were independently devised by Lafont  and Piazza , although foreshadowed by Ono . However, the existing semantics either contain no explicit directions for the construction of models in the general case, or else are forced to resort to additional conditions extending Girard's semantics (preordering of the monoids, the condition that the set of antiphases be an ideal). We dispense with these extra postulates - at least for the subexponential fragment of this logic - considering structures where the set of antiphases is concretely constructed. Moreover, we show the equivalence of our phase models and the algebraic models of affine linear logic by means of a representation theorem.
Due to an unfortunate printing error (inconsistency of the fonts) the paper contains many errors. We print the corrected version of the article in RML 33
Back to Main Menu