The method of studying interrelations between logical systems by the analysis oftranslations (interpretations, transformations) between them was originally introduced by Kolmogorov, in 1925.
In spite of the pioneers Kolmogorov, Glivenko, Gödel and Gentzen dealing with interrelations between the studied systems, in general interpretations from classical systems into intuitionistic systems, they were not interested in the meaning ofthe concept of translation between logics in general.
Since then, interpretations between logics have been investigated and used for different purposes. All interests, uses, and ideas using functions from a logic system into another with the preservation or interpretation of logical properties are in the context of logic translations.
Topics may include, but are not restricted to, the following questions:
About the concept of logic translations
Historical aspects of the translations between logics
Syntactical and semantics aspects of the logic translations
Developments on theory about logic translations and formal systems
Applications and uses of logic translations
Submit a one page abstract by October 15, 2025 to hercules.feitosa@unesp.br and italaloffdotta@gmail.com
Notifications of acceptance and rejection within days of submission.
Duration of contributing talks is 30mn including discussion. There will be a round table at the end of the workshop with the participation of all the speakers.
Accepted contributors will be invited to submit a full paper for inclusion in a volume on Translations between Logical Systemsedited by the organizers following the workshop.