Defining LFIs and LFUs in extensions of infectious logics

Damian Enrique Szmuc
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
more » ... e fragments have been studied proof-theoretically by Marcelo Coniglio and Inés Corbalán in (Coniglio & Corbalán, 2012) . 13 We should clarify, however, that the systems B 3 and H 3 are not properly speaking infectious, since they are endowed with 'assignificativity' or 'nonsense' connectives, which take the nonsensical infectious values to classical values. However, as we remarked before, their classical fragments constitute infectious logics.
doi:10.1080/11663081.2017.1290488 fatcat:czle7u7gxrbili5z42fmvkqzyu