CC BY
55УДК 164.3 + 510.643
А.С. Карпенко Решетки четырехзначных модальных логик
Карпенко Александр Степанович
Сектор логики, Институт философии РАН. 119991, Россия, Москва, ул. Волхонка, 14, строение 5. e-mail: [email protected]
В статье рассматриваются четыре решетки четырехзначных модальных логик. В основе построения лежат различные алгебраические структуры, которые затем последовательно расширяются эндоморфизмами и константными функциями. В первом случае строится решетка расширений булевой алгебры Б2, затем строится решетка расширений алгебры Де Моргана DM4. В обоих случаях возникают различные модальные логики, свойства которых описываются и сравниваются между собой. Отдельно рассматривается решетка, где появляется тетравалентная модальная логика TML. Наконец, первые две решетки «объединяются» и вычленяется класс основных модальных четырехзначных логик, состоящий из L-модальной системы Лукасевича, логики Собочиньского V2 и логики истины фон Вригта T". Особого внимания заслуживает логика Tr, которая функционально эквивалентна логике V2, и занимает центральное место в последней решетке. Она единственная из всех рассмотренных четырехзначных модальных логик, которая обладает интерполяционным свойством Крейга, и кроме того, является прекрасным кандидатом на роль пропозициональной логики истины. В заключение в статье представлена ее аксиоматизация.
Keywords: модальные логики, решетки логик, булева алгебра, алгебра Де Моргана, эндоморфизмы, замкнутые классы функций, булевы каскады, логика Tr
1 Введение
Я. Лукасевич в середине прошлого века сделал следующее заявление: «Я стою на той точке зрения, что в любой модальной логике должно быть сохранено классическое исчисление предложений. До сих пор это исчисление продемонстрировало свою надежность и полезность, и оно не должно быть отвергнуто без достаточно веских оснований» [2, с. 233]. В результате, Лукасевич отказывается от своей знаменитой трехзначной логики Lз и ее модального варианта и строит четырехзначную L-модальную систему [23]1, к которой мы еще вернемся.
Однако на самом деле все началось с классической книги К. Льюиса и К. Лэнгфорда [22], где определяются и исследуются модальные системы S1-S5, используя главным образом 4-значные матрицы. Здесь
хО философских основаниях этих логик и их модальных свойствах см. [8].
Логические исследования. 2015. 21(1):122—137 / Logical Investigations. 2015. 21(1):122—137
было выделено пять групп четырехзначных матриц, которые различались лишь определением оператора необходимости в то время как немодальная часть представляет собой не что иное, как четырехзначную классическую логику С4.
2 Четырехзначная классическая логика С4
Пусть есть четырехзначная логическая матрица
< М, ^, У, /, —, {1} >,
где М = {1,а,Ь, 0}. Эта матрица получена посредством прямого произведения матрицы МР (для классической пропозициональной логики С2) саму на себя, т.е. = МР х МР, где матричные операции —, ^, У, / определяются следующим образом:
х —х 1 0 а Ь Ь а 01
^ 1 а Ь 0 11 а Ь 0 а а а 0 0 Ь Ь 0 Ь 0 0 0 0 0 0
Обратим внимание, что здесь М — частично упорядоченное множество: 0 < Ь, а < 1 (то есть Ь и а несравнимы).
Хорошо известно, что матрица является характеристической для С2. Логику с соответствующими логическими связками обозначим посредством С4. Ее алгебраическим эквивалентом является четырехэле-ментная булева алгебра В2 = В х В (В — двухэлементная булева алгебра).
3 Эндоморфизмы
Заметим, что имеется всего 256 унарных четырехзначных операторов, которыми можно расширить С4. Было бы желательно иметь какой-то критерий для их выбора с целью построения наиболее интересных
1 а Ь 0
1 1 а Ь 0
а 1 1 Ь Ь
Ь 1 а 1 а
0 1 1 1 1
У 1 а Ь 0
1 1 1 1 1
а 1 а 1 а
Ь 1 1 Ь Ь
0 1 а Ь 0
модальных четырехзначных логик. В 1966 г. Э. Леммон (см. [10]) выделяет 15 унарных операторов, которые добавляются к С4. Все эти 15 групп матриц называются регулярными, поскольку они верифицируют модальную аксиому К: О(ф Э ф) Э (Оф Э Оф)2.
Однако имеется одно очень важное и весьма эффективное ограничение на выбор этих операторов, предложенное в работе Н.М. Ермолаевой и А.А. Мучника [7]. Еще в статье [6, с. 229] они обратили внимание на то, что модальные операторы, а также временные операторы в ряде модальных (временных) логик и соответствующих алгебр выражаются с помощью эндоморфизмов в дистрибутивных решетках.
Фундаментальную роль в дальнейшем будут играть одноместные функции д, в\ и в2, задаваемые таблично:
х д(х) е\(х) е2(х)
1 1 1 1
а Ь 0 1
Ь а 1 0
0 0 0 0
В булевой алгебре В2 эти функции являются эндоморфизмами:
/ (х V у) = /(х) V /(у), /(х Л у) = /(х) Л /(у), /(-х) = -/(х), /(1) = 1, /(0) = 0, /(х^) = (/(х)У ,3
где / может быть любой из функций д, в\ и в2. В [7] отмечается, что вместе с ео(х) = х (тождественной функцией) д, в\ и в2 образуют моноид Q всех эндоморфизмов В2. Если наряду с эндоморфизмами взять также константные функции а(х) = а, Ь(х) = Ь, 1(х) и 0(х) = 0, то вместе с д, е\ и е2 они образуют моноид Р всех эндоморфизмов В2 как дистрибутивной решетки, которые могут не сохранять 0 и 1.
Основной результат статьи [7] состоит в описании всех функционально замкнутых классов на М, т.е. функций из Р4 (Р4 есть класс всех
2В этой работе Леммон также описывает двухэлементные модели Крипке для всех 15 четырехзначных модальных логик, являющихся расширением С4 (с. 121).
3
а I х, при а = 1 х = <
I —х, при а = 0.
четырехзначных функций логики Поста [6]), содержащих булевы функции V, Л и Приводится решетка этих классов и для минимальных расширений определены соответствующие четырехзначные модальные
4
логики .
4 Решетка расширений булевой алгебры Б2
Обозначим через (fi, f2,..., fk) функционально замкнутый класс, порождаемый функциями (fi, f2,..., fk) из P4 и положим
B2 = (V, Л, -); Pg = (V, Л, -,g); Pi = (V, Л, -,ei); P2 = (V, Л,e2); Pab = (V, Л,a) = (V, Л, b); Pabi = (V, Л,ei,a, b); Pab2 = (V, Л, e2, a, b); Pi2 = (V, Л, —, ei, e2)= Toi.
В [7] доказано, что P4 = (V, Л, —, ei, e2, a,b) и что все замкнутые (функционально) расширения B2 выписаны выше. Решетка этих классов указана на рис. 1 (см. [7, с. 301]):
P4
Рис. 1.
4В связи с построением решеток замкнутых (функционально) классов конеч-нозначных функций обратим внимание на работу Н.Е. Томовой [4], где строится изящная семиэлементная решетка расширений трехзначной слабой логики Клини «естественными» импликациями. См. также [5].
Обратим внимание на то, что все минимальные расширения Б2 — Pg, Pi, P2, Pab (логики первого уровня) функционально эквивалентны модальным логикам: Pg — логике Собочиньского V2, Pi и P2 — логике Собочиньского K4, которую, чтобы отличить от льюисовской модальной системы K4, будем обозначать посредством K4(S), и Pab — L-модальной системе Лукасевича, упомянутой нами выше. Рассмотрим эти модальные логики по отдельности, а затем определимся с системой
Pi2.
Модальная логика Собочиньского V2 есть расширение S5 посредством формулы:
□ф V □ (ф — ф) V □ (ф — —ф) [25, с. 305], где модальный оператор □ определяется следующим образом:
□ 1 = 1; □a = □b = □О = 0.
Модальный оператор с такими свойствами назовем «стандартным». Характеристической матрицей для V2 со связками —, — и □ как раз является матрица «группы III» из [22, с. 493].
Модальная логика Собочиньского K4(S) [26] есть расширение S4.4 посредством формулы □(□Оф — ООф), где S4.4 есть S4 + □(ф — (ООф — □ф)), и модальный оператор □ определяется следующим образом:
□1 = 1; □a = 0; □b = b; □О = 0.
В [27] было доказано, что матрица со связками —, — и □ (матрица «группы II» из [22, с. 493]) является характеристической для модальной логики K4(S).
Общепринятая аксиоматизация L-модальной системы Лукасевича представлена в [1, с. 160]:
1. Классическая пропозициональная логика C2.
2. □(ф — ф) — (□ф — □ф),
3. □ф — ф,
4. □ф — (ф — □ф),
где оператор □ определяется следующим образом:
□1 = □a = a; □b = □О = 0.
Во всех рассмотренных системах два правила вывода: modus ponens и правило Гёделя.
Интересна проблема аксиоматизации непосредственно систем Pg = (У, А, —,g), Pi = (У, А,-,ei), P2 = (У, А, —,в2) и Pab = (У, А, —,а) = (У, А, —,b). К решению это проблемы для Pg вернемся в конце статьи.
Рассмотрим теперь логики второго уровня: Pabi, Pab2 и P12. Две логики, являющиеся соответственно расширением L-модальной системы Лукасевича эндоморфизмами ei и e2, появляются впервые.
Относительно P12 в [7] лишь указывается, что этот класс функций соответствует предполному5 в P4 классу функций Toi, сохраняющих {1, 0} (см. [6]). Показано, что класс T0i порождается базисом {У, А,—,ei,e2}, а также {У, А, —,g,ek}(k = 1, 2), то есть равен Pi2.6 Однако заметим, что из теоремы В.К. Финна [3] о функциональных свойствах многозначных логик Лукасевича Ln следует, что L4 по своим функциональным свойствам соответствует классу Яблонского Toi. Таким образом, расширение Pi2 функционально эквивалентно четырехзначной логике Лукасевича L4.
Все эти рассуждения опирается на довольно-таки громоздкие результаты. Более непосредственно это выглядит следующим образом. Пусть 0 < b < а < 1, то есть M линейно упорядочено. Покажем что классы {У, А, —,ei,e2} и {U, П, —, Ji, Ja, Jb, J0} функционально эквивалентны, где x U y = max(x,y), x П y = min(x,y) и Jj-функции выразимы в Pi2 следующим образом:
Ji(x) = ei(x) А e2(x),
Ja(x) = —ei(x) А e2(x),
Jb(x) = ei(x) А —e2(x),
J0(x) = —ei(x) А —e2(x).
Теперь, используя Jj-функции, можно выразить x U y:
x U y = (xАy)У(Jo(x)Аy)У(xАJo(y))У(Jb(x)Аy)У(xАJb(y))УJl(x)УJl(y), x П y = —(—x U —y).
5 Система F функций называется предполной в Pn, если F представляет не полную систему, но добавление к F любой функции f такой, что f £ Pn и f / F преобразует F в полную систему. Подробно о функциональных свойствах конеч-нозначныхлогик см. [9, гл. 7].
6Это также означает, что «дуга» на рис. 1 от Б2 к P12 правильно показывает, что класс P12 содержит эндоморфизм g.
Таким образом, классы {V, Л, —, el, e2} и {U, П, —, J1, Ja, Jb, J0} функционально эквивалентны. Остается только заметить, что класс {U, П, —, Ji, Ja, Jb, Jo} является базисом для четырехзначной логики Лукасевича L4 (см. [9, с. 125]).
Что касается самого класса P4, то его функциональная полнота следует из того, что, как уже говорилось, класс T01 предполон в P4, и этот класс обладает свойством сохранения 0 и 1. Поэтому добавление к этому классу функций a или b, не обладающих этим свойством, обеспечивает функциональную полноту P4.
5 Четырехзначная логика Белнапа B4
В [1] и [2] Н. Белнапом была предложена «полезная четырехзначная ло-гика»(будем обозначать ее посредством B4), которая со временем вызвала необычайный интерес, особенно среди специалистов в области информатики и искусственного интеллекта. Логическими связками B4 являются V, Л и где отрицание ~ определяется следующим образом: ~ 1 = 0; ~ a = a; ~ b = b; ~ 0 = 1.
Алгебры, соответствующие логике Белнапа B4, стали называться решетками Де Моргана7 и обозначаться посредством DM4. Тщательному изучению B4 посвящена статья [8], где представлено элегантное секвенциальное исчисление для B4, его взаимоотношение с подобными исчислениями для трехзначной логики Клини K3 и для классической логики C2. Главный результат заключается в следующем: класс решеток Де Моргана является алгебраическим примером B4; точно так же, как класс булевых алгебр является алгебраическим примером C2.8
Четырехзначная логика Белнапа B4 оказалась очень полезной в качестве базиса для других логик. Особенно интересны ее расширения стандартным модальным оператором □ (см. выше логику V2) и связкой импликации9. Однако вначале опишем функционально замкнутые классы на M, содержащие функции V, Л и и рассмотрим расширения решетки Де Моргана DM4.
7Решеткой Де Моргана называется дистрибутивная решетка < A, V, Л > с операцией причем ~ (х V у) =~ хЛ ~ y; ~ (x Л y) =~ xV ~ y; ^^ x = x. Операция ~ называется отрицанием Де Моргана. Решетка Де Моргана с 1 и 0 называется алгеброй Де Моргана, причем a V b = 1; a Л b = 0.
8См. также [24].
9См. четырехзначную логику В.М. Попова Par [3], которая представляет собой расширение B4 соответствующей импликацией. Здесь дается секвенциальная и гиль-бертовская аксиоматизация Par. В [24] исследуется алгебраический эквивалент логики Par, который называется «импликативной алгеброй Де Моргана».
6 Решетка расширений ЮМ4
Как и ранее, обозначим через (/1, /2,..., /к) функционально замкнутый класс, порождаемый функциями /1, /2, ■ ■ ■, /к из Р4 и положим:
БЫ4 = (У, А, Рд = (У, А, ~,д);
Рею = (У, А, б1) = (У, А, в2) = Рф;
Ра = (У, А, ~,а); Рь = (У, А, ~,Ъ);
Р®а = (У, А, еь в2, а); Реь = (У, А, в1,в2, Ъ);
Р'аь = (У, А, а, Ъ)10.
Покажем, что (У, А, е1,е2, а, Ъ) = (У, А, —, е1,е2, а, Ъ) = Р4: д(х) = (Ъ А е1(х)) У (а А е2(х)) (см. [7, с. 302]), -(х) = д ~ (х). Решетка выписанных выше классов указана на рис. 2:
Вначале покажем, что логики со связками (У, А, —,д) и (У, А, ~,д) функционально эквивалентны:
-(х) = д ~ (х) и ~ (х) = д—(х).
10Здесь Р'аЬ, чтобы отличить ее от РаЬ на рис. 1.
Р
БЫ 4
Рис. 2.
Поэтому имеем Pg как в решетке на рис. 1, так и в решетке на рис. 2. В дальнейшем логику со связками (V, Л, g) будем обозначать посредством Tr.
В этой решетке особый интерес представляет логика со связками (V, Л, ~,e1,e2), которая есть не что иное как логика истины Г. фон Вригта [4], обозначаемая посредством T"LM (в дальнейшем T"). Подробно об ее свойствах и аксиоматизации см. в [21]. Заметим только, что в ней эндоморфизмы ei и в2 взаимовыразимы:
e\(x) =: ~ (e2(~ x)) и e2(x) =: ~ (в\(~ x)).
7 Тетравалентная модальная логика TML
В приведенной выше решетке не нашлось места для модальной логики TML, которая привлекла к себе большое внимание, особенно со стороны алгебраистов. Строится она аналогично тому, как была получена модальная логика V2. В первом случае, булева алгебра расширяется стандартным модальным оператором □, а во втором — этим же оператором расширяется алгебра Де Моргана.
Впервые логика B4, расширенная этим модальным оператором, изучалась в [5], где был также представлен ее алгебраический эквивалент с теоремой представления. Здесь отмечается, что алгебра подобной логики возникла еще при первоначальной попытке Г. Мойсила найти короткую систему аксиом для трехэлементных алгебр Лукасевича.
Специально изучению такой логики под названием TML (tetravalent modal logic) и их алгебрам (TMA) посвящена обстоятельная статья [9] (см. также [7]). Здесь отмечается, что TMA первоначально изучались А. Монтейро при исследовании трехэлементных алгебр Лукасевича.
В [9] приводится изящная аксиоматизация TMA, к аксиомам алгебры Де Моргана добавляются следующие две аксиомы:
(TM1) ОеЛ ~ x = 0,
(TM2) ~ □x Л x =~ x Л x.
Здесь же представлено секвенциальное исчисление логики TML (с. 496).
Заметим, что логики Tr и T" являются расширением TML, т.е. через операции Tr (через операции T") выразим модальный оператор □. Покажем это:
1) □x = x Л g(x),
2) □x = ei(x) Л e2(x).
Теперь мы можем представить еще одну решетку расширений БМ4, используя на этот раз только эндоморфизмы и модальный оператор
Здесь класс Рп есть (V, Л, □), который в точности соответствует логическим операциям логики ТМЬ.
8 Основная решетка четырехзначных модальных логик
Наша задача — по возможности объединить в единую решетку логики, представленные классами функций на рис. 1 и на рис. 2. Пусть Б есть дистрибутивная решетка Б = (V, Л), которая на рис. 4 расширяется слева операциями — и а, Ь, а справа операциями ~ и в\, е2:
□х:
То1
БМ 4
Рис. 3.
РаЬ
Б
Рис. 4.
Обратим внимание на центральный ряд — это расширения Pab, Pg и Рф, которые функционально эквивалентны следующим модальным логикам: L-модальной системе Лукасевича, логике Tr и логике фон Вригта T". Эти модальные логики назовем фундаментальными. Особое место здесь по праву занимает логика Tr.
9 Булева склейка
Однако имеется более естественный путь объединения этих двух решеток в одну. Обратим внимание на то, что при пересечении классов функций обеих решеток совпадают только два класса — Р4 и Pg. Таким образом, объединение двух решеток происходит следующим образом: вершина решетки на рис. 2 «склеивается» с вершиной решетки на рис. 1, то есть «склеиваются» два класса Р4, а класс Pg является тем «стержнем», который связывает обе решетки. В итоге имеем 16-ти элементную решетку, которая является результатом «склейки» двух 8-ми элементных булевых решеток. Полученная решетка заслуживает специального исследования, что может послужить основанием для введения нового класса алгебраических структур.
В связи с этим обратим внимание на алгебраические структуры под названием «булевы каскады», введенные Л. Эсакиа в [16]. Булев каскад — это алгебра Гейтинга, изоморфная каскадному соединению булевых решеток. В этом соединении наибольший элемент предшествующей булевой решетки Bi является наименьшим элементом последующей булевой решетки Bi+\. Булевы каскады являются алгебраическими моделями интуиционистской логики H, в которой верен слабый закон Пирса wP, то есть формула
(q ^ p) v [((p ^ q) ^ p) ^ p].
В [8] представлено два примера булевых каскадов (соединение двух 8-ми элементных булевых решеток), элементами каждого из которых являются импликативные логики.
В связи с вышесказанным возникает вопрос об алгебраической структуре нашей булевой «склейки», и алгебраическим примером какой логики эта «склейка» является?
10 Модальная логика Tr
Особенность логики Tr уже в том, что она единственная из всех рассмотренных четырехзначных логик, которая обладает интерполяционным свойством Крейга. Кроме того, она является прекрасным канди-
датом на роль пропозициональной логики истины. Все эти вопросы мы рассмотрим в следующей статье, а здесь представим аксиоматизацию Tr, где модальный оператор □ есть эндоморфизм g:
1. Классическая пропозициональная логика С2.
2. □ (ф ^ ф) о (□ф ^ □ф).
3. —□ф о □—ф.
4. □□ф о ф.
Правила вывода: modus ponens и правило Гёделя. Доказательство полноты логики Tr по Крипке, а также доказательство алгебраической полноты будут представлены в следующей статье.
Литература
[1] Белнап Н. Как нужно рассуждать компьютеру // Белнап Н., Стил Т. Логика вопросов и ответов. М.: Прогресс, 1981. С. 208-239.
[2] Белнап Н. Об одной полезной четырехзначной логике // Белнап Н., Стил Т. Логика вопросов и ответов. М.: Прогресс, 1981. С. 240-267.
[3] Бочвар Д.А., Финн В.К. О многозначных логиках, допускающих формализацию анализа антиномий. 1 // Исследования по математической лингвистике, математической логике и информационным языкам. М.: Наука, 1972. С. 238-295.
[4] Вригт Г.Х., фон. Логика истины // Вригт Г.Х., фон. Логико-философские исследования. Избранные труды. М.: Прогресс, 1986. C. 555-579.
[5] Ермолаева Н.М., Мучник А.А. Модальные расширения логических исчислений типа Хао Вана // Исследования по формализованным языкам и неклассическим логикам. М.: Наука, 1974. С. 172-193.
[6] Ермолаева Н.М., Мучник А.А. Модальные логики, определяемые эндоморфизмами дистрибутивных решеток // Исследования по теории множеств и неклассическим логикам. М.: Наука, 1976. С. 229-246.
[7] Ермолаева Н.М., Мучник А.А. Функционально замкнутые 4-значные расширения булевой алгебры и соответствующие логики // Исследования по неклассическим логикам и теории множеств. М.: Наука, 1979. С. 298-315.
[8] Карпенко А.С. Булевы каскады импликативных логик // Смирновские чтения: материалы 2-й международной научной конференции. М.: ИФРАН, 1999. С. 41-44.
[9] Карпенко А.С. Развитие многозначной логики. М.: Издательство ЛКИ, 2010. 448 с.
Леммон Е. Алгебраическая семантика для модальных логик I // Семантика модальных и интенсиональных логик / Ред. В.А. Смирнов. М.: Прогресс, 1981. С. 98-124.
Леммон Е. Алгебраическая семантика для модальных логик II // Семантика модальных и интенсиональных логик / Ред. В.А. Смирнов. М.: Прогресс, 1981. С. 125-165.
Лукасевич Я. Аристотелевская силлогистика с точки зрения современной формальной логики. М.: Иностранная литература, 1959. 312 с. Попов В.М. Секвенциальные формулировки паранепротиворечивых логических систем // Синтаксические и семантические исследования неэкстенсиональных логик. М.: Наука, 1989. C. 285-289.
Томова Н.Е. Импликативные расширения регулярных логик Клини // Логические исследования. 2010. Вып. 16. С. 233-258.
Томова Н.Е. Естественные трехзначные логики: Функциональные свойства и отношения. М.: ИФРАН, 2012. 89 с.
Эсакиа Л. Доказуемостные интерпретации интуиционистской логики // Логические исследования. 1998. Вып. 5. С. 19-24.
Яблонский С.В. Функциональные построения в k-значной логике // Труды математического института им. В. А.Стеклова. 1958. Т. 51. С. 5-142. Coniglio M.E., Figallo M. Hilbert-style presentation of two logics associated to tetravalent modal algebras // Studia Logica. 2014. Vol. 102(3). P. 525-539.
Font J.M. Belnap's four-valued logic and De Morgan lattices // Logic Journal of the IGPL. 1997. Vol. 5(3). P. 413-440.
Font J.M., Rius M. An abstract algebraic logic approach to tetravalent modal logics // The Journal of Symbolic Logic. 2000. Vol. 65(2). P. 481-518.
Karpenko A.S. Von Wright's truth-logic and around // Logical Investigations. 2013. Vol. 19. P. 39-50.
Lewis C.I., Langford C.H. Symbolic Logic. N.Y.: Dover Publications, 1959 (2nd ed. with corrections). 506 p.
Lukasiewicz J. A system of modal logic // The Journal of Computing Systems. 1953. Vol. 1. P. 111-149.
Pynko A.P. Functional completeness and axiomatizability within Belnap's four-valued logic and its expansion // Journal of Applied Non-Classical Logics. 1999. Vol. 9(1). P. 61-105.
Sobochinski B. Modal system S4.4 // Notre Dame Journal of Formal Logic. 1964. Vol. 5(4). P. 305-312.
Sobochinski B. Family K of the non-Lewis modal systems // Notre Dame Journal of Formal Logic. 1964. Vol. 5(4). P. 313-318.
Zeman J.J. A study of some systems in the neighborhood of S4.4 // Notre Dame Journal of Formal Logic. 1971. Vol. XII(3). P. 341-357.
A.S. KARPENKO
Lattices of Four-valued Modal Logics
Karpenko Alexander Stepanovich
Department of Logic, Institute of Philosophy, Russian Academy of Sciences. Volkhonka 14/5, Moscow, 119991, Russian Federation. e-mail: [email protected]
In this paper four lattices of four-valued modal logics are considered. Different algebraic structures are the basis for construction, then these structures are gradually extended by the endomorphisms and constant functions. In the first case, the lattice of extensions of Boolean algebra B2 is formed, then the lattice of extensions of De Morgan algebra DM4 is constructed. In both cases the different modal logics appear, the properties of which are described and compared. The lattice with tetravalent modal logic TML is considered individually. Finally, the first two lattices are joined and the class of basic four-valued modal logics is singled out. This class consists of L-modal system of Lukasiewicz, logic V2 of Sobochinski and von Wright's truth-logic T". Special attention should be paid to the logic Tr, which is functionally equivalent to the logic V2 and occupies a central place in the final lattice. This logic is the only of the above-considered logics which has the Craig's interpolation property, and besides is an excellent candidate for the role of propositional logic of truth. In conclusion its axiomatization is presented.
Keywords: modal logics, lattices of logics, Boolean algebra, De Morgan algebra, endomorphismus, closed classes of functions, Boolean cascades, logic Tr
References
[1] Belnap, N. "Kak nuzhno rassuzhdat' komp'yuteru" [How a computer should think], in: Belnap N. i Stil T., Logika voprosov i otvetov [The logic of questions and answers]. Moscow: Progress, 1981, pp. 208-239. (In Russian)
[2] Belnap, N. "Ob odnoi poleznoi chetyrekhznachnoi logike" [On a useful four-valued logic], in: Belnap N. i Stil T., Logika voprosov i otvetov [The logic of questions and answers]. Moscow: Progress, 1981, pp. 240-267. (In Russian)
[3] Bochvar, D.A., Finn, V.K. "O mnogoznachnykh logikakh, dopuskayushchikh formalizatsiyu analiza antinomii. 1" [About many-valued logics, allowing the formalization of the analysis of antinomy. 1], in: Issledovaniya po matematicheskoi lingvistike, matematicheskoi logike i informatsionnym yazykam [Studies in mathematical linguistics, mathematical logic and language information]. Moscow: Nauka, 1972, pp. 238-295. (In Russian)
[4] Wright, G. H. Von. "Logika istiny" [The logic of truth], in: Wright, G. H. Von., Logiko-filosofskie issledovaniya. Izbrannye trudy [Logical and philosophical studies. Selected Works]. Moscow: Progress, 1986, pp. 555-579. (In Russian)
[5] Ermolaeva, N. M., Muchnik, A. A. "Modal'nye rasshireniya logicheskikh ischislenii tipa Khao Vana" [Modal extensions of logical calculus such as Wang Hao], in: Issledovaniya po formalizovannym yazykam i neklassicheskim logikam [Studies on the formal language and non-classical logics]. Moscow: Science, 1974, pp. 172-193. (In Russian)
[6] Ermolaeva, N. M., Muchnik, A. A. "Modal'nye logiki, opredelyaemye endomorfizmami distributivnykh reshetok" [Modal logic determined by the endomorphismus of distributive lattices], in: Issledovaniya po teorii mnozhestv i neklassicheskim logikam [Investigations on the theory of sets and non-classical logics]. Moscow: Science, 1976, pp. 229-246. (In Russian)
[7] Ermolaeva, N. M., Muchnik, A. A. "Funktsional'no zamknutye 4-znachnye rasshirenie bulevoi algebry i sootvetstvuyushchie logiki" [Functionally closed 4-valued extensions of Boolean algebra and the corresponding logics], in: Issledovaniya po neklassicheskim logikam i teorii mnozhestv [Investigations on non-classical logic and set theory]. Moscow: Science, 1979, pp. 298-315. (In Russian)
[8] Karpenko, A. S. "Bulevy kaskady implikativnykh logik" [Boolean cascades implicative logics], Smirnovskie chteniya [Smirnov's readings]. Proceedings of the Second International Scientific Conference. Moscow: IFRAS, 1999, pp. 4144. (In Russian)
[9] Karpenko, A. S. Razvitie mnogoznachnoi logiki [The development of multivalued logic]. Moscow: LCI Publisher, 2010. 448 pp. (In Russian)
[10] Lemmon, E. "Algebraicheskaya semantika dlya modal'nykh logik I" [Algebraic semantics for modal logics I], Semantika modal'nykh i intensional'nykh logik [The semantics of modal and intensional logics], ed. V. A. Smirnov. Moscow: Progress, 1981, pp. 98-124. (In Russian)
[11] Lemmon, E. "Algebraicheskaya semantika dlya modal'nykh logik II" [Algebraic semantics for modal logics II], Semantika modal'nykh i intensional'nykh logik [The semantics of modal and intensional logics], ed. V. A. Smirnov. Moscow: Progress, 1981, pp. 125-165.
[12] Lukasevich, Ya. Aristotelevskaya sillogistika s tochki zreniya sovremennoi formal'noi logiki [Aristotelian syllogistic from the poin of view of modern formal logic]. Moscow: Inostrannaya literatura, 1959, 312 pp. (In Russian)
[13] Popov, V.M. "Sekventsial'nye formulirovki paraneprotivorechivykh logicheskikh sistem" [Sequential formulations of paraconsistent logical systems], in: Sintaksicheskie i semanticheskie issledovaniya neekstensional'nykh logik [Syntactic and semantic research of non-extensional logics]. Moscow: Nauka, 1989, pp. 285-289. (In Russian)
[14] Tomova, N.E. "Implikativnye rasshireniya regulyarnykh logik Klini" [Implicative extensions of regular Kleene logics], Logicheskie issledovaniya [Logical investigations], 2010, vol. 16, pp. 233-258. (In Russian)
Tomova, N.E. Estestvennye trekhznachnye logiki: Funktsional'nye svoistva i otnosheniya [Natural three-valued logics: functional properties and relations], Moscow: IFRAN Publ, 2012, 89 pp. (In Russian)
Esakia, L. "Dokazuemostnye interpretatsii intuitsionistskoi logiki" [Provableness interpretations of intuitionistic logic], Logicheskie issledovaniya [Logical investigations], 1998, vol. 5, pp. 19-24. (In Russian)
Yablonskii, S.V. "Funktsional'nye postroeniya v k-znachnoi logike" [Functional constructions in k-valued logic], Trudy matematicheskogo instituta im. V. A.Steklova, 1958, vol. 51, pp. 5-142. (In Russian)
Coniglio, M.E., Figallo, M. "Hilbert-style presentation of two logics associated to tetravalent modal algebras", Studia Logica, 2014, vol. 102(3), pp. 525-539.
Font, J.M. "Belnap's four-valued logic and De Morgan lattices", Logic Journal of the IGPL, 1997, vol. 5(3), pp. 413-440.
Font, J.M., Rius, M. "An abstract algebraic logic approach to tetravalent modal logics", The Journal of Symbolic Logic, 2000, vol. 65(2), pp. 481-518.
Karpenko, A.S. "Von Wright's truth-logic and around", Logical Investigations, 2013, vol. 19, pp. 39-50.
Lewis, C.I., Langford, C.H. Symbolic Logic. New York: Dover Publications, 1959 (2nd ed. with corrections). 506 pp.
Lukasiewicz J. "A system of modal logic", The Journal of Computing Systems, 1953, vol. 1, pp. 111-149.
Pynko, A.P. "Functional completeness and axiomatizability within Belnap's four-valued logic and its expansion", Journal of Applied Non-Classical Logics, 1999, vol. 9(1), pp. 61-105.
Sobochinski, B. "Modal system S4.4", Notre Dame Journal of Formal Logic, 1964, vol. 5(4), pp. 305-312.
Sobochinski, B. "Family K of the non-Lewis modal systems", Notre Dame Journal of Formal Logic, 1964, vol. 5(4), pp. 313-318.
Zeman, J.J. "A study of some systems in the neighborhood of S4.4", Notre Dame Journal of Formal Logic, 1971, vol. XII(3), pp. 341-357.
