We provide a uniform proof of standard completeness for a large class of axiomatic extensions of Uniform Logic.
Standard Completeness for Uninorm-Based Logics / P. Baldi, A. Ciabattoni (PROCEEDINGS - INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC). - In: International Symposium on Multiple-Valued Logic[s.l] : IEEE Computer Society, 2015. - ISBN 978-1-4799-1777-8. - pp. 78-83 (( Intervento presentato al 45. convegno International Symposium on Multiple-Valued Logic, ISMVL 2015 tenutosi a University of Waterloo, Canada nel 2015 [10.1109/ISMVL.2015.20].
Standard Completeness for Uninorm-Based Logics
P. Baldi
Primo
;
2015
Abstract
We provide a uniform proof of standard completeness for a large class of axiomatic extensions of Uniform Logic.
| File | Dimensione | Formato | |
|---|---|---|---|
|
Baldi, Ciabattoni - Standard Completeness for Uninorm-based logics.pdf
accesso aperto
Tipologia:
Post-print, accepted manuscript ecc. (versione accettata dall'editore)
Dimensione
156.81 kB
Formato
Adobe PDF
|
156.81 kB | Adobe PDF | Visualizza/Apri |
|
Standard_Completeness_for_Uninorm-Based_Logics.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
263.02 kB
Formato
Adobe PDF
|
263.02 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I metadati presenti in AIR sono rilasciati con licenza CCO mentre i file delle pubblicazioni sono rilasciati con licenza CC BY-SA, salvo diversa indicazione. In caso di violazione di copyright, contattare l'assistenza di AIR
