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

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 shows the results of the sensing system which was designed for the autonomous mobile robot Emmy III. The proposed Sensing System has as its mean part the Paraconsistent Neural Network. This artificial neural ...

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 thesis proposes as an investigation about Lacan's relation with logic. To do so, it is based on the logical reading that Lacan undertakes on the Freudian hypothesis of the existence of the unconscious, in which the ...

It is widely accepted that classical logic is trivialized in the presence of a transparent truth-predicate. In this paper, we will explain why this point of view must be given up. The hierarchy of metainferential logics ...

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

Paul Hertz was an outstanding German physicist, who also devoted himself to mathematical logic and wrote a series of papers that remained rather unnoticed, even if they influenced the development of proof theory and ...