We show how to extend the Continuous Propositional Logic by means of an infinitary rule in order to achieve a Strong Completeness Theorem. Eventually we investigate how to recover a weak version of the Deduction Theorem.
A note on infinitary continuous logic / Baratella, Stefano. - In: MATHEMATICAL LOGIC QUARTERLY. - ISSN 1521-3870. - STAMPA. - 2015 - 61:6(2015), pp. 448-457. [10.1002/malq.201400077]
A note on infinitary continuous logic
Baratella, Stefano
2015-01-01
Abstract
We show how to extend the Continuous Propositional Logic by means of an infinitary rule in order to achieve a Strong Completeness Theorem. Eventually we investigate how to recover a weak version of the Deduction Theorem.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
Inf_cont_logic_published_MLQ.pdf
Solo gestori archivio
Descrizione: Articolo principale
Tipologia:
Versione editoriale (Publisher’s layout)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
633.18 kB
Formato
Adobe PDF
|
633.18 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione
