I protest against the use of infinite magnitude as something completed, which in
mathematics is never permissible. Infinity is merely a façon de parler, the real meaning …

A critical view of the alleged significance of Belnap four-valued logic for reasoning under
inconsistent and incomplete information is provided. The difficulty lies in the confusion …

Let me begin with a brief discussion of the name of this chapter: the adjective “advanced” in
the title can only be understood in the temporal sense; the bulk of Urquhart's chapter in this …

Abstract The Polish logician Roman Suszko has extensively pleaded in the 1970s for a
restatement of the notion of many-valuedness. According to him, as he would often …

In this paper we study paraconsistent negation as a modal operator, considering the fact that
the classical negation of necessity has a paraconsistent behavior. We examine this operator …

We show by way of example how one can provide in a lot of cases simple modular
semantics of rules of inference, so that the semantics of a system is obtained by joining the …

The paper presents a method for transforming a given sound and complete n-sequent proof
system into an equivalent sound and complete system of ordinary sequents. The method is …

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

A finitary axiomatization for EQPL (exogenous quantum propositional logic) is presented.
The axiomatization is shown to be weakly complete relative to an oracle for analytical …

This paper discusses how to define logics as deductive limits of sequences of other logics.
The case of da Costa's hierarchy of increasingly weaker paraconsistent calculi, known as …