On paraconsistent weak Kleene logic: Axiomatisation and algebraic analysis

S Bonzio, J Gil-Férez, F Paoli, L Peruzzi - Studia Logica, 2017 - Springer
Abstract Paraconsistent Weak Kleene logic (PWK) is the 3-valued logic with two designated
values defined through the weak Kleene tables. This paper is a first attempt to investigate …

Logics of nonsense and Parry systems

TM Ferguson - Journal of Philosophical Logic, 2015 - Springer
We examine the relationship between the logics of nonsense of Bochvar and Halldén and
the containment logics in the neighborhood of William Parry's AI. We detail two strategies for …

Defining LFIs and LFUs in extensions of infectious logics

DE Szmuc - Journal of Applied Non-Classical Logics, 2016 - Taylor & Francis
The aim of this paper is to explore the peculiar case of infectious logics, a group of systems
obtained generalizing the semantic behavior characteristic of the-fragment of the logics of …

Logics based on linear orders of contaminating values

R Ciuni, T Macaulay Ferguson… - Journal of Logic and …, 2019 - academic.oup.com
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 …

A computational interpretation of conceptivism

TM Ferguson - Meaning and Proscription in Formal Logic: Variations …, 2017 - Springer
In this chapter, we consider interpretations of disjunction that accord with a characteristic
feature of Parry logics: the failure of Addition. In such a context, the evaluation of a …

Theories of truth based on four-valued infectious logics

B Da Ré, F Pailos, D Szmuc - Logic Journal of the IGPL, 2020 - academic.oup.com
Infectious logics are systems that have a truth-value that is assigned to a compound formula
whenever it is assigned to one of its components. This paper studies four-valued infectious …

An epistemic interpretation of paraconsistent weak Kleene logic

DE Szmuc - Logic and Logical Philosophy, 2019 - apcz.umk.pl
This paper extends Fitting's epistemic interpretation of some Kleene logics to also account
for Paraconsistent Weak Kleene logic. To achieve this goal, a dualization of Fitting's “cut …

Proof theory of paraconsistent weak Kleene logic

F Paoli, M Pra Baldi - Studia Logica, 2020 - Springer
Abstract Paraconsistent Weak Kleene Logic (PWK) is the 3-valued propositional logic
defined on the weak Kleene tables and with two designated values. Most of the existing …

Semantical analysis of weak Kleene logics

R Ciuni, M Carrara - Journal of Applied Non-Classical Logics, 2019 - Taylor & Francis
This paper presents a semantical analysis of the Weak Kleene Logics K 3 w and PWK from
the tradition of Bochvar and Halldén. These are three-valued logics in which a formula takes …

Faulty Belnap Computers and Subsystems of E fde

TM Ferguson - Meaning and Proscription in Formal Logic: Variations …, 2017 - Springer
This chapter continues the consideration of the potential for interpreting 'nonsense'values as
catastrophic faults in computational processes, focusing on the particular case in which Nuel …