Workshop "Logic and its application" Program

Сб, 13/01/2024 - 22:54 — logic

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

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