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 an application of the Para-analyzer, a logical analyzer based on the Paraconsistent Annotated Logic Ptau, introduced by Da Silva Filho and Abe in the decision-making systems. An example is analyzed ...

The algebra of logic, as an explicit algebraic system showing the underlying mathematical structure of logic, was introduced by George Boole (1815-1864) in his book The Mathematical Analysis of Logic (1847). The methodology ...

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

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

O presente trabalho foi realizado com apoio da Coordenação de Aperfeiçoamento de Pessoal de Nível Superior – Brasil (CAPES) – Código de financiamento 001. O objeto central da lógica é investigado através de um estudo ...

Due to the growing interest in social networks, link prediction has received significant attention. Link prediction is mostly based on graph-based features, with some recent approaches focusing on domain semantics. We ...