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.
Titolo: | A note on infinitary continuous logic |
Autori: | Baratella, Stefano |
Autori Unitn: | |
Titolo del periodico: | MATHEMATICAL LOGIC QUARTERLY |
Anno di pubblicazione: | 2015 |
Numero e parte del fascicolo: | 6 |
Codice identificativo Scopus: | 2-s2.0-84947934792 |
Codice identificativo ISI: | WOS:000365679400003 |
Digital Object Identifier (DOI): | http://dx.doi.org/10.1002/malq.201400077 |
Handle: | http://hdl.handle.net/11572/119331 |
Citazione: | A note on infinitary continuous logic / Baratella, Stefano. - In: MATHEMATICAL LOGIC QUARTERLY. - ISSN 1521-3870. - STAMPA. - 2015 - 61:6(2015), pp. 448-457. |
Appare nelle tipologie: | 03.1 Articolo su rivista (Journal article) |
File in questo prodotto:
File | Descrizione | Tipologia | Licenza | |
---|---|---|---|---|
Inf_cont_logic_published_MLQ.pdf | Articolo principale | Versione editoriale (Publisher’s layout) | Tutti i diritti riservati (All rights reserved) | Administrator |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione