Il libro presenta un'indagine sugli aspetti geometrici e topologici delle dimostrazioni della logica lineare moltiplicativa. Speciale attenzione è posta sul tema della non commutatività degli operatori logici.
Pulcini, G. (2025). Permutative logic: a geometrical study on linear logic proofs. UniversItalia.
Permutative logic: a geometrical study on linear logic proofs
Gabriele Pulcini
2025-01-15
Abstract
Il libro presenta un'indagine sugli aspetti geometrici e topologici delle dimostrazioni della logica lineare moltiplicativa. Speciale attenzione è posta sul tema della non commutatività degli operatori logici.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
9788832937862_Interno_Permutative Logic a geometrical study on linear logic proofs_def.pdf
solo utenti autorizzati
Tipologia:
Versione Editoriale (PDF)
Licenza:
Copyright dell'editore
Dimensione
849.05 kB
Formato
Adobe PDF
|
849.05 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
