Caricamento Eventi

« Tutti gli Eventi

  • Questo evento è passato.

Labelled calculi: approccio, risultati e alternative

Aprile 12 @ 3:00 pm - 5:00 pm

Per labelled calculi si intende una famiglia di calcoli logici, dove le formule vengono etichettate ed il linguaggio delle dimostrazioni arricchito da simboli relazionali riguardanti tali etichette o labels. Il loro principale utilizzo riguarda logiche non classiche rappresentabili in semantiche kripkeane o sue estensioni, dove l’interpretazione semantica dei labels risulta immediata dalla modellizzazione in uso, ad es. mondi nel caso della semantica a mondi possibili di Kripke. Vari esempi di tali formalizzazioni verranno proposte e discusse sul piano logico e concettuale insieme a una breve panoramica delle possibili alternative.

L’incontro è tenuto da Elio La Rosa, studente di Master degree al Munich Center for Mathematical Philosophy (MCMP) della Ludwig-Maximilians-Universität di Monaco (LMU). La Rosa si occupa principalmente di Proof theory di logiche non classiche.

Dettagli

Data:
Aprile 12
Ora:
3:00 pm - 5:00 pm

Luogo

Aula 14, San Sebastiano
Sito web:
https://www.unive.it/data/33504/990007