Embedding classical propositional logic into paralogics related to Par

Abstract

The work is carried out in the line with a study of connections between classical logic, on one hand, and non-classical logics, on the other hand. In the paper an effectively computable mapping is constructed that embeds classical propositional logic into any paralogic, which includes logic Par from [2] and has the same language with Par.