Abstract
This paper is a gentle introduction to substructural logics, a family of logics generalizing classical logic. First of all, we present Gentzen formulation of classical logic, and then we discuss in some detail the motivations behind its substructural generalizations.
Questo lavoro è un invito allo studio delle logiche sottostrutturali, una famiglia di logiche che generaliz- zano la logica classica. In primo luogo, discuteremo la formulazione della logica classica a` la Gentzen, per poi vedere, passo dopo passo, quali siano le motivazioni che possono spingere a considerare le sue generalizzazioni sottostrutturali.
Citazione
Antonio Ledda, “Logiche sottostrutturali” in “APhEx 9”, 2014, pp. 40.
Numero della rivista
Visualizza e scarica il file PDF
Vai agli indici
AUTORI&AUTRICI
È ricercatore nel settore M/FIL 02, logica e filosofia della scienza, presso l'Università di Cagliari, Dipartimento di Pedagogia, Psicologia, Filosofia. I suoi interessi di ricerca riguardano la logica matematica, in particolare l'algebra della logica.