Погружение воображаемой логики Н. А. Васильева в кванторную трехзначную логику.

Abstract

The aim o f the paper is to provide a form alization o f Nikolai Vasiliev's imaginary logic and to establish its m etatheoretical relation to quantified m any-valued logic. Syllogistic type calculus EL which axiom atizes the set o f imaginary logic laws is form ulated. The natural translation o f affirm ative, negative and «indifferent» (contradictory) statem ents o f the imaginary>logic into the language o f quantified three-valued logic is offered. It is p roved that IL system is em bedded into three-valued quantified Lukasiewicz logic