I prove that the three basic propositions of Vasiliev's paraconsistent logic have a semantic interpretation by means of the intuitionist logic. The interpèretation is confirmed by amens of the da Costa's model of Vasiliev's paraconsistent logic.

This contribution gives an outline of a game theoretic foundation of the logical structure inherent to the language of a science. Game theoretic approaches to a language were considered and developed by several authors. In this volume Saarinen examines the game theoretic semantics due to Hintikka and the dialog-game semantics due to Lorenzen. In the following I shall not re-examine the approaches by Hintikka and Lorenzen. However, some remarks about Lorenzen’s semantics are necessary since the game theoretic approach considered here (...) is essentially based on the idea of Lorenzen to use dialog-games for a foundation of logic.A systematic game theoretic presentation of the rules of a dialog game was given at first by Lorenz. Starting with certain structural rules which constitute the general scheme of a dialog, a further dialog rule is necessary in order to guarantee a finite game. (shrink)