Семінар «Логіка та її застосування» у 5-ий Всесвітній день логіки

 

 

 

On January 14, 2023, the global logic community will celebrate its professional holiday: World Logic Day—for the fifth time. As part of the celebration of this date, the Ukrainian Logic Society plans to hold a workshop «Logic and its Applications».

We invite all colleagues to participate. To do this, please submit abstracts of your speech (in English or Ukrainian) by January 10, 2023 to the address logicukraine@gmail.com

Current information:

14 Jan 2023: Ukrainian Logic Society «Logic and its Applications» Seminar

Time: 14:00 EET, reference to the seminar: https://meet.google.com/hue-byce-jpt

Speakers:

• Prof. Mykola Nikitchenko
• Prof. Ihor Dutsyak
• Prof. Grygoriy Zholtkevych
• Prof. Anatoliy Petravchuk
• Prof. Stepan Shkilniak
• Dr. Yaroslav Kokhan
• Dr. Ievgen Ivanov

---

14 січня майбутнього 2023 року світова логічна спільнота вже уп'яте відзначатиме своє професійне свято: Всесвітній день логіки. В рамках відзначення цієї дати Українське логічне товариство планує провести семінар «Логіка та її застосування».

Запрошуємо всіх колег до участі. Для цього просимо подавати тези виступу (англійською або українською мовою) до 10 січня 2023 року на адресу logicukraine@gmail.com

Попередній список вже зголошених доповідачів див. вище в англійській частині допису.

Report on celebration of the 5th World Logic Day in Ukraine

The 5th World Logic Day on January 14, 2023 turned out to be a tragic day for Ukraine. The Russian Army attacked by missiles many regions of the country. This led to numerous victims among civil citizens and blackouts. Despite these difficulties the Ukrainian Logic Society decided not to cancel the seminar “Logic and its Applications” devoted to the 5th World Logic Day.

The following talks were presented at the seminar:

• Prof. Grygoriy Zoltkevich. Determining Trace Semantics in the Case of Coalgebras for omega-Continuous Endofunctors.
• Prof. Ihor Dutsyak. Generalized Notation of Boolean Functions for an Arbitrary Number of Arguments.
• Prof. Stepan Shkilniak. Pure First-Order Logics of Quasiary Predicates with Equality: their Varieties, Semantic Properties, and Sequent Calculi.
• Dr. Yaroslav Kokhan. Systems of Alternatives and Their Relations.
• Dr. Ievgen Ivanov. Towards a Generalized Theory of Inductive Definitions.
• Prof. Mykola Nikitchenko. Philosophical Aspects in Foundations of Mathematical Logic.

The members of the Society also joined some other events devoted to the World Logic Day.

Mykola Nikitchenko,
Chairman of the Ukrainian Logic Society