The Cut-Elimination and Nonlegthening Property for Gentzen's Sequent Calculus for First Order Logic with Equality / Parlamento, F.; Previale, F.. - In: THE BULLETIN OF SYMBOLIC LOGIC. - ISSN 1079-8986. - STAMPA. - 23:2(2017), pp. 251-252.
Titolo: | The Cut-Elimination and Nonlegthening Property for Gentzen's Sequent Calculus for First Order Logic with Equality |
Autori: | |
Data di pubblicazione: | 2017 |
Rivista: | |
Handle: | http://hdl.handle.net/11390/1122935 |
Appare nelle tipologie: | 1.5 Abstract in rivista |
File in questo prodotto:
File | Descrizione | Tipologia | Licenza | |
---|---|---|---|---|
Parlamento.pdf | abstract | Abstract | Non pubblico | Accesso ristretto Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.