Погружение классической пропозициональной логики в паралогики, родственные логике Par

Main Article Content

В. М. Попов

Аннотация




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.




Скачивания

Данные скачивания пока не доступны.

Article Details

Как цитировать
[1]
В. М. Попов. Погружение классической пропозициональной логики в паралогики, родственные логике Par // Логические исследования / Logical Investigations. 2018. Т. 20. № 1.
.
Раздел
Статьи