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

En este artículo, ofrezco una caracterización del desacuerdo lógico. Según mi noción, los desacuerdos meramente verbales en lógica son inusuales. La mayoría de los desacuerdos lógicos son simplemente desacuerdos descriptivos ...

We introduce a modal separation logic MSL whose models are memory states from separation logic and the logical connectives include modal operators as well as separating conjunction and implication from separation logic. ...

The aim of this study is to analyze the relationship between training on abstraction and the comprehension of logic rules. In order to evaluate the possibility of improvement on logic performance we have selected the ...

In this paper we present an embedding of abstract argumentation systems into the framework of Barwise and Seligman’s logic of information flow.We show that, taking P.M. Dung’s characterization of argument systems, a local ...

In this paper we study an alternative approach to the concept of abstract logic and to connectives in abstract logics. The notion of abstract logic was introduced by Brown and Suszko (Diss Math 102:9–42, 1973)—nevertheless, ...