Studia Logica: An International Journal for Symbolic Logic, Vol. 43, No. 3 (1984), pp. 203-216 (14 pages) We propose a first order modal logic, the QS4E-logic, obtained by adding to the well-known ...

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

Computable model theory investigates the algorithmic aspects of model theoretic structures, aiming to delineate the boundaries between the computable and non-computable within various algebraic and ...

To continue reading this content, please enable JavaScript in your browser settings and refresh this page. "Leadership" is a powerful word. We feel it when we are in ...