Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
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 …
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 …
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 …
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 …
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 …
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
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 …
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 …
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 …
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 …
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 …
catastrophic faults in computational processes, focusing on the particular case in which Nuel …