Mathematical logic, set theory, lattices and universal algebra form an interconnected framework that underpins much of modern mathematics. At its heart, mathematical logic provides rigorous formal ...

A Platonistic set theory with a universal set, CUSɩ, in the spirit of Alonzo Church's "Set Theory with a Universal Set," is presented; this theory uses a different sequence of restricted equivalence ...

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