CINECA IRIS Institutional Research Information System
IRIS è l'Anagrafe della ricerca dell'Università degli Studi di Trento, e ha lo scopo di raccogliere, documentare, conservare e diffondere, anche ad accesso aperto, la produzione scientifica degli autori afferenti all'Università degli Studi di Trento.
EnglishWe 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]
| 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 WOS: | 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. [10.1002/malq.201400077] | |
| 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 |
Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11572/119331
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione
Copyright © 2022