Questo lavoro è un invito allo studio delle logiche sottostrutturali, una famiglia di logiche che generalizzano la logica classica. In primo luogo, discuteremo la formulazione della logica classica à la Gentzen, per poi vedere, passo dopo passo, quali siano le motivazioni che possono spingere a considerare le sue generalizzazioni sottostrutturali
Logiche sottostrutturali
LEDDA, ANTONIO
2014-01-01
Abstract
Questo lavoro è un invito allo studio delle logiche sottostrutturali, una famiglia di logiche che generalizzano la logica classica. In primo luogo, discuteremo la formulazione della logica classica à la Gentzen, per poi vedere, passo dopo passo, quali siano le motivazioni che possono spingere a considerare le sue generalizzazioni sottostrutturali
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
Logichesottostrutturali.pdf
accesso aperto
Tipologia:
versione pre-print
Dimensione
610.05 kB
Formato
Adobe PDF
|
610.05 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
