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

You are here: Home > History > XXI Conference Applications of Logic in Philosophy and the Foundations of Mathematics

May 9-13, 2016
Szklarska Poręba
Poland

Abstracts (PDF / 551.09 kb)

Participants (PDF / 201.22 kb)

Photos XXI

Invited speakers

Heinrich Wansing (Ruhr University Bochum), Bi-connexive variants of Heyting-Brouwer logic (PDF / 214.66 kb);
Jan Woleński (Jagiellonian University, professor emeritus; University of Information Technology and Management in Rzeszow), On Applications of Modal Logic to Classical Philosophical Problems (DOCX / 12.52 kb).

The Organizing Committee

Janusz Czelakowski, University of Opole

Elżbieta Magner, University of Wrocław

Tomasz Połacik, University of Silesia

Marcin Selinger, University of Wrocław

e-communication and computer setup:

Krzysztof Siemieńczuk

Bartłomiej Skowron, Warsaw University of Technology

Program

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

Poniedziałek (Monday), 9 maja 2016

Registration – from 2:00 PM.

Wtorek (Tuesday), 10 maja 2016

8⁵⁵ - Otwarcie konferencji
Sesja przedpołudniowa
9⁰⁰ - Jan Woleński (EN), On Applications of Modal Logic to Classical Philosophical Problems (Part I).
10⁰⁰ - Heinrich Wansing (EN), Bi-Connexive Variants of Heyting-Brouwer Logic (Part I).
11⁰⁰ - Przerwa (Coffee Break)
11³⁰ - Heinrich Wansing (EN), Bi-Connexive Variants of Heyting-Brouwer Logic (Part II).
12³⁰ - Daniel Skurt (EN), Non-Monotonic Operators.
Sesja popołudniowa
15⁰⁰ - Jiří Raclavský (EN), Deduction in Ramified Partial Type Theory: Focus on Derivations with Type Judgements.
15²⁵ - Ivo Pezlar (EN), A Few Notes on λ-Computation and TIL-Construction.
15⁵⁰ - Michał Stronkowski (EN), Universal Freeness.
16¹⁵ - Mateusz Uliński (EN), Almost Structural Completeness for Tabular Modal Logics.
16⁴⁰ - Przerwa (Coffee Break)
17¹⁰ - Marek Nowak (EN), Monotone Operations Designated by Matrices with Mappings.
17³⁵ - Michał Zawidzki (EN), Finitely Characterizable Models: The Case of Mosaics.
18⁰⁰ - Adam Trybus (EN), The Development of Affine Logics.
18²⁵ - Elżbieta Magner (PL), The Connective "ewentualnie" in Polish.
18⁴⁰ - Elżbieta Magner (PL), A Few Notes on the Connective "względnie" and the Connective "ewentualnie" in Polish.

Środa (Wednesday), 11 maja 2016

Sesja przedpołudniowa
9⁰⁰ - Jan Woleński (EN), On Applications of Modal Logic to Classical Philosophical Problems (Part II).
10⁰⁰ - Janusz Czelakowski (EN), Probabilistic Interpretations of Predicates.
10⁴⁰ - Przerwa (Coffee Break)
11¹⁰ - Jerzy Pogonowski (EN), American Postulate Theorists and Their Influence on the Foundations of Mathematics.
11³⁵ - Przemysław Wałęga (EN), Representing Humans’ Mental Models in Prioritized Default Logic.
12⁰⁰ - Marcin Selinger (EN), A Recursive Definition of Argument.
12³⁰ - Tomasz Albiński (PL), Formal Concept Analysis (FCA) with Evaluative Content.
Popołudnie wolne

Czwartek (Thursday), 12 maja 2016

Sesja przedpołudniowa
9⁰⁰ - Piotr Wojtylak, Wojciech Dzik (EN), Projective Unification and Structural Completeness in Superintuitionistic Predicate
Logics (Part I).
9⁴⁰ - Wojciech Dzik, Piotr Wojtylak (EN), Projective Unification and Structural Completeness in Superintuitionistic Predicate
Logics (Part II).
10²⁰ - Przerwa (Coffee Break)
10⁵⁰ - Andrzej Indrzejczak (EN), Tautology Elimination Rule.
11¹⁵ - Szymon Frankowski (EN), Counting Some Closure Operations.
11⁴⁰ - Huimin Dong, Norbert Gratzl (EN), Defeasible Inferences for Free Choice Permission with Substructural Logics.
12⁰⁵ - Robert Trypuz, Piotr Kulicki (EN), Three Accounts of Moral Dilemmas in Multivalued Settings.
12³⁰ - Clayton Peterson, Piotr Kulicki (EN), Deontic Action Logic Using Substructural Systems.
Sesja popołudniowa
15⁰⁰ - Tomasz Połacik, Lloyd Humberstone (EN), Classically Archetypal Rules.
15⁴⁰ - Adam Přenosil (EN), Combining Direct and Inferential Negation.
16⁰⁵ - Anna Glenszczyk (EN), Modal Companion of Intuitionistic Control Logic.
16³⁰ - Małgorzata Kruszelnicka (EN), Yes/No Formulae and Describing Theories of Intuitionistic Kripke Models.
16⁵⁵ - Przerwa (Coffee Break)
17²⁵ - Kordula Świętorzecka (EN), On What Was Proved by S. Leśniewski in His Argumentation of 1927 Against Existence of
Universals. Remarks on Formalization by B. Sobociński.
18⁰⁵ - Marcin Łyczak (PL), On the Philosophical Notion of the Universe in Leśniewski's Mereology. Supplement to Sobociński's
Remarks.
18³⁰ - Marek Porwolik (PL), Conditional Definitions in Zdzisław Augustynek’s Axiomatic Approaches to Genidentity.

Piątek (Friday), 13 maja 2016

Sesja przedpołudniowa
9⁰⁰ - Marek Magdziak (PL), Truth and Existence, a Comment to the Correspondence Theory of Truth.
9⁴⁰ - Eugeniusz Wojciechowski (PL), A System of Natural Deduction with Wittgenstein's Operator N.
10⁰⁵ - Marek Lechniak, Andrzej Stefańczyk (PL), Philosophical Theories and Their Logical Applications on the Example of the
Logic of Agency of Anselm of Canterbury.
10³⁰ - Przerwa (Coffee Break)
11⁰⁰ - Paweł Klimasara, Krzysztof Bielas, Jerzy Król, Torsten Asselmeyer-Maluga (EN), Forcing, Exotic Smoothness, and
Physics.
11⁴⁰ - Szymon Chlebowski, Andrzej Gajda (EN), Haskell Implementation of Abductive Question-Answer System (AQAS).
12⁰⁵ - Szymon Chlebowski, Maciej Komosiński, Adam Kupś (EN), Automated Generation of Erotetic Search Scenarios:
Classification, Optimisation and Knowledge Extraction.
12³⁰ - Marcin Łazarz (EN), Characterization of Modularity by Means of Cover-Preserving Sublattices.
Zamknięcie konferencji