What is a logic? Which properties are preserved by maps between logics? What is the right notion for equivalence of logics? In order to give satisfactory answers we generalize and further develop the topological approach ...

We will present all the mixed and impure disjoint three-valued logics based on the Strong Kleene schema. Some, but not all of them, are (inferentially) empty logics, while one of them is trivial. We will compare them ...

In this chapter, we propose a definition of logical consequence based on the relation between the quantity of information present in a particular set of formulae and a particular formula. As a starting point, we use Shannon’s ...

The rivalry between classical logic and its non-classical contenders occupies the centre stage in contemporary philosophical logic. The central issue is to know how to choose a logical system (or theory thereof) among the ...

In this paper we present a logic controller based on ideas of Fuzzy logic and Paraconsistent Annotated Logic. The combination of both logics brings a new approach to fuzzy, inconsistent and paracomplete concepts. The ...