Embedded Files
In memory of Andrei Nikolaevich Kolmogorov (1903-1987). This workshop is part of the 8th World Congress on Universal Logic, that will take place in Cusco, Peru, December 9-14, 2025.
In memory of Andrei Nikolaevich Kolmogorov (1903-1987). This workshop is part of the 8th World Congress on Universal Logic, that will take place in Cusco, Peru, December 9-14, 2025.
Organizers
Organizers
Keynote Speaker
Keynote Speaker
TBA
TBA
Call for Papers
Call for Papers
The method of studying interrelations between logical systems by the analysis of translations (interpretations, transformations) between them was originally introduced by Kolmogorov, in 1925.
The method of studying interrelations between logical systems by the analysis of translations (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 of the concept of translation between logics in general.
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 of the 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.
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:
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 25, 2025 to hercules.feitosa@unesp.br and italaloffdotta@gmail.com
Submit a one page abstract by October 25, 2025 to hercules.feitosa@unesp.br and italaloffdotta@gmail.com
Notifications of acceptance and rejection within days of submission.
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.
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 Systems edited by the organizers following the workshop.
Accepted contributors will be invited to submit a full paper for inclusion in a volume on Translations between Logical Systems edited by the organizers following the workshop.
Google Sites
Report abuse