The Cut-Elimination and Nonlegthening Property for Gentzen's Sequent Calculus for First Order Logic with Equality

Parlamento, F.; Previale, F.

CINECA IRIS Institutional Research Information System

IRIS è la piattaforma adottata dall’Università degli Studi di Udine per gestire l’archivio aperto dei prodotti della ricerca. L’archivio contiene articoli, contributi in volume, monografie, interventi pubblicati in atti di convegno, Tesi di dottorato e altri materiali.

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:	PARLAMENTO, Franco F. Previale mostra contributor esterni nascondi contributor esterni
Data di pubblicazione:	2017
Rivista:	THE BULLETIN OF SYMBOLIC LOGIC
Citazione:	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.
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		Open Access Visualizza/Apri

Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11390/1122935

Citazioni

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.