In this paper, we investigate the family LS0.5 of many-valued modal logics LS0.5's. We prove that the modalities of necessity and possibility of the logics LS0.5's capture well-defined bivalent concepts of logical validity and logical consistency. We also show that these modalities can be used as recovery operators.
Many-valued logics and Suszkian modalities
Venturi G
2022-01-01
Abstract
In this paper, we investigate the family LS0.5 of many-valued modal logics LS0.5's. We prove that the modalities of necessity and possibility of the logics LS0.5's capture well-defined bivalent concepts of logical validity and logical consistency. We also show that these modalities can be used as recovery operators.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
Many-valued and bivalent modalities.pdf
accesso aperto
Tipologia:
Documento in Pre-print
Licenza:
Creative commons
Dimensione
603.24 kB
Formato
Adobe PDF
|
603.24 kB | Adobe PDF | Visualizza/Apri |
|
2213p.pdf
accesso aperto
Tipologia:
Versione finale editoriale
Licenza:
Creative commons
Dimensione
396.35 kB
Formato
Adobe PDF
|
396.35 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
