iTALiANO Inviato 21 Febbraio 2019 Condividi Inviato 21 Febbraio 2019 Sergio Galvan - Non contraddizione e terzo escluso. Le regole della negazione della logica classica intuizionistica e minimale (1998) PDF Il volume è dedicato alla presentazione del sistema proposizionale classico, di quello intuizionistico e di quello minimale, vale a dire dei tre sistemi che si propongono di caratterizzare in modo diverso e, per certi aspetti in termini di contrasto, la nozione di negazione. Data la centralità dei principi di non contraddizione e del terzo escluso nella trattazione di tutti e tre i sistemi, il volume contiene un esame logico dettagliato di tali principi, del loro significato, dei loro rapporti e delle rispettive proprietà. Download Links Please login or register to see this code. Please login or register to see this code. Link al commento Condividi su altri siti Altre opzioni di condivisione...
Messaggi raccomandati
Partecipa alla conversazione
Puoi pubblicare ora e registrarti più tardi. Se hai un account, accedi ora per pubblicarlo con il tuo account.