Logique et Analyse, NOUVELLE SÉRIE, Vol. 47, No. 185/188 (Mars – Juin – Septembre – Décembre 2004), pp. 227-257 (31 pages) In the present paper we devise and study the most natural predicative ...

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

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

Algebraic logic constitutes a vibrant interdisciplinary field that investigates the close interplay between algebraic structures and logical systems. By utilising tools from universal algebra, ...

Unicorns roam free in fantasy novels and children’s stories, not so much in the real world, much less the cold, analytical ones of math and philosophy. But it turns out that these logical disciplines ...

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