We prove standard completeness for uninorm logic extended with knotted axioms. This is done following a proof-theoretical approach, based on the elimination of the density rule in suitable hypersequent calculi.
A note on standard completeness for some extensions of uninorm logic / P. Baldi. - In: SOFT COMPUTING. - ISSN 1432-7643. - 18:8(2014), pp. 1463-1470. [10.1007/s00500-014-1265-1]
A note on standard completeness for some extensions of uninorm logic
P. Baldi
2014
Abstract
We prove standard completeness for uninorm logic extended with knotted axioms. This is done following a proof-theoretical approach, based on the elimination of the density rule in suitable hypersequent calculi.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
Baldi2014_Article_ANoteOnStandardCompletenessFor.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
196.57 kB
Formato
Adobe PDF
|
196.57 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
