You are here: Home > History > XXV Conference Applications of Logic in Philosophy and the Foundations of Mathematics
XXV Conference Applications of Logic in Philosophy and the Foundations of Mathematics
12-13 May 2022
(online)
Participants
Invited Speakers
Mirna Džamonja, Institut de Recherche en Informatique Fondamentale (CNRS & Université de Paris-Cité), The Finite as the New Infinite (PDF)
Ludomir Newelski, Uniwersytet Wrocławski, Model Theory, a Survey with Particular Emphasis on Topological Methods (PDF)
The Organizing Committee
Janusz Czelakowski, Uniwersity of Opole
Anna Glenszczyk, Uniwersity of Silesia
Małgorzata Kruszelnicka, Uniwersity of Opole
Elżbieta Magner, Uniwersity of Wrocław
Tomasz Połacik, Uniwersity of Silesia
Marcin Selinger, Uniwersity of Wrocław
Program
Note. (EN) means that the talk is presented in English, (PL) – in Polish.
Thursday, 12 May 2022
925 - Opening of the conference
Morning Session
Keynote Lecture:
930 - Ludomir Newelski (EN), Model Theory, a Survey with Particular Emphasis on Topological Methods.
1030 - Janusz Kaczmarek (EN), Ontological Versions of Temporal Logics in Wolniewicz Structures of Lattices (Including Topological Interpretation).
1100 - Coffee Break
1130 - Jacek Malinowski (EN), Connexive Logics and Relating Semantics.
1150 - Urszula Wybraniec-Skardowska (EN), Operatory Counterparts of Reasoning.
1230 - Tomasz Witczak (EN), Some Operations on Flou Sets: A General Framework.
1300 - Lunch Break
Afternoon Session
1500 - Piotr Błaszczyk, Anna Petiurenko (EN), Euclid Parallel Axiom and Infinities.
1530 - Adam Trybus (EN), Chwistek’s “On Axioms” as a Foundational Text in the History of Polish Logic.
1600 - Mariusz Stopa (EN), Discussion of the Notion of Co-topos.
1630 - Coffee Break
1700 - Marek Magdziak (PL), Existential Judgments.
1730 - Marcin Drofiszyn (PL), Obligation Based on Preference.
1800 - Agnieszka Kozdęba, Apoloniusz Tyszka (PL), Statements and Open Problems on Decidable Sets X ⊆ N.
1830 - Closing of the session
Friday, 13 May 2022
Morning Session
Keynote Lecture:
930 - Mirna Džamonja (EN), The Finite as the New Infinite.
1030 - Zofia Kostrzycka (EN), On Translation from Intuitionism to Brouwer’s Modal Logic.
1100 - Coffee Break
1130 - Szymon Chlebowski (EN), Kripke Semantics for Intuitionistic Logic with Identity.
1200 - Agata Tomczyk (EN), Sequent Calculus for a Boolean Extension of non-Fregean Logic SCI.
1230 - Dawid Czech (EN), Proof-Theoretical Analysis of Intuitionistic Non-Fregean Logic and Its Extensions.
1300 - Lunch Break
Afternoon Session
1500 - Wim Ruitenburg (EN), One Hundred Years of Logic for Constructive Mathematics.
1540 - Yaroslav Petrukhin (EN), Algebraic Completeness of Bi-intuitionistic Multilattice Logic.
1610 - Patryk Michalczenia (EN), Subnormal Modal Logics.
1640 - Coffee Break
1700 - Jacek Hawranek (PL), Disjunction Property for Some Systems of Leśniewski's Ontology.
1730 - Eugeniusz Wojciechowski (PL), The Definite Negation and Intuitionistic Logic.
1800 - Elżbieta Magner (PL), The Connective „I… i…” in Polish.
1830 - Closing of the conference
