Università degli Studi di Cagliari
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.