A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Defining LFIs and LFUs in extensions of infectious logics
2016
Journal of Applied Non-Classical Logics
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 nonsense, such as the ones due to Bochvar and Halldén, among others. Here, we extend these logics with classical negations, and we furthermore show that some of these extended systems can be properly regarded as Logics of Formal Inconsistency (LFIs) and Logics of Formal Undeterminedness (LFUs). 12
doi:10.1080/11663081.2017.1290488
fatcat:czle7u7gxrbili5z42fmvkqzyu