This paper presents a semantical analysis of the Weak Kleene Logics K3W and PWK from the tradition of Bochvar and Halldén. These are three-valued logics in which a formula takes the third value if at least one of its components does. The paper establishes two main results: a characterisation result for the relation of logical consequence in PWK–that is, we individuate necessary and sufficient conditions for a set Δ of formulas to follow from a set Γ in PWK–and a characterisation result for logical consequence in K3W. The paper also investigates two subsystems of K3W and PWK and discusses the relevance of the results against existing background. Finally, the paper discusses some issues related to Weak Kleene Logics–in particular, their philosophical interpretation and the reading of conjunction and disjunction–and points at some open issues.

Ciuni, R., Carrara, M. (2019). Semantical analysis of weak Kleene logics. JOURNAL OF APPLIED NON-CLASSICAL LOGICS, 29(1), 1-36 [10.1080/11663081.2018.1547514].

Semantical analysis of weak Kleene logics

Ciuni R.;
2019-01-01

Abstract

This paper presents a semantical analysis of the Weak Kleene Logics K3W and PWK from the tradition of Bochvar and Halldén. These are three-valued logics in which a formula takes the third value if at least one of its components does. The paper establishes two main results: a characterisation result for the relation of logical consequence in PWK–that is, we individuate necessary and sufficient conditions for a set Δ of formulas to follow from a set Γ in PWK–and a characterisation result for logical consequence in K3W. The paper also investigates two subsystems of K3W and PWK and discusses the relevance of the results against existing background. Finally, the paper discusses some issues related to Weak Kleene Logics–in particular, their philosophical interpretation and the reading of conjunction and disjunction–and points at some open issues.
2019
Ciuni, R., Carrara, M. (2019). Semantical analysis of weak Kleene logics. JOURNAL OF APPLIED NON-CLASSICAL LOGICS, 29(1), 1-36 [10.1080/11663081.2018.1547514].
File in questo prodotto:
Non ci sono file associati a questo prodotto.

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/402162
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 17
  • ???jsp.display-item.citation.isi??? ND
social impact