UniCa UniCa News Avvisi Canonical, co-canonical, and combined sequent calculi for classical logic

Canonical, co-canonical, and combined sequent calculi for classical logic

Autore dell'avviso: Dipartimento di Pedagogia, psicologia, filosofia

01 dicembre 2022
Prof. Damian Szmuc, Universidad de Buenos Aires, Conicet, Argentina

---

UNIVERSITà DEGLI STUDI DI CAGLIARI
DIPARTIMENTO DI PEDAGOGIA, PSICOLOGIA, FILOSOFIA
DOTTORATO IN FILOSOFIA, EPISTEMOLOGIA, SCIENZE UMANE
ALOPHIS - APPLIED LOGIC, PHILOSOPHY AND HISTORY OF SCIENCE

Giovedì 1 dicembre 2022, ore 15.00,
aula 10 della Facoltà di Studi Umanistici

PROF. DAMIAN SZMUC
(UNIVERSIDAD DE BUENOS AIRES, CONICET ARGENTINA)

Canonical, co-canonical, and combined sequent calculi for classical logic

Tutti gli interessati e le interessate sono invitati/e a partecipare.


L’evento è finanziato dal progetto PRIN
“Theory and applications of resource sensitive logics” (CUP: 20173WKCM5)

Prof. Francesco Paoli

Ultimi avvisi

Questionario e social

Condividi su:
Impostazioni cookie