Scarica "Una semantica per la logica lineare" gratis


Vote -Vote + (No Ratings Yet)
Loading ... Loading ...
Su questa pagina EilaStudenti.net Voi potete scaricare gratuitamente il lavoro sul tema "Una semantica per la logica lineare". Seguite le istruzione e confermate il codice. Aspettate alcuni istanti finché il file inizia scaricarsi. Voi potete anche richiedere altro lavoro e noi troveremo essa in 24 ore. In basso troverete il link su lavori somiglianti, quali contengono i suggerimenti (bigliettini), e risposte pronti ai test per preparazione degli esami su tema "Una semantica per la logica lineare" in università. Gli alunni troveranno i compiti pronti su questo tema. Tra i lavori ci sono relazioni, i riassunti, i rapporti sul tema "Una semantica per la logica lineare". Lavori di corso e tesi di laurea per gli studenti posso richiedere con l’aiuto di questo modulo. Per post-laureati ci sono diversi pubblicazioni e pronti le tesi di dottorato.
Voi potete richiedere il lavoro e noi troveremo essa in 24 ore. Potete anche discutere e aggiungere ai lavori esistenti i propri materiali e le lezioni. Sostieni l’esame o la prova al voto più alto e condividi con noi e con altri i materiali di riferimento.

Facolta: Lettere e Filosofia
Corso: Filosofia
Anteprima dell’appunto:

Questo lavoro vuole essere una descrizione minuziosa degli strumenti algebrici che ci permettono di costruire una semantica di tipo tarskiano della logica lineare (ideata da Girard).
Non sicuramente innovativo a riguardo, ma lo possiamo definire organizzativo ed esemplificativo di una serie di procedure studiate e descritte da logici contemporanei, tra cui vanno sottolineati A.S. Troelstra ed H. Ono.
Dopo una prima parte introduttiva sulla sintassi della logica lineare, nella seconda parte del lavoro si passa a descrivere strutture algebriche via via pi complesse che alla fine ci permetteranno di interpretare adeguatamente il sistema formale e di dimostrare la completezza semantica.
Aspetto da sottolineare che vengono fornite le dimostrazioni, in modo oserei dire pedante, di tutto ci che viene affermato: Poco lasciato come dimostrazione per il lettore.
Quindi nella seconda parte si descrivono le propriet, in ordine:
dei Monoidi;
dei Reticoli;
delle IL-algebre, e l’equivalenza con i Quantali;
delle CL-algebre;
e delle CLM-algebre.


Scarica il file


Appunti, tesine e tesi simili:
Parafrasi di una semantica per la logica lineare | Tesine di una semantica per la logica lineare (traduzione in italiano) | Riassunti di una semantica per la logica lineare gratis | Temi svolti su una semantica per la logica lineare | Saggi brevi di una semantica per la logica lineare

Scaricato 21 volte.

Fai la richiesta