In traditional logic, contradictoriness (the presence of contradictions in a theory or in a body
of knowledge) and triviality (the fact that such a theory entails all possible consequences) …

In the dawn of the XXI century, debates on the statute of contradiction in logic, philosophy
and mathematics are still likely to raise the most diverse and animated sentiments. And this …

This paper introduces new logical systems which axiomatize a formal representation of
inconsistency (here taken to be equivalent to contradictoriness) in classical logic. We start …

The important question of reasoning in logical terms in the presence of inconsistency has
attracted the attention of researchers of various domains. The intention of this paper is to …

The analysis of reasoning with inconsistent information is modeled by a formal metasystem,
META, which is presented. Semantics for META is given in terms of possible translations into …

Man is capable of reasoning when the available information is incomplete. the conclusions
obtained are based on knowledge considered as “generally true.” These conclusions are …

When integrating data coming from multiple different sources we are faced with the
possibility of inconsistency in databases. In this paper, we use one of the paraconsistent …

In the paper Cut-free ordinary sequent calculi for logics having generalized finite-valued
semantics by A. Avron, J. Ben-Naim, and B. Konikowska.(Logica Universalis, 1: 41–69 …

In practical reasoning, it is common to have “too much” information about some situation. In
other words, it is common for there to be classically inconsistent information in a practical …

Being a pragmatic and not a referential approach tosemantics, the dialogical formulation
ofparaconsistency allows the following semantic idea tobe expressed within a semi-formal …