Lectures on Linear Logic
- Editore:
CAMBRIDGE
- Collana:
- Lecture Notes
- EAN:
9780937073773
- ISBN:
0937073776
- Pagine:
- 210
- Formato:
- Paperback
- Lingua:
- Inglese
Acquistabile con la
Descrizione Lectures on Linear Logic
The initial sections of this text deal with syntactical matters such as logical formalism, cut-elimination, and the embedding of intuitionistic logic in classical linear logic. Concluding chapters focus on proofnets for the multiplicative fragment and the algorithmic interpretation of cut-elimination in proofnets.
Fuori catalogo - Non ordinabile
€ 19.55
Recensioni degli utenti
e condividi la tua opinione con gli altri utenti