Invited Speakers
Wiesław Dziobiak
University of Puerto Rico at Mayagüez
Categorical Duality for Algebraic Lattices
Nick Galatos
University of Denver
Title of his talk: TBA
Peter Jipsen
Chapman University
Title of his talk: TBA
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
Title of his talk: TBA
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
TBA
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
TBA
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