资讯

In this paper we introduce a paraconsistent reasoning strategy, Chunk and Permeate. In this, information is broken up into chunks, and a limited amount of information is allowed to flow between chunks ...
We develop a paraconsistent logic by introducing new models for conditionals with acceptive and rejective selection functions which are variants of Chellas' conditional models. The acceptance and ...
C-systems: A family of paraconsistent logics characterised by the use of non-deterministic matrices, enabling modular and uniform approaches to reasoning with inconsistent information.
Known as one Brazil’s most original thinkers, Newton da Costa, a logician from Curitiba, died on April 16 at the age of 94 due to complications resulting from a fall he suffered at his home in ...