Logical Systems and Model Theory constitute a foundational area bridging mathematics, computer science and philosophy through the formalisation of reasoning. By abstracting the essential components of ...

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