Open AccessПогружение классической пропозициональной логики в паралогики, родственные логике Par
Author(s) -
В. М. Попов
Publication year - 2014
Publication title -
logičeskie issledovaniâ
Language(s) - Russian
Resource type - Journals
eISSN - 2413-2713
pISSN - 2074-1472
DOI - 10.21146/2074-1472-2014-20-0-149-158
Subject(s) - chemistry
Работа выполнена в русле изучения связей между классическими логиками, с одной стороны, и неклассическими логиками, с другой стороны. В статье построено эффективно вычислимое отображение, погружающее классическую пропозициональную логику в любую паралогику, которая включает логику Par из [2] и имеет с Par один и тот же язык.