Импликативные логики: решетки и конструкции.

Abstract

В последнее время стали появляться работы, устанавливающие взаимоотношение (иерархию) некоторых логических систем (Дошен [1988], [1989], Оно [1990], Вонсинг [1990]). При этом рассматриваются системы сразу с полным (full) набором логических связок. При установлении иерархии систем возникает вопрос о выборе исходной (базисной, минимальной) логической системы. Так, в последних двух упомянутых работах в качестве такой системы берется полное исчисление синтаксических категорий Ламбека [1958] в секвенциальной форме, которое затем последовательно расширяется за счет добавления структурных правил. Исходя из всего этого, в перспективе можно ставить вопрос о классификации логик.