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

The paper compares the distinction between formal and transcendental logic as it is presented by Kant in the CPR, with the understanding of the same distinction by the Marburg’s School, especially Cassirer (1907) and Natorp ...

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

The world of software development has become intrinsically heterogeneous. Many formal languages have been made available to help analysts and designers model different aspects of software. Some examples in the logic realm ...

In this work we present a dynamical approach to quantum logics. By changing the standard formalism of quantum mechanics to allow non-Hermitian operators as generators of time evolution, we address the question of how can ...

O objetivo da Dissertação é investigar, na perspectiva da Epistemologia Genética, proposta por Jean Piaget, uma questão que elaboramos a partir de nossos estudos sobre o Ensaio de Lógica Operatória escrito por Piaget, a ...

O objetivo da Dissertação é investigar, na perspectiva da Epistemologia Genética, proposta por Jean Piaget, uma questão que elaboramos a partir de nossos estudos sobre o Ensaio de Lógica Operatória escrito por Piaget, a ...