A wide family of many-valued logics - for instance, those based on the weak Kleene algebra - includes a non-classical truth-value that is 'contaminating' in the sense that whenever the value is assigned to a formula $arphi $, any complex formula in which $arphi appears is assigned that value as well. In such systems, the contaminating value enjoys a wide range of interpretations, suggesting scenarios in which more than one of these interpretations are called for. This calls for an evaluation of systems with multiple contaminating values. In this paper, we consider the countably infinite family of multiple-conclusion consequence relations in which classical logic is enriched with one or more contaminating values whose behaviour is determined by a linear ordering between them. We consider some motivations and applications for such systems and provide general characterizations for all consequence relations in this family. Finally, we provide sequent calculi for a pair of four-valued logics including two linearly ordered contaminating values before defining two-sided sequent calculi corresponding to each of the infinite family of many-valued logics studied in this paper.

Ciuni, R., Macaulay Ferguson, T., Szmuc, D. (2019). Logics based on linear orders of contaminating values. JOURNAL OF LOGIC AND COMPUTATION, 29(5), 631-663 [10.1093/logcom/exz009].

Logics based on linear orders of contaminating values

Ciuni R.;
2019-01-01

Abstract

A wide family of many-valued logics - for instance, those based on the weak Kleene algebra - includes a non-classical truth-value that is 'contaminating' in the sense that whenever the value is assigned to a formula $arphi $, any complex formula in which $arphi appears is assigned that value as well. In such systems, the contaminating value enjoys a wide range of interpretations, suggesting scenarios in which more than one of these interpretations are called for. This calls for an evaluation of systems with multiple contaminating values. In this paper, we consider the countably infinite family of multiple-conclusion consequence relations in which classical logic is enriched with one or more contaminating values whose behaviour is determined by a linear ordering between them. We consider some motivations and applications for such systems and provide general characterizations for all consequence relations in this family. Finally, we provide sequent calculi for a pair of four-valued logics including two linearly ordered contaminating values before defining two-sided sequent calculi corresponding to each of the infinite family of many-valued logics studied in this paper.
2019
Ciuni, R., Macaulay Ferguson, T., Szmuc, D. (2019). Logics based on linear orders of contaminating values. JOURNAL OF LOGIC AND COMPUTATION, 29(5), 631-663 [10.1093/logcom/exz009].
File in questo prodotto:
File Dimensione Formato  
exz009.pdf

accesso aperto

Descrizione: Articolo
Tipologia: Versione Editoriale (PDF)
Licenza: DRM non definito
Dimensione 532.2 kB
Formato Adobe PDF
532.2 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/11590/402161
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 19
  • ???jsp.display-item.citation.isi??? 17
social impact