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 ...
In positive logic the negation of a proposition A is defined by $A\supset X$ where X is some fixed proposition. A number of standard properties of negation, including ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback