The aim of this article is to discuss pure variable inclusion logics, that is, logical systems where valid entailments require that the propositional variables occurring in the conclusion are included among those appearing ...

In this paper we discuss two applications of the logical controller Paracontrol. Such controller is based on Paraconsistent Annotated Logic and it is capable of manipulating imprecise, inconsistent and paracompete data.

This paper deals with conceptions of formality underlying 19th Century symbolic logic, where notations and manipulation of signs played an important role. It is devoted specifically to the case of Ernst Schröder’s “formal ...

In this paper we discuss the extent to which conjunction and disjunction can be rightfully regarded as such, in the context of infectious logics. Infectious logics are peculiar many-valued logics whose underlying algebra ...

Some authors have called into question the normativity of logic, using as an argument that the bridge principles for logical normativity (MacFarlane, In what sense (in any) is logic normative for thought, 2004)? are just ...

This article is concerned with an exploration of a family of systems---called immune logics---whose main properties are, in some sense, related to those of the well-known family of infectious logics. The distinctive feature ...

This paper extends Fitting’s epistemic interpretation of some Kleene logics to also account for Paraconsistent Weak Kleene logic. To achieve this goal, a dualization of Fitting’s “cut-down” operator is discussed, leading ...

Presently, there are new kinds of logic capable of handling uncertain and contradictory data without becoming trivial. Decision making theories based on these logics have shown to be powerful in many aspects regarding more ...

When discussing Logical Pluralism several critics argue that such an open-minded position is untenable. The key to this conclusion is that, given a number of widely accepted assumptions, the pluralist view collapses into ...