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.
EnglishWe give a self-contained geometric proof of the completeness theorem for the infinite-valued sentential calculus of Lukasiewicz.
| Titolo: | A geometric proof of the completeness of the Lukasiewicz calculus |
| Autori: | |
| Data di pubblicazione: | 1995 |
| Rivista: | |
| Citazione: | A geometric proof of the completeness of the Lukasiewicz calculus / PANTI G. - In: THE JOURNAL OF SYMBOLIC LOGIC. - ISSN 0022-4812. - STAMPA. - 60:2(1995), pp. 563-578. |
| Abstract: | We give a self-contained geometric proof of the completeness theorem for the infinite-valued sentential calculus of Lukasiewicz. |
| Handle: | http://hdl.handle.net/11390/674397 |
| Appare nelle tipologie: | 1.1 Articolo in rivista |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Copyright © 2018