We give a self-contained geometric proof of the completeness theorem for the infinite-valued sentential calculus of Lukasiewicz.
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.
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.