University of Wroclaw

XX Conference Applications of Logic in Philosophy and the Foundations of Mathematics

May 4-8, 2015
Szklarska Poręba
Poland

 Program

Note. (EN) means that the talk is presented in English, (PL) – in Polish.

Registration – from 2:00 PM.

8⁵⁵ - Otwarcie konferencji
       Sesja przedpołudniowa
9⁰⁰ - Rosalie Iemhoff (EN), Interpolation and Proof Systems (Part I).
9⁴⁵ - Wojciech Dzik, Piotr Wojtylak (EN), Introduction to Projective Unification in Predicate Logics.
10³⁰ - Przerwa (Coffee Break)
11⁰⁰ - Piotr Wojtylak, Wojciech Dzik (EN), Projective Unification in Modal Predicate Logics.
11⁴⁵ - Kaja Bednarska, Andrzej Indrzejczak (EN), A Survey of Hypersequent Calculi for S5.
12¹⁰ - Marcin Łazarz, Krzysztof Siemieńczuk (EN), Distributivity for Upper Continuous and Strongly Atomic Lattices.
12³⁵ - Michał Stronkowski (EN), Extending the Blok-Esakia Theorem.
       Sesja popołudniowa
15⁰⁰ - Anna Bień (EN), Dominating Graphs and Gamma Graphs.
15²⁰ - Marcin Łazarz, Krzysztof Siemieńczuk (EN), A →-Decomposition Property.
15⁴⁵ - Szymon Chlebowski, Andrzej Gajda (EN), Abductive Question-Answer System for Classical Propositional Logic.
16¹⁰ - Mateusz Łełyk (EN), On an Application of Sets with Atoms in Logic.
16³⁰ - Przerwa (Coffee Break)
17⁰⁰ - Eugeniusz Wojciechowski (PL), Sequential Predication.
17²⁰ - Irena Trzcieniecka-Schneider (PL), Formal Conditions of Understanding the Concept of Common Good.
17⁴⁰ - Elżbieta Magner (PL), The Connective "względnie" in Polish.
18⁰⁰ - Edward Bryniarski (PL), Peculiar Decidability of the Predicate Calculus with Identity.
18³⁰ - Weronika Pelec (PL), Different Approaches to Modality - Hermann Weyl’s Philosophy of Logic.

       Sesja przedpołudniowa
9⁰⁰ - Rosalie Iemhoff (EN), Interpolation and Proof Systems (Part II).
9⁴⁵ - Jerzy Pogonowski (EN), Mathematical Therapy (for Adults).
10³⁰ - Przerwa (Coffee Break)
11⁰⁰ - Janusz Czelakowski (EN), Rasiowa-Sikorski Sets and Forcing.
11⁴⁵ - Petr Cintula, Carles Noguera (EN), Beyond Finitarity in Abstract Algebraic Logic I. From Motivation to a Theory.
12²⁰ - Aleksy Schubert, Paweł Urzyczyn, Konrad Zdanowski (EN), On the Mints Hierarchy in First-Order Intuitionistic Logic.
       Popołudnie wolne

       Sesja przedpołudniowa
9⁰⁰ - Mieczysław Omyła (PL), Philosophical Remarks on Non-Fregean Logic (Part I).
9⁴⁵ - Bartłomiej Skowron (EN), The Nature of Mathematics in Terms of Saunders Mac Lane.
10¹⁰ - Bartosz Wcisło (EN), On ∆₀-induction for the Compositional Truth Predicate.
10³⁰ - Przerwa (Coffee Break)
11⁰⁰ - Hüseyin Subhi Erdem (EN), The Status of Modal Propositions in Avicenna: A Comparison with That in Wittgenstein Logic.
11³⁰ - Petr Cintula, Carles Noguera (EN), Beyond Finitarity in Abstract Algebraic Logic II. From Theory to Applications.
12⁰⁰ - Tomasz Połacik (EN), Looking for Classical Counter-Models in Intuitionistic Kripke Structures.
12³⁰ - Anna Glenszczyk (EN), Negational Fragment of Intuitionistic Control Logic.
       Sesja popołudniowa
15⁰⁰ - Zofia Kostrzycka (EN), On Halldén Completeness in Brouwer Logics Determined by Nets of Clusters.
15³⁰ - Sławomir Kost (EN), Building Rooted Frames for some Polimodal Logics.
15⁴⁵ - Małgorzata Kruszelnicka (EN), On Describing Theories of Kripke Models for Intuitionistic Logic.
16⁰⁰ - Mustafa Yıldırım (EN), Gensler’s Star Test and Its Application in Islamic  Syllogistic Logic.
16³⁰ - Przerwa (Coffee Break)
17⁰⁰ - Piotr Błaszczyk (PL), A Purely Algebraic Proof of the Fundamental Theorem of Algebra.
17³⁰ - Piotr Błaszczyk (PL), Axiomatic Development of Euclid’s Elements Book V.
18⁰⁰ - Joanna Luc (PL), The Classification of Properties in CIFOL.
18³⁰ - Kazimierz Czarnota (PL), The Concept of Meaning in Formalized Languages.

       Sesja przedpołudniowa
9⁰⁰ - Mieczysław Omyła (PL), Philosophical Remarks on Non-Fregean Logic (Part II).
9⁴⁵ - Marek Magdziak (PL), It Almost Certainly…
10³⁰ - Przerwa (Coffee Break)
11⁰⁰ - Tomáš Lávička, Carles Noguera (EN), Beyond Finitarity in Abstract Algebraic Logic III. Hierarchy and Separating Examples.
11³⁰ - Wiesław Kubiś (EN), Abstract Banach-Mazur Games.
12⁰⁰ - Huseyin Subhi Erdem, Mustafa Yıldırım (EN), The Concept of “Relation” and Its Function in Classical Logic: Case of Ibn Hazm.
12³⁰ - Przemysław Wałęga (EN), Default Rules in Spatial Reasoning.
       Zamknięcie konferencji