The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (i.e. logics containing contradictory but nontrivial theories) having a consistency connective which allows to recover the ex falso quodlibet ...

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 ...

In 1986, Mikenberg et al. introduced the semantic notion of quasi-truth defined by means of partial structures. In such structures, the predicates are seen as triples of pairwise disjoint sets: the set of tuples which ...

Reasoning and change over inconsistent ontologies (i-ont(s)) is of utmost relevance in sciences like medicine and law. Argumentation may be an appropriate formalism to cope with both problems: (reasoning) through an ...

In this paper, I will argue that Logics of Formal Inconsistency (LFIs) can be used as very sophisticated and powerful methods of classical recapture. I will compare LFIs with the well-known non-monotonic logics by Batens ...

We propose a new family of abstract argumentation frameworks which we refer to as generalized (identified through the acronym GenAF), due to its ability of adapting to different representation languages. GenAFs are formalized ...