We provide a uniform proof of standard completeness for a large class of axiomatic extensions of Uninorm Logic.
Standard Completeness for Uninorm-Based Logics
Baldi, P.
;
2015-01-01
Abstract
We provide a uniform proof of standard completeness for a large class of axiomatic extensions of Uninorm Logic.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
17. Standard Completeness for Uninorm-based logics.pdf
solo utenti autorizzati
Licenza:
NON PUBBLICO - Accesso privato/ristretto
Dimensione
156.81 kB
Formato
Adobe PDF
|
156.81 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.