Building on Wójcicki's work on infinite-valued Łukasiewicz logic Ł∞, we give a self-contained proof of the deductive interpolation theorem for Ł∞. This paper aims at introducing the reader to the geometry of Łukasiewicz logic.
Consequence and interpolation in Łukasiewicz logic / D.Mundici. - In: STUDIA LOGICA. - ISSN 0039-3215. - STAMPA. - 99:(2011), pp. 269-278. [10.1007/s11225-011-9352-0]
Consequence and interpolation in Łukasiewicz logic
MUNDICI, DANIELE
2011
Abstract
Building on Wójcicki's work on infinite-valued Łukasiewicz logic Ł∞, we give a self-contained proof of the deductive interpolation theorem for Ł∞. This paper aims at introducing the reader to the geometry of Łukasiewicz logic.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
sl-wojcicki2011.pdf
Accesso chiuso
Tipologia:
Altro
Licenza:
Tutti i diritti riservati
Dimensione
1.64 MB
Formato
Adobe PDF
|
1.64 MB | Adobe PDF | Richiedi una copia |
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
