Lab for Reasoning on Collective Phenomena

Dr hab. Tomasz Jarmużek, prof. UMK, odbywa wizytę badawczą w Chinach w ramach programu „Inicjatywa Doskonałości – Uczelnia Badawcza”. W ramach tegorocznego wyjazdu prof. Jarmużek wygłasza wykłady na trzech chińskich uniwersytetach:

– Tsinghua University w Pekinie – wykład pt. Introduction to relating semantics with selected application examples

– Beijing Normal University w Pekinie – wykład pt. Tableau Proof Setting for Discussive-like Logics with Basic Introduction to Paraconsistent Logic (joint work with Marek Nasieniewski)

– Shanxi University w Taiyuan – wykłady pt. Outline of relating semantics with selected application examples oraz Tableau framework for paraconsistent discussive-like logic (joint talk with Marek Nasieniewski)

Celem wizyty jest stworzenieLab for Reasoning on Collective Phenomena. Dalsza współpraca z chińskimi logikami zaowocuje więc nowymi wynikami badań w obszarach, w których specjalizują się toruńscy naukowcy (logika modalna, logika parakonsystentna, logika wiążąca).