Cracow Logic Conference (CLoCk) is the rebranded version of the oldest Polish conference series on logic, which existed for many years under a deceptive name Konferencja Historii Logiki (Conference on the History of Logic). The present conference is the 70th in the series. It will be held on 24-27 June 2025, at Department of Logic, Institute of Philosophy, Jagiellonian University in Kraków.
Marking the 70th anniversary of the series, the first two days (24-25 June) are dedicated to Konferencja Historii Logiki (KHL). The topics of KHL, apart from historical threads, include current achievements on history and/or philosophy of logic.
CLoCk is held on 26-27 June. We call for 30-minute contributed talks on all areas of mathematical logic, especially on Algebraic logic, Model theory, Proof theory.
Important dates
KHL: 24–25 June 2025CLoCk: 26–27 June 2025
Abstract submission deadline: 31 May, 2025
Notification of authors: 10 June, 2025
Registration deadline: 20 June, 2025
Invited Speakers
Wiesław Dziobiak
University of Puerto Rico at Mayagüez
Categorical Duality for Algebraic Lattices
Nick Galatos
University of Denver
A Recipe for Canonical Formulas in Substructural Logics
Peter Jipsen
Chapman University
Representability and formalization of distributive quasi relation algebras
Zalán Molnár
Eötvös Loránd University of Sciences
On choice principles and their equivalents for infinite graphs
Grigory Olkhovikov
Ruhr-Universität Bochum
Conditionals over constructive logics: two case studies
Program
Tue 24 June (KHL)
8:30 - 9:00
Opening
Registration and opening
9:00 - 9:45
Andrzej Wiśniewski
Some Unnoticed Paradoxes of Knowledge and Belief
9:45 - 10:15
Krzysztof Murawski
Geneza badań nad historią logiki w Polsce po II wojnie światowej
10:15 - 10:45
Roman Murawski
Prace logiczne Emila Posta i ich znaczenie
10:45 - 11:30
COFFEE
11:30 - 12:00
Janusz Czelakowski
O konflikcie działań nakazanych
12:00 - 12:30
Jan Czerniawski
Reizm logiczny
12:30 - 13:00
Max Urchs
Początki logiki toruńskiej
13:00 - 15:00
LUNCH
15:00 - 15:30
Kazimierz Czarnota
Treściowy rachunek predykatów zgodny z Leibniza arytmetyzacją sylogistyki
15:30 - 16:15
Jan Zygmunt
Stanisław J. Surma jako logik i historyk logiki
18:00
DINNER
Restauracja Smakołyki
Wed 25 June (KHL)
09:00 - 9:45
Jan Woleński
Argument władczy Diodora Kronosa i logika
9:45 - 10:15
Mieczysław Omyła
Z historii badań spójnika porządku
10:15 - 11:00
Urszula Wybraniec-Skardowska, Kordula Świętorzecka
Twórczość logiczna w Szkole Lwowsko Warszawskiej i jej rezonans w świecie
11:00 - 11:30
COFFEE
11:30 - 12:00
Ludovica Conti
Impredicativity and Schematic Generality
12:00 - 12:30
Karol Wapniarski
Experiments in Logic and the Role of Diagrammatic Representations: A Case Study of Aristotelian Syllogistic Proof Charts
12:30 - 13:00
Sebastian Stokłosa
Abstract relation algebras
13:00 - 15:00
LUNCH
15:00 - 15:30
Eugeniusz Wojciechowski
Schemat złotego środka z Etyki Nikomachejskiej Arystotelesa
15:30 - 16:00
Adam Olszewski
Zbiory produktywne a problem nieostrości: Jak teoria obliczalności rewiduje paradoks łysego
Thu 26 June (CLoCk)
8:30 - 9:00
Opening
Registration and opening
9:00 - 10:00
Peter Jipsen
Representability and formalization of
distributive quasi relation algebras
10:00 - 10:30
COFFEE
10:30 - 11:30
Zalán Molnár
On choice principles and their equivalents for infinite graphs
11:30 - 12:00
Cheng-Syuan Wan
An Agda Formalization of Nonassociative Lambek Calculus and Its Metatheory
12:00 - 12:30
COFFEE
12:30 - 13:00
Maciej Hałapacz
Modal Model Theory of Lattice Theory: The Case of Modal Validities
13:00 - 13:30
Ricardo Arturo Nicolás-Francisco
On some prospects of a connexive discussive logic
13:30 - 14:00
Yaroslav Petrukhin
On a Second-order Generalisation of Russellian Theory of Definite Descriptions
14:00 - 16:00
LUNCH
16:00 - 16:30
Patryk Michalczenia
A general approach in relational semantics for weak (modal) logics
16:30 - 17:30
Wiesław Dziobiak, Marina V. Schwidefsky
Categorical Duality for Algebraic Lattices
19:00
DINNER
Restauracja Smakołyki
Fri 27 June (CLoCk)
9:00 - 10:00
Grigory Olkhovikov
Conditionals over constructive logics: two case studies
10:00 - 10:30
COFFEE
10:30 - 11:00
Wojciech Dzik
On the preservation of unification type of Heyting algebras and locally finite interior algebras
11:00 - 11:30
Giuseppe Zecchini
On congruences of Płonka sums
11:30 - 12:00
Adam Přenosil
Płonka sum decompositions of residuated semigroups
12:00 - 12:30
COFFEE
12:30 - 13:00
Marcin Łazarz
On some generalization of Heyting lattices
13:00 - 13:30
Adam Mata
Non-reducible infinite theories of the first order
13:30 - 14:00
Michał Wrocławski
Comparing properties of isomorphic copies of natural numbers with primitive recursive successor
14:00 - 16:00
LUNCH
16:00 - 16:30
Jitka Kadlečíková
Suszko-Style RNmatrix Reductions: Truth-Functionality Lost
16:30 - 17:30
Nick Galatos
A Recipe for Canonical Formulas in Substructural Logics
Venue
(detailed info here)
Organizers and committee
Zalán Gyenis
Tomasz Kowalski
Krzysztof Krawczyk
Piotr Łukowski
Adam Trybus
tomasz.s.kowalski[at]uj.edu.pl. Sponsors
„Inicjatywa Doskonałości – Uczelnia Badawcza”
realizowanego na Wydziale Filozoficznym Uniwersytetu Jagiellońskiego