The Seventh Conference:
Non-Classical Logic. Theory and Applications
September 24–26, 2015; Toruń, Poland
Collegium Minus, “Harmonijka”, Fosa Staromiejska Street 1a, room IX, 1st floor
Thursday, 24th
12:00 Registration, Collegium Minus, “Harmonijka”, room IX, 1st floor.
13:00 Opening of the Conference
Chairman: Gerard Allwein
13:10 Tomasz Połacik, Another approach to conservativity, University of Silesia
13:45 Paweł Pawłowski, Rafał Urbaniak, First steps towards non-classical logic of
informal provability, Centre for Logic and Philosophy of Science, Ghent University
and Centre for Logic and Philosophy of Science, Ghent University/Institute of
Philosophy, Sociology and Journalism, Gdansk University
14:20 Alexander Karpenko, Natalya Tomova, Lattice of Three-Valued Paralogics and
Their Functional Equivalence, Russian Academy of Sciences
14:55 Norbert Gratzl, Eugenio Orlandelli, Harmony, Logicality, and Double-line Rules,
Ludwig-Maximilians-Universität München and University of Bologna
15:30 Coffee break
Chairman: Rafał Gruszczyński
16:00 Janusz Ciuciura, A hierarchy of paraconsistent logics, University of Łódź
16:35 Ben Martin, Dialetheism and Dual-Valuation Logics, University College London
17:10
Anggha Nugraha, The Bolzano-Weierstraß Theorem in a Paraconsistent Setting,
School of Mathematics and Statistics, University of Canterbury, Christchurch
17:45 Alexander Steen, Christoph Benzmüller, Sweet SIXTEEN: Automation via
Embedding into Classical Higher-Order Logic, Freie Universität Berlin
20:00 Diner in Gromada hotel
Friday, 25th
Chairman: Marek Nasieniewski
8:55
Gerard Allwein, William L. Harrison and Thomas Reynolds, Distributed Relation
Logic, Naval Research Laboratory; Department of Computer Science, University of
Missouri, and Department of Computer Science and Computer Engineering,
University of Arkansas
9:30
Bénédicte Legastelois, Aggregation of belief degrees in graded doxastic logic for
conjunction and disjunction, Sorbonne Universités, UPMC Univ Paris
10:05 Daniel Eckert, Judgment aggregation in the framework of boolean valued models:
Systematicity and order preservation, Institute of Public Economics, University of
Graz
10:40 Coffee break
Chairman: Tomasz Połacik
11:10
Andrzej Indrzejczak, Cut Elimination Theorem for Hybrid Logics, University of
Łódź
11:45 Dorota Leszczyńska-Jasion, Adam Kupś, The Method of Synthetic Tableaux:
proof-theoretical characterization, applications and extensions to some nonclassical logics, Institute of Psychology, Adam Mickiewicz University
12:20 Adam Kupś, Dorota Leszczyńska-Jasion, The Method of Synthetic Tableaux for
Modal Logics, Institute of Psychology, Adam Mickiewicz University
12:55 Break for lunch in Gromada hotel
Chairman: Tomasz Jarmużek
15:00 Srećko Kovač PLENARY LECTURE: A Gödelian Logic of Causality, Institute of
Philosophy, A public research institute of the Republic of Croatia
16:00 Roberto Ciuni, Massimiliano Carrara, Default Classicality, Kleene Logics and
Classicality Operator, Ruhr-Universität Bochum and University of Padua
16.35 Janusz Wesserling, Three-valued logic of per partes strong belief and per toto
strong belief, Cardinal Stefan Wyszyński University
17.10
Coffee break
Chairman: TBA
17:30 Mykola Nikitchenko, Stepan Shkilniak, Non-Classical and Neo-Classical Logics of
Quasiary Predicates, Taras Shevchenko National University of Kyiv
18:05 Szymon Frankowski, Michał Zawidzki, Logic for the spread of disease prevention,
University of Łódź
18:40 Miguel Campercholi, Michał Stronkowski and Diego Vaggione, Structural
Completeness for Discriminator Varieties, Ciudad Universitaria, Córdoba and
Warsaw University of Technology and Ciudad Universitaria, Córdoba
20:00 Conference dinner at “Gromada Hotel”
Saturday, 26th
Chairman: Andrzej Indrzejczak
9:00
Heinrich Wansing PLENARY LECTURE: Compositionality in proof-theoretic
semantics, Ruhr-University Bochum
10:00 Mattia Petrolo, Paolo Pistone, Harmonizing involutive and constructive negations,
IHPST, Université Paris 1 Panthéon-Sorbonne and I2M, Université Aix-Marseille
10:35 Ekaterina Kubyshkina, Dmitry V. Zaitsev, Logic of rational agent and knowability
paradox, Université Paris 1 Panthéon - Sorbonne, IHPST and Moscow State
University M. V. Lomonossov
11:10
Coffee break
Chairman: TBA
11:40 Marek Nowak, On sorites paradox, University of Łódź
12:15 Hanife Bilgili, On the nature of Diodorean implication, Yildiz Teknik Universitesi
12:50 Anna Maria Karczewska, An Interesting Feature of the T. Jarmużek and A.
Pietruszczak's System MR, John Paul II Catholic University of Lublin
13:25 Tomasz Jarmużek, Relating logic - logics with related formulas, Nicolaus
Copernicus University in Toruń
14:00 Closing of the Conference
14:45 Lunch in Gromada hotel