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

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 TRM takes a different approach. Jolicoeur-Martineau was inspired by a technique known as the hierarchical reasoning model ...

Analytical Continuous-Valued Logic (ACVL) is a theoretical framework that aims to understand the essence of neural networks and provide new insights into questions about artificial intelligence, ...