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
Baldi, P
2014-01-01
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 | |
|---|---|---|---|
|
19. A note on standard completeness for some axiomatic extensions of uninorm logic.pdf
accesso aperto
Licenza:
Creative commons
Dimensione
196.57 kB
Formato
Adobe PDF
|
196.57 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
