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.

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.
2011
99
269
278
D.Mundici
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.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/537258
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? ND
social impact