Workshop "Logic and its application" on the 6th World Logic Day

Dear colleagues!

In 2019, UNESCO declared January 14 as World Logic Day. This happened on November 13, 2019:

https://unesdoc.unesco.org/ark:/48223/pf0000371483

The celebration of the 6th day of logic is now being prepared:

https://worldlogicday.com/events

We invite you to participate in the workshop of the Ukrainian Logic Society

dedicated to World Logic Day.
The meeting will be held remotely on January 15, 2024, at 4:00 p.m. Kyiv time; link:
https://us04web.zoom.us/j/76469615569?pwd=ePLEG6LxmgSqXEm6ZsXed4p36Y6Lac.1

Workshop participants are invited to submit the title and abstract (in English or Ukrainian) by January 10, 2024 to
logicukraine@gmail.com.

Information on previous World Logic Days:

• 2019 http://logica-universalis.org/wld
• 2020 https://www.logica-universalis.org/wld2
• 2021 http://www.logica-universalis.org/wld3
• 2022 http://www.logica-universalis.org/wld4
• 2023 http://www.logica-universalis.org/wld5

Participation of the Ukrainian Logic Society in the celebration of Logic Days:

• 2019 http://logic.net.ua/content/workshop-%E2%80%9Clogic-and-its-applications%E2%80%9D
• 2020 http://logic.net.ua/content/2nd-world-logic-day-kyiv
• 2021 http://logic.net.ua/content/results-ukrainian-logic-society-prize-%E2%80%93-2021 (ULS prize) http://logic.net.ua/content/3-%D1%96%D0%B9-%D0%B2%D1%81%D0%B5%D1%81%D0%B2%D1%96%D1... (workshop)
• 2022 http://logic.net.ua/content/seminar-"logic-and-its-application"-in-world-logic-day
• 2023 http://logic.net.ua/content/report-celebration-5th-world-logic-day-ukraine

Sincerely,
Head of the Ukrainian Logic Society
Prof. Mykola Nikitchenko

Workshop "Logic and its application" Program

Workshop "Logic and its application", devoted to the celebration of the 6th World Logic Day, will be held on Monday, January 15, 2024. Starts at 16:00 Kyiv time, duration of the talk is 10–15 minutes. Talks may be presented in English or Ukrainian.

Program of the workshop

1. Mykola Nikitchenko. On Predicate Logics with Uncertainties.
2. Yaroslav Kokhan. Relations are not Graphs.
3. Lukasz T. Stepien. On Inconsistency of Classical Logic.
4. Stepan Shkilniak. First-order Logics of Partial Quasiary Predicates with Weak Equality and Strong Equality.
5. Ihor Dutsiak. The Ambiguity of Logic Semantics as a Source of Paradoxes of Material Implication.
6. Vitaly Zubenko. On a Procedural Platform for the Theory of Algorithms and Church's Thesis.
7. Oksana Shkilniak. Мodal Logics of Partial Non-monotonic Predicates with Equality.

Official webpage of the event:
https://worldlogicday.com/events/2024/logic-and-its-application-6th-world-logic-day

Link for the meeting:
https://us04web.zoom.us/j/76469615569?pwd=ePLEG6LxmgSqXEm6ZsXed4p36Y6Lac.1