Smirnova, E. D. The Problem of Formalization of Some Nonstandard Semantics. LLP 2004, 9, 153-157.