University of Wroclaw

25th Conference Applications of Logic in Philosophy and the Foundations of Mathematics

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

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

Forty Years of Structural Completeness

May 9-13, 2011
Szklarska Poręba, Poland

Invited speakers:

George Metcalfe, Universität Bern, Switzerland)
James G. Raftery, University of Natal, South Africa)
Vitĕzslav Švejdar, Univerzita Karlova, Czech Republic

The organizing committee:

Janusz Czelakowski, University of Opole 
Tomasz Połacik, University of Silesia
Marcin Selinger,  University of Wrocław


Abstracts 2011 (PDF / 760.52 kb)
Participants (PDF / 200.44 kb)
Photos

Program

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

Monday, 9 May 2011


Registration - from 2:00 PM. - "Olimp" in Szklarska Poręba, 1 Maja st. 62.

Tuesday, 10 May 2011


8.55 - Opening of the Conference

Morning session

9.00 - Tomasz Połacik (EN), Structural Completeness : A Look Back.
9.45 - Wojciech Dzik (EN), Unification and structural completeness in extensions of S4 modal logic.

10.30 - Coffee Break

11.00 - Piotr Wojtylak (EN), Structural completeness in extensions of S4.3.
11.45 - James G. Raftery (EN), Admissibility and Structural Completeness in Algebraic Logic.

Afternoon session

15.00 - George Metcalfe (EN), Structural Completeness and Admissible Rules in (Fragments of) Intuitionistic Logic.
16.00 - Zofia Kostrzycka (EN), On interpolation in NEXT (KTB).

16.30 - Coffee Break

17.00 - Eugeniusz Wojciechowski (PL), Funktory asercji i koniunkcji sekwencyjnej (The Functors of Assertion and Sequential Conjunction).
17.40 - Jacek Hawranek (PL), Dyskretny urok rachunku relacji.
18.20 - Irena Trzcieniecka-Schneider (PL), Zarys logiki przypadku.

Wednesday, 11 May 2011


Morning session

9.00 - Petr Cintula and George Metcalfe (EN), Passive Structural Completeness.
9.45 - Andrzej Biela (EN), Algorithmic Structural Completeness.

10.30 - Coffee Break

11.00 - James G. Raftery and Ai-Ni-Hsieh (EN), Idempotent Residuated Structures and Finiteness Conditions.
12.00 - Marcin Łazarz (EN), A characterization of Medvedev's logic by means of Kubiński's frames.
12.30 - Edward Bryniarski, Zbigniew Bonikowski, Jacek Waldmajer, Urszula Wybraniec-Skardowska (PL with the slides in EN), The Rational Postulates for Dynamic Epistemic Logic.

Free Afternoon

Thursday, 12 May 2011


Morning session

9.00 - George Metcalfe (EN), Giles's Game and the Proof Theory of Lukasiewicz Logic.
9.45 - Vitězslav Švejdar (EN) Fragments of Intuitionistic Propositional Logic.

10.30 - Coffee Break

11.00 - Adam Kolany (EN), Advertising Generalized Satisfiability.
11.45 - Marek Nasieniewski (EN), An Axiomatization of the Propositional Version of Kovač's logic KC
12.15 - Janusz Czelakowski (EN), Finitely Generated Quasivarieties and Irreducibility of Congruences.

Afternoon session

15.00 - Andrzej Pietruszczak (PL with the slides in EN), Ogólna koncepcja bycia częścią całości. Przechodniość relacji bycia częścią, a mereologia.
15.45 - Bartłomiej Skowron (PL), Husserlowska teoria całości i części.

16.30 - Coffee Break

17.00 - Marek Magdziak (PL), Ontologika modalna.
17.45 - Marcin Selinger (PL), Uwagi na temat oceny argumentów.
18.30 - Elżbieta Magner (PL), Spójniki zewnętrzne i wewnętrzne.

Friday, 13 May 2011


Morning session

9.00 - Anna Bień (EN), Methods of Reduction of Singular Graphs.
9.50 - Michał Zawidzki (EN), Satisfiability problem in modal and hybrid logic with counting.

10.30 - Coffee Break

11.00 - Michał Lipnicki (PL), Logiczne metody uzasadniania wiedzy w buddyzmie.
11.30 - Marcin Drofiszyn (PL), Problem dylematów moralnych.
12.00 - Michał Tomasz Godziszewski, tytuł zostanie podany później (to be announced).

Closing the conference.

Announcements

First Announcement

We are pleased to announce that the Sixteenth Conference Applications of Logic in Philosophy and Foundations of Mathematics will be held in Szklarska Poręba from May 9 to May 13, 2011. Traditionally, the organizers of the conference are Chair of Logic, University of Wrocław, Institute of Mathematics and Informatics, Opole University and Institute of Mathematics, University of Silesia at Katowice. The event is being held under the patronage of Polish Association for Logic and Philosophy of Science.
In 2011 we will celebrate the 40th anniversary of the notion of structural completeness which was introduced by W.A. Pogorzelski in his article Structural completeness of the propositional calculus. During the last four decades many logicians from various logical centers were involved in the fruitful research concerning this notion. We would like to put the results of this research into perspective. Therefore, we choose forty years of structural completeness as the leading theme of the upcoming conference.
We encourage everyone interested in logic, and structural completeness in particular, to participate in our event. Contributions concerning the leading theme of the conference and other topics in logic, logical philosophy, foundations of mathematics and related areas are welcome. It is a pleasure to announce that the list of the invited speakers of our conference includes George Metcalfe (Universität Bern, Switzerland) and James G. Raftery (University of Natal, South Africa).
The conference will take place in Szklarska Poręba, in the lovely Sudety Mountains on the Polish-Czech border. The detailed information regarding conference registration, submission of abstracts, and accommodation will be available soon.
Please, forward this message to those who may be interested. We are looking forward to seeing you at the conference,

Janusz Czelakowski, Opole University
Tomasz Połacik, University of Silesia
Marcin Selinger, University of Wrocław


Second Announcement

We kindly remind that the Sixteenth Conference Applications of Logic in Philosophy and Foundations of Mathematics will be held in Szklarska Poręba from May 9 to May 13, 2011 under the auspices of Polish Association for Logic and Philosophy of Science. The organizers of the conference are Chair of Logic, University of Wrocław, Institute of Mathematics and Informatics, Opole University and Institute of Mathematics, University of Silesia at Katowice with the support of the Board of the Opole Voivodeship.

This year the conference is held under the patronage of his Excellency Józef Sebesta, the Marshal of the Opole Voivodeship.

The leading theme of the conference is the notion of structural completeness and the invited speakers are

George Metcalfe (Universität Bern, Switzerland);
James G. Raftery (University of Natal, South Africa);
Vitĕzslav Švejdar (Univerzita Karlova, Czech Republic).

We encourage everyone interested in logic, and structural completeness in particular, to participate in our event. Contributions concerning the leading theme of the conference and other topics in logic, logical philosophy, foundations of mathematics and related areas are welcome.

The conference will take place in Szklarska Poręba in Sudety Mountains on the Polish-Czech border, about 130 km south-west from Wrocław.

To register, please send an e-mail containing your full name, affiliation, address, and e-mail to prof. J. Czelakowski, jczel@math.uni.opole.pl. If you are planning to give a talk, please submit a short abstract containing title, your name and affiliation.

The conference fee is 150 PLN and can be paid in advance by money transfer (for details visit the conference's website http://www.klmn.uni.wroc.pl/ conference.html). The participants will be accommodated in the Holiday and Training Resort "Olimp" in Szklarska Poręba. The price of accommodation and full boarding for the four days of the conference is 732.75 PLN in a single room and 652.01 PLN in a double room. The payment is to be paid directly to the resort upon arrival.

More information regarding conference will be available on the conference's website http://www.klmn.uni.wroc.pl/conference.html and in the forthcoming announcement. Please, forward this message to those who may be interested.

We are looking forward to seeing you at the conference,

Janusz Czelakowski, Opole University
Tomasz Połacik, University of Silesia
Marcin Selinger, University of Wrocław