Tableau Proof Setting for Discussive-like Logics with Basic Introduction to Paraconsistent Logic

Wykład prof. Tomasza Jarmużka:   Tableau Proof Setting for Discussive-like Logics with Basic Introduction to Paraconsistent Logic

Data: 9 kwietnia 2025

Godzina: 15.30-17.30

Miejsce: Beijing Normal University (Chiny)

Wykład odbywa się w ramach wizyty badawczej prof. Tomasza Jarmużka w Chinach.