The object of this paper is to show how one is able to construct a paraconsistent theory of models that reflects much of the classical one. In other words the aim is to demonstrate that there is a ...

Algebraic logic unites techniques from universal algebra and lattice theory to investigate the structures underlying deductive systems. In this viewpoint, logical connectives and consequence relations ...

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

Part of paraconsistent sequence series and the hauntology series. “A paraconsistent logic allows inconsistency without absurdity.” The works in this subcollection contain contradictions of time and ...