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. (2025). Structurally complete finitary extensions of positive Łukasiewicz logic. LOGIC JOURNAL OF THE IGPL, 33(3) [10.1093/jigpal/jzae118].
Structurally complete finitary extensions of positive Łukasiewicz logic
Agliano', Paolo
;
2025-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
accesso aperto
Tipologia:
PDF editoriale
Licenza:
Creative commons
Dimensione
543.53 kB
Formato
Adobe PDF
|
543.53 kB | Adobe PDF | Visualizza/Apri |
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