The study, conducted in March 2022, involved the analysis of the content in several social media chats and groups; the participants of those chats live in the same place and therefore have a common experience of the space. The study was based on the hypothesis of a direct connection between the mental map (a system of individual ideas about space), the cultural reputation of topoi, and urban trauma, embodied in the unease infrastructure. The problem of assessing the significance of a (...) place was solved by means of folklore toponymies – the mechanism of renaming, which indicates the degree of awareness about a specific place and defines its location on the mental map as well as ascribes a certain status to it. These statuses demonstrate the degree of significance of a place for a certain subject and form a kind of hierarchy, a system of topographical preferences. Thanks to online communication, people can not only transmit information much faster than the traditional forms of folklore dissemination allow, but also broadcast personal attitudes, conveying them as a bundle of meanings (for example, while inventing new toponyms). Therefore, one of the objectives of the study was to identify established folklore toponyms in online communication: they serve as markers of attitudes, reputation, and significance; we also try to catalogue attempts to “rename” different places. Another task was to find the symptoms of such anxiety in online communication. (shrink)

We describe a natural deduction system NDIL for the second order intuitionistic linear logic which admits normalization and has a subformula property. NDIL is an extension of the system for !-free multiplicative linear logic constructed by the author and elaborated by A. Babaev. Main new feature here is the treatment of the modality !. It uses a device inspired by D. Prawitz' treatment of S4 combined with a construction $<\Gamma>$ introduced by the author to avoid cut-like constructions used in (...) $\otimes$ -elimination and global restrictions employed by Prawitz. Normal form for natural deduction is obtained by Prawitz translation of cut-free sequent derivations. (shrink)