In this paper we study MV+, i.e. the positive fragment of Łukasiewicz infinite-valued Logic MV. Using mainly algebraic techniques we characterize all the finitary extensions of MV+ that are structurally complete and those that are hereditarily structurally complete.
Agliano', P., Manfucci, F. (2024). Structurally complete finitary extensions of positive Łukasiewicz logic. LOGIC JOURNAL OF THE IGPL [10.1093/jigpal/jzae118].
Structurally complete finitary extensions of positive Łukasiewicz logic
Agliano', Paolo
;
2024-01-01
Abstract
In this paper we study MV+, i.e. the positive fragment of Łukasiewicz infinite-valued Logic MV. Using mainly algebraic techniques we characterize all the finitary extensions of MV+ that are structurally complete and those that are hereditarily structurally complete.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
jzae118.pdf
non disponibili
Tipologia:
PDF editoriale
Licenza:
NON PUBBLICO - Accesso privato/ristretto
Dimensione
545.61 kB
Formato
Adobe PDF
|
545.61 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.
Utilizza questo identificativo per citare o creare un link a questo documento:
https://hdl.handle.net/11365/1276680