Регулярные логики Клини: расширение и обобщение тема диссертации и автореферата по ВАК РФ 09.00.07, кандидат философских наук Томова, Наталья Евгеньевна
- Специальность ВАК РФ09.00.07
- Количество страниц 85
Оглавление диссертации кандидат философских наук Томова, Наталья Евгеньевна
Введение.
Глава 1. Возникновение трехзначных логик.
1.1. Логика Лукасевича Ьз.
1.2. Регулярные логики Кпини.
1.3. Другие трехзначные логики.
Глава 2. Регулярные логики Клини и их расширения.
2.1. Свойства регулярных логик Клини и их взаимоотношения.
2.2. Импликативные расширения регулярных логик.
2.2.1. Определение естественной импликации.
2.2.2. Расширения К3.
2.2.3. Расширения К,*.
2.2.4. Расширения К^.
2.2.5. Решетка Ь(Кз) и другие трехзначные логики.
Глава 3. Р-логики. Расширение стандартных/?-логик.
3.1. Стандартные /?-логики.
3.2. Импликативные расширения стандартныхр-логик.
3.2.1. Расширения сильной р-логики.
3.2.2. Расширения слабой р-логики.
3.3. Обобщение понятия /?-логики. Естественные/?-логики.
3.3.1. Регулярные логики Клини, стандартные /7-логики, естественные /ьлогики.
Рекомендованный список диссертаций по специальности «Логика», 09.00.07 шифр ВАК
Логика с операторами истинности и ложности и ее соотношение с логиками Лукасевича, Клини, Белнапа и Вригта2000 год, кандидат философских наук Павлов, Сергей Афанасьевич
Многозначные изоморфы классической пропозициональной логики2008 год, кандидат философских наук Девяткин, Леонид Юрьевич
О пересечениях и объединениях предполных классов многозначной логики2013 год, кандидат физико-математических наук Нагорный, Александр Степанович
Релевантная логика и теория следования1985 год, доктор философских наук Сидоренко, Евгений Александрович
Обобщенная релевантная логика и модели рассуждений2012 год, доктор философских наук Зайцев, Дмитрий Владимирович
Введение диссертации (часть автореферата) на тему «Регулярные логики Клини: расширение и обобщение»
Диссертационная работа представляет собой исследование в области трехзначных логик. Разработка этих логик послужила началом развития одного из центральных разделов современной неклассической логики -многозначной. Возникновение неклассических логик, и в том числе многозначных, было продиктовано актуальными проблемами логики и философии. Системы многозначных логик, и их подкласс — трехзначные логики, строились на основании пересмотра принципов классической логики и применялись для решения конкретных познавательных задач.
Критика принципа двузначности имела различные предпосылки и основания, что привело к возникновению различных трехзначных систем. Так, первая трехзначная логика — логика Лукасевича (1920 г.) была построена в связи с анализом проблемы высказываний о будущих случайных событиях и связанной с ней проблемой логического фатализма. Другие системы трехзначных логик возникли в связи с необходимостью преодоления логических и семантических парадоксов. С другой стороны, возникает задача корректной работы с противоречивыми высказываниями, и эта важная, в том числе с философской точки зрения, задача в рамках трехзначной логики решается построением паранепротиворечивых систем. Особый класс среди трехзначных логик представляют регулярные логики. Они конструировались и использовались в качестве аппарата для работы с неразрешимыми утверждениями (утверждениями, которые невозможно ни доказать, ни опровергнуть).
Актуальность темы. Широкий класс проблем, решение которых связано с отказом от классической логики и ее принципов, приводит к многообразию трехзначных логик. В связи с множественностью и разнообразием логических систем возникает актуальная проблема изучения взаимоотношений между различными трехзначными логиками, их систематизации и упорядочивания в виде определенных структур.
Необходимо сказать, что в целом задача изучения различных классов логик и представление их в виде структур занимает значительное место в логических исследованиях со второй половины XX века, и в некоторых областях была успешно решена. Так, например, были построены и изучены решетки модальных логик, решетки суперинтуиционистских логик (логик без закона исключенного третьего (вклогики), или класс логик без закона сокращения (з!-логики)). В работе [46] построены булевы решетки аксиоматик импликативных логик. Однако все это решетки однотипных логик.
В рамках класса трехзначных логик, где конструируются совершенно различные по своим свойствам логики, актуальна задача представления трехзначных логик в виде решетки относительно отношения функционального вложения одной трехзначной логики в другую.
Степень разработанности проблемы. Первой работой в области взаимоотношения трехзначных логик является работа В.И. Шестакова [24], в которой автор рассматривает «логику Клини-Бочвара» (она получается за счет комбинирования связок логики Бочвара и логики Клини), функционально эквивалентную трехзначной логике Лукасевича Там же автор показывает, что логика Клини и логика Бочвара функционально вложимы в £,3. В другой своей работе [25] В.И. Шестаков рассматривает расширения Вз и Кз до функционально полных трехзначных логик.
В вопросах взаимоотношения трехзначных логик, выразимости в них связок важное значение имеет работа В.К. Финна [22]. В этой работе впервые показывается, как посредством сильных связок Клини можно определить слабые. Здесь же, автором представлены своеобразные нормальные формы для логики Вз, посредством которых можно представить любую логическую связку этой логики. Заметим, что наличие таких форм для связок той или иной логической системы имеет принципиально важное значение при изучении взаимоотношений логических систем, например, при доказательстве того, что одна трехзначная логика не является функционально вложимой в другую. В этой же работе приводится аксиоматизация и алгебраизация некоторых трехзначных систем. В связи с логикой Бочвара Вз упоминается трехзначная логика Холдена, показывается, что последняя функционально вложима в В3. В работе [23] описаны 11 предполных класов логики Бочвара. Показано, что логика Холдена функционально вложима в один из них.
Далее, в работе [41] представлена серия трехзначных (а также четырехзначных) систем, названных логиками значения; истинностные значения, отличные от истины и лжи, в них интерпретируется либо как неполнота информации, либо как незначимость. Но в этой работе лишь перечисляются системы, отсутствует формальное определение понятия «логика значения». Этот недостаток устраняется в работе [20] (См. также [38]). Здесь же предствлена классификация трехзначных логик значения, и в качестве основания выступают алгебраические семантики соответствующих логик. В качестве подкласса логик значения выделяется класс логик бессмысленностного типа. В свою очередь логики бессмысленностного типа делятся на два основных подкласса: логики сильно бессмысленностного типа и логики слабо бессмысленностного типа. Характерными представителями первого подкласса являются трехзначная логика Бочвара Вз и трехзначная логика Холдена Н3. Здесь промежуточное значение понимается как «самая сильная» незначимость (бессмыслица). Среди логик слабо бессмысленностного типа наиболее интересным представителем является трехзначная логика Эббинхауза Е3, которая по своим функциональным свойствам является промежуточной между Вз и Ьз. Что касается самой Ьз, то в предложенной классификации она вообще не является логикой значения и называется логикой неопределенностного типа.
Интересный результат в области взаимоотношений трехзначных логик и их систематизации принадлежит А. Аврону [32]. Здесь выделяется класс так называемых естественных трехзначных логик, представляющих собой расширение логики Клини К3. Это логики К3, ЬРР, ЯМ3 и РСоп! Приводятся доказательства функциональной эквивалентности некоторых систем: £,3 и ЬРР, КМ3 и РСоп1\ Однако основное внимание уделено отношению логического следования в каждой из этих систем, приводится секвенциальная формулировка этих систем со свойством устранимости сечения. Заметим, в эту классификацию не попадает такая известная логика, как трехзначная логика Бочвара В3, являющаяся расширением слабой логики Клини.
Взаимоотношениям внутри класса трехзначных регулярных логик Клини посвящена статья Е.Ю. Комендантской [9], где взаимоотношение между трехзначными регулярными логиками Клини представлено в виде четырехэлементной решетки.
Таким образом, несмотря на то, что исследования в области изучения взаимоотношения трехзначных логик, их систематизации ведутся уже достаточно давно и достигнуты некоторые результаты, на наш взгляд, эта тема по-прежнему актуальна и недостаточно разработана в том плане, что в литературе не находим решения задачи представления различных трехзначных логик в виде решеток относительно отношения функционального вложения одной трехзначной логики в другую.
Цели и задачи исследования. Целью данного диссертационного исследования является применение систематизующего подхода к изучению многообразия трехзначных логик, представление различных классов трехзначных логик в виде решеток относительно отношения функционального вложения.
Для достижения указанных целей, в ходе работы над диссертационным исследованием были поставлены следующие задачи:
• Проанализировать основные источники возникновения трехзначности в логике и описать наиболее известные и философски значимые трехзначные логики;
• Исследовать свойства и взаимоотношения между регулярными логиками Клини;
• Сформулировать определение понятия естественной импликации и представить класс естественных импликаций;
• Описать импликативные расширения регулярных логик Клини; доказать утверждения о функциональной вложимости некоторых импликативных расширений в другие; доказать утверждения о функциональной эквивалентности (независимости) некоторых импликативных расширений, а также их эквивалентности известным трехзначным логикам;
• Описать класс стандартных /7-логик и их свойства. Рассмотреть импликативные расширения стандартных р-логик; доказать утверждения о функциональной вложимости некоторых импликативных расширений в другие; доказать утверждения о функциональной эквивалентности (независимости) некоторых импликативных расширений, а также их эквивалентности известным трехзначным логикам;
• Обобщить понятие /?-логики и рассмотреть класс естественных р-логик. Доказать ряд утверждений о функциональной эквивалентности (независимости, вложимости) естественных р-логик.
Методологическая основа исследования. В процессе диссертационного исследования при решении поставленных задач применялись методы современной символической логики, которые использовались при доказательстве утверждений.
В методологическом плане принципиальным является трактовка термина «логика». Это, в свою очередь, непосредственно определяет методологию исследования.
В рамках диссертационной работы под трехзначной логикой будем понимать некоторое конечное множество логических связок, задаваемых таблично. По существу такое понимание трехзначной логики мы находим у С. Клини [8, §64].
Логические связки являются знаками истинностных функций.
Функциональная трактовка термина «логика» была выбрана, поскольку, во-первых, ни одна из регулярных логик Клини не имеет тавтологий при одном выделенном значении, во-вторых, такой подход удобен для сравнения различных логик.
Укажем некоторые базовые понятия,. а также ряд ключевых определений, существенно используемых на протяжении всей работы.
Функцией трехзначной логики называется произвольная функция от любого конечного числа переменных, областью определения которых и областью значения самой функции является множество Уз = {О, '/г, 1}. Множество всех трехзначных функций обозначается посредством Рз
Пусть Р — некоторое непустое множество 3-значных функций, по индукции определим понятие формулы над Р. a) Базис индукции. Каждая функция /[х\,.,хт) из F называется формулой над Р. b) Индуктивный переход. Пусть /¡(х\,.,х,п) - функция из ^ и А\,.,Ат — выражения, являющиеся либо формулами над Р, либо символами переменных (аргументов). Тогда выражение /¡(А\,.,Ат) называется формулой над Р. [7]
Функция/выразима (определима) через функции множества Р, если существует формула над Р, которая реализует функцию/
Если функция/реализуется формулой, которая составлена только из символов функций (а также символов переменных), то функция / является суперпозицией функцийа процесс получения функции/из называется операцией суперпозиции [27].
Система функций Р = {/Ь.Д.} из Рз называется функционально полной, если любая функция из Р3 представима посредством суперпозиций функций из системы Р.
Система ^ функций называется функционально предпопной в Р3, если Р представляет не полную систему, но добавление к Р любой функции / такой, что/ е Рз и/ £ Р, преобразует Р в полную систему.
Итак, поскольку связки являются знаками истинностных функций, то, соответственно, если говорим о том, что некоторая связка а определима посредством некоторого множества связок М (например, М = {Рь., (Зп>), то имеем в виду, что функция, знаком которой является а, выразима через функции, знаками которых являются связки из М.
Таким образом, имеем следующие определения 1-5. ОПРЕДЕЛЕНИЕ 1. Трехзначная логика 8 — функционально полна, если всякая связка трехзначной логики определима посредством связок 8. Или, другими словами, если система функций 5", соответствующая логике 8, является функционально полной в Р3.
ОПРЕДЕЛЕНИЕ 2. Трехзначная логика 8 — функционально предполна, если она не является функционально полной, но добавление к 8 связки, которая не выразима посредством исходных связок логики 8, превращает 8 с этой связкой в функционально полную логику. Или, другими словами, если система функций Б, соответствующая логике 8, является функционально предполной в Р3.
ОПРЕДЕЛЕНИЕ 3. Логика 8 функционально вложим а в логику 8', если все связки логики 8 могут быть определены посредством связок логики 8'. ОПРЕДЕЛЕНИЕ 4. Логика 8 функционально эквивалентна логике 8', если (1) логика 8 функционально вложима в логику 8' и
2) логика 8' функционально вложима в логику Б.
ОПРЕДЕЛЕНИЕ 5. Собственным расширением логики Б назовем некоторую логику 8' со множеством связок, которое представляет собой пополнение исходного множества связок логики 8 связкой, которая не может быть определена посредством исходных связок системы 8.'
Кроме того, в ходе диссертационной работы будут привлекаться элементы теории решеток [3]:
ОПРЕДЕЛЕНИЕ 6. Отношения, обладающие свойством рефлексивности, антисимметричности, транзитивности, называются отношениям частичного порядка. Множества, на которых заданы такие отношения — частично упорядоченные множества.
ОПРЕДЕЛЕНИЕ 7. Пусть Н с Ь и х е Ь. Тогда д; называется верхней границей подмножества Н, если И < х для всех к е Н. Верхняя граница л-подмножества Н называется его верхней гранью или супремумом, если л: < у для любой верхней границы у подмножества Н. Понятие нижней границы и инфимума определяется аналогично (двойственным образом). ОПРЕДЕЛЕНИЕ 8. Ч.у. множество < Ь,<> называется решеткой, если для всех .хе Ь, существуют яир{х,у} и т/{х,у}.
Научная новизна работы. В диссертационном исследовании впервые представлены в виде решеток относительно отношения функциональной вложимости совершенно различные трехзначные логики. При этом элементами этих решеток являются наиболее известные трехзначные логики, а именно, трехзначная логика Лукасевича трехзначная логика Бочвара Вз, трехзначная паранепротиворечивая логика РСоп<:. Кроме этого появляются трехзначные логики неизвестные ранее. Все эти логики являются импликативными расширениями слабой регулярной логики Клини К". И таких логик всего семь, их мы назвали базовыми трехзначными логиками. Эти логики являются нормальными в Далее, говоря о расширении некоторой трехзначной логики, будем иметь ввиду «собственно расширение некоторой трехзначной логики», слово «собственное» для удобства будем опускать. смысле Лукасевича-Тарского, и для каждой из них имеет место теорема дедукции.
Подобный подход применяется и к другому классу логик, который образуют так называемые стандартные р-логики. В этот класс кроме уже известных логик £«з и Вз в качестве импликативных расширений попадают трехзначная логика Гейтинга С3 и трехзначная логика Эббинхауза Е3.
Как обобщение стандартных />логик и в связи с ними впервые определен и рассмотрен класс естественных /?-логик, здесь появляется трехзначная логика Сетте Р1.
Впервые показана функциональная эквивалентность логики Р1 и I1, которые ранее в литературе рассматривались исключительно с точки зрения дуальности друг к другу и по функциональным свойствам считались различными.
Несмотря на то, что класс естественных /?-логик напрямую не связан с регулярными логиками Клини между ними установлена опосредованная связь, и здесь принципиальную роль играет одно из расширений слабой логики Клини - трехзначная логика Бочвара В3. Кроме того, доказано, что знаменитая паранепротиворечивая логика Р1 с функциональной точки зрения есть фрагмент логики Бочвара Вз (т.е. множество всех внешних связок логики Бочвара Б( функционально эквивалентно множеству связок р').
Кроме того, в ходе исследования найдены многочисленные функционально эквивалентные построения для известных трехзначных логик Вз, вз, РСоп1, Р1.
Построение конструкций в виде решеток позволило упорядочить и систематизировать знания о совершенно различных логических системах, ясно показать взаимоотношения между ними и ту роль, которую играет каждая из них.
Основные положения, выносимые на защиту. В ходе проведенной работы были получены следующие результаты:
• Импликативные расширение регулярных логик Клини образуют семиэлементную решетку по отношению функционального вложения одной логики в другую. Элементами решетки являются логики 1,3, В3, РСоп1, Z, а таюке ранее не встречавшиеся в литературе логики Т1, Т2, Т3;
• Трехзначная логика Ьз может быть представлена как стандартная сильная дважды р-логика и как стандартная промежуточная /?-логика; стандартная слабая /?-логика есть трехзначная логика Бочвара;
• Импликативные расширения стандартной сильной /?-логики образуют два класса: класс логик, по функциональным свойствам эквивалентных логике Лукасевича с другой стороны, класс систем, функционально эквивалентных логике
• Импликативные расширения стандартной сильной дуальной р-логики образуют один класс: класс логик, по функциональным свойствам эквивалентных логике Лукасевича
• Импликативные расширения стандартной слабой />логики образуют три класса: класс логик, по функциональным свойствам эквивалентных логике Лукасевича {^з, с другой стороны, класс систем, функционально эквивалентных логике Е3, а также класс логик, эквивалентных логике Т ;
• Естественные /?-логики образуют пятиэлементную решетку относительно отношения функциональной вложимости;
• Трехзначные логики Р1 и I1 функционально эквиваленты и характеризуются в терминах естественных /?-логик;
• Множество связок паранепротиворечивой логики Сетте Р1 функционально эквивалентно множеству внешних связок логики Бочвара.
Научно-практическая значимость работы. Теоретическая значимость работы заключается в систематическом подходе к рассмотрению проблемы взаимоотношения различных трехзначных логик. Материалы и выводы диссертационного исследования могут иметь практическое применение при разработке спецкурсов по неклассическим логикам.
Апробация работы. Полученные в ходе исследования результаты докладывались на научно-исследовательском семинаре сектора логики Института философии РАН (апрель 2010 г.), на международных конференциях «Смирновские чтения» (Москва, 2007 г., 2009 г.), на XIV Международной конференции студентов, аспирантов и молодых ученых «Ломоносов» (Москва, 2007), на IX Общероссийской научной конференции «Современная логика: проблемы теории, истории и применения в науке» (Санкт-Петербург, 2006г.).
Структура диссертации. Диссертация состоит из введения, 3-х глав, заключения, списка использованной литературы.
Похожие диссертационные работы по специальности «Логика», 09.00.07 шифр ВАК
Конструктивные отрицания и паранепротиворечивость2007 год, доктор физико-математических наук Одинцов, Сергей Павлович
Создание программных средств медицинских интерпретирующих приборов и систем для функциональных исследований2000 год, доктор технических наук Булыгин, Валентин Петрович
Теория вывода в многозначных логиках2003 год, кандидат философских наук Комендантский, Владимир Евгеньевич
Отношения следования в логиках с обобщенными истинностными значениями и их формализация2018 год, кандидат наук Беликов, Александр Александрович
Системы функциональных уравнений многозначной логики2010 год, кандидат физико-математических наук Федорова, Валентина Сергеевна
Заключение диссертации по теме «Логика», Томова, Наталья Евгеньевна
Заключение
В результате диссертационного исследования построены решетки импликативных расширений регулярных логик Клини, а также решетки р-логик. Эти структуры ясно демонстрируют взаимоотношения между различными трехзначными логиками относительно отношения функционального вложения.
Доказано, что импликативные расширения регулярных логик Клини образуют семиэлементную решетку относительно отношения функционального вложения. В качестве элементов решетки кроме известных и хорошо изученных логик, таких как логика Лукасевича логика Бочвара Вз, паранепротиворечивая логика РСоп1, логика
12 3 бессмысленности Ъ^ выступают новые трехзначные логики Т , Т , Т . Особенностью этих логик является то, что они являются некоммутативными.
Доказано, что в качестве импликативных расширений стандартных р-логик выступают трехзначная логика Гейтинга вз, логика Эббинхауза Е3, логика Т3.
Доказано, что класс естественных р-логик образует пятиэлементную решетку относительно отношения функционального вложения. В качестве элементов решетки выступают трехзначные логики — логика Лукасевича Ьз, логика Сетте Р1, также новые логики Т5, Т6, Т7, причем Т6, Т7 являются некоммутативными.
Необходимо отметить, что появление новых, ранее не представленных в литературе некоммутативных логик, во многом объясняется тем, что до этого к трехзначным логикам не был применен достаточно эффективный систематизирующий подход. Таким подходом является решеточный подход, т.е. представление трехзначных логик в виде решеток относительно отношения функциональной вложимости. Таким образом, различные трехзначные логики представлены и изучены не в своем самостоятельном значении, но во взаимосвязи друг с другом.
Кроме того, комплексный подход позволил впервые выделить классы эквивалентных построений для различных трехзначных логик. Так, например, представлены многочисленные логики (множества связок), функционально эквивалентные логике Лукасевича впервые показано, например, что Ьз может быть охарактеризована как промежуточная р-логика. Логика Вз, являясь с одной стороны, импликативным расширением слабой регулярной логики Клини К", с другой стороны, характеризуется как слабая р-логика, и это позволяет проследить взаимосвязь между таким различными структурами как регулярные логики Клини, стандартные р-логики, естественные /?-логики. Показано, что в слабой р-логике комбинируются свойства, с одной стороны, слабой регулярной логики Клини К", с другой стороны, естественной р-логики, которая функционально есть Р1.
Также впервые доказывается, что с функциональной точки зрения логики Р1 и I1 эквивалентны и представляют одну из естественных р-логик. Кроме этого существует еще одна некоммутативная функционально-эквивалентная им логика - Т8.
При рассмотрении импликативных расширений регулярных логик Клини показано, что класс импликативных расширений слабой логики Клини включает в себя в качестве подклассов импликативные расширения и остальных регулярных логик. Так доказано, что для построения логик и РСоп^ в качестве основания может выступать любая регулярная логика, в основе логики Т может лежать или К^ или К", в то время как логики Тх, Ъ, Т3, Вз появляются исключительно как импликативные расширения слабой логики Клини К3 . Таким образом, действительно, показано, что рассмотрение расширений исключительно сильной логики Клини («естественные» логики, по А. Аврону) является очень сильным ограничением.
Учитывая все вышесказанное, в результате можно говорить о решении проблемы классификации наиболее важных классов трехзначных логик.
В качестве дальнейших направлений исследования, на наш взгляд, представляет интерес разрешение следующих проблем:
• Представление взаимоотношения трехзначных логик, образующих решетку импликативных расширений регулярных логик Клини, по классам тавтологий, при этом как с одним так и с двумя выделенными значениями.
• Рассмотрение дальнейшего ослабления требований к свойству «быть естественной импликацией», например, ослабить условие нормальности (говорить о правиле modus ponens относительно тавтологий, а не относительно выделенных значений).
• Снятие условия С-расширяемости. Тогда класс рассматриваемых трехзначных логик значительно увеличится и здесь уже появится функционально полная трехзначная логика Поста Р3.
Список литературы диссертационного исследования кандидат философских наук Томова, Наталья Евгеньевна, 2010 год
1. Аристотель. Об истолковании // Сочинения в 4-х т. Т. 2. М.: Мысль. 1978.
2. Бочвар Д.А. Об одном трёхзначном исчислении и его применении к анализу парадоксов классического расширенного функциональого исчисления //Математический сборник. Т. 4, № 2. С. 287-308. 1938.
3. Гретцер Г. Общая теория решеток.М.:Мир, 1982.
4. Девяткин Л.Ю. Многозначные изоморфы классической пропозициональной логики. Кандидатская диссертация на соискание учёной степени кндидата философских наук. М., 2008.
5. Карпенко A.C. Дуал трёхзначной логики Гейтинга // Труды научно-исследовательского семинара Логического центра Института философии РАН. Вып. XVII. М., 2004.С.68-71.
6. Карпенко A.C. Р-логики // Современная логика: проблемы теории, истории и применения в науке. (Материалы X Общероссийской научной конференции, 26-28 июня 2008 г., Санкт-Петербург). СПб., 2008, 278-280.
7. Карпенко A.C. Развитие многозначной логики. М.: Издательство ЛКИ, 2010.
8. Клини С.К. Введение в метаматематику. М.: Изд. Иностранной литературы, 1957. §64.
9. Комендантская Е.Ю. Функциональная взаимовыразимость регулярных логик Клини // Логические исследования. М.: Наука, 2009. С. 116-128.
10. Ю.Лукасевич Я. О детерминизме // Логические исследования. Вып. 2. М.: Наука, 1993, С. 190-205.
11. П.Розоноэр Л. И. О выявлении противоречий в формальных теориях. I // Автоматика и телемеханика. 1983. Вып.6. С. 113-124.
12. Томова Н.Е. D3 есть на самом деле L3 // Философия и будущее цивилизации: Тезисы докладов и выступлений IV Российскогофилософского конгресса (Москва, 24-28 мая 2005 г.): в 5 т. Т.1. М.: Современные тетради, 2005. С. 532.
13. Томова Н.Е. Трехзначные логики бессмысленностного типа и логика Lisp // Современная логика: проблемы теории, истории и применения в науке: Материалы IX Общероссийской научной конференции. Санкт-Петербург, 22-24 июня 2006 г. СПб., 2006. С. 436-439.
14. Томова Н.Е. Логика Lisp и трехзначная логика Лукасевича // XIV Международная конференция студентов, аспирантов и молодых ученых «Ломоносов». Материалы докладов. М.: Изд. центр Факультета журналистики МГУ им. М.В. Ломоносова, 2007.
15. Томова Н.Е. Расширение логики Lisp посредством ./¿-операторов // Смирновские чтения по логике. Материалы 5-й конференции (20-22 июня 2007 г.). М.: ИФРАН, 2007. С. 41-43.
16. Томова Н.Е. Возникновение трехзначных логик: логико-философский анализ // Вестник Московского Университета. Серия 7. Философия. 2009. № 5. С.68-74.
17. Томова Н.Е. О расширениях логики Lisp // Шестые Смирновские чтения: материалы Междунар. науч. конф., Москва, 17-19 июня 2009 г. -М.: Современные тетради, 2009. С. 104-106.
18. Томова Н.Е. Импликативные расширения регулярных логик Клини // Логические исследования. Вып. 16. М., 2010. С. 233-258.
19. Томова Н.Е. Решетка импликативных расширения регулярных логик // Современная логика: проблемы теории, истории и применения в науке: Материалы XI Общероссийской научной конференции. Санкт-Петербург, 24-26 июня 2010 г. СПб., 2010.
20. Финн В. К.О предполноте класса функций, соответствующего трехзначной логике Я. Лукасевича // Научно-техническая информация. Сер. 2. 1969. Вып. 10. С. 35-38.
21. Финн В. К. Аксиоматизация некоторых трехзначных исчислений высказываний и их алгебр // Философия в современном мире. Философия и логика. М.: Наука, 1974. С. 398-438.
22. Финн В. К. О критерии функциональной полноты для В3 // Исследования по формализованным языкам и неклассическим логикам. М.: Наука, 1974. С. 194-199.
23. Шестаков В. И. О взаимоотношении некоторых трехзначных логических исчислений // Успехи математических наук. Том 19. Вып. 2(116). 1964. С. 177-181.
24. Шестаков В. И. О некоторых расширениях исчислений Бочвара и Клини до функционально полных трехзначных исчислений // Научно-техническая Информация. Серия 2(12). 1967. С. 12-17.
25. Шестаков В. И. Об одном фрагменте исчисления Д. А. Бочвара // Информационные вопросы семиотики, лингвистики и автоматического перевода. ВИНИТИ. Вып. 1. М., 1971.
26. Яблонский С.В. Функциональные построения в &-значной логике // Труды математического института им. В. А.Стеклова. Т. 51, 5-142.
27. Anderson A. R. and Belnap N. D. Entailment: The Logic of Relevance and Necessity. Princeton University Press. 1975.
28. Asenjo F. G. and Tamburino J. Logic of antinomies //Notre Dame Journal of Formal Logic. 1975. Vol.16. № 1. P. 17-44.
29. Asenjo F. G. La Idea de un Calculo de Antinomias // Seminario Matemático. Universidad Nacional de La Plata. 1953.
30. Avron A. On an implicational connective of RM // Notre Dame Journal of Formal Logic. 1986. Yol. 27. № 2. P. 201-209.
31. Avron A. Natural 3-valued logics — characterization and proof theory // The Journal of Symbolic Logic. 1991. Vol. 56. № 1. P. 276-294.
32. Batens D. Paraconsistent extensional propositional logics // Logique et Analyse. 1980. Vol. 23. № 90-91. P. 127-139.
33. Cignoli R. and Monteiro A. Boolean elements in Lukasiewicz algebras. И // Proceedings of Japan Academy. 1965. Vol. 41. P. 676-680.
34. Cignoli R. Proper и-valued Lukasiewicz algebras as S-algebras of Lukasiewicz n-valued proposional calculi // Studia Logica. 1982. Vol. 41. №1. P. 3-16.
35. D'Ottaviano I. M. L., da Costa N. C. A. Sur un problème de Jaskowski // Comptes Rendus Acad. Sei. Paris. 1970. 270A. P. 1349-1353.
36. Ebbinghaus H.-D. Über eine Prédikatenlogik mit partiell definirten Prédikaten und Funktionen // Arch. math. Logik und Gründl. 1969. 12: 3953.
37. Nonsense logics and their algebraic properties // Theoria. Vol. L1X. Parts 13. P. 207-273.
38. Fitting M. Kleene's logic, generalized // Journal of Logic and Computation. 1992. Vol. l.P. 799-810.
39. Fitting M. Kleene's three-valued logic and their children // Fundamenta Informaticae. 1994. Vol. 20. P. 113-131.
40. Goddard L. and Routley R. The logic of significance and context. Edinburgh and London. 1973.
41. Halkowska K. A note on matrices for systems of nonsens-logic // Studia Logica. 1989. Vol. 48. № 4. P. 461-464.
42. Hallden S. The logic of Nonsense, Uppsala, 1949.
43. Heyting A. Die Formalen Regeln der intuitionistischen Logik // Sitzungsberichte der Preussischen Academie der Wissenschaften zu Berlin. 1930. Berlin. P. 42-46. (Англ. перевод в: Mancosu P. From Brouwer to
44. Hilbert. The Debate on the Foundations of Mathematics in the 1920s. Oxford, 1998).
45. Karpenko A. S. The classification of propositional calculi // Studia Lógica. Vol. 66. №2. P. 253-271.
46. Karpenko A. S. A maximal paraconsistent logic: The combination of two three-valued isomorphs of classical propositional logic // Fronties of Paraconsistent Logic. Baldock: Research Studies Press. 2000. P. 181-187.
47. Lukasiewicz J. and Tarski A. Investigations into the sentential calculus // Lukasiewicz J. Selected Works. Amsterdam & Warszawa: North-Holland & PWN. 1970.
48. Lukasiewicz J. O logice trójwartosciowey// Ruch Filozoficzny. 1920. Vol. 5. 170-171.(English translation: On three-valued logic // Lukasiewicz J. Selected works. PWN. Warszawa. 1970. P. 87-88.)
49. Lukyanovskaya E. Kleene Regular Intermediate Three-Valued Logics // Proceedings of Smirnov Readings, 4th Interantional Conference. IPliRAS, 2003. P. 80-82.
50. Moisil G. C. Les logiques non-Chrysippiennes et leurs applications // Acta Philosopfica Fennica. Fasc. 1963. Vol. 16. P. 137-152.
51. Monteiro A. Construction des algèbres de Lukasiewicz trivalentes dans les algèbres de Boole monadiques, I // Mathematica Japónica. 1967. Vol. 12. P. 1-23.
52. M. Osorio and J. L. Carballido. Brief study of G'3 logic // Journal of Applied Non-Classical Logic. 2009. Vol. 18 №4. P. 79-103.
53. Mauricio Osorio, Verónica Borja, and José Arrazola. Three valued logic of Lukasiewicz for modeling semantics of logic programs. In Proceedings of
54. ERAMIA, number 3315 in Lecture Notes in Computer Science. Springer, 2004. P. 343-352.
55. Pérez J. A. N. Semantics for nonmonotonic reasoning: A logical approach. Master's thesis, Universidad de las Américas, Puebla, 2007.
56. Priest G. The logic of paradox // Journal of Philosophical Logic. 1979. Vol. 8. P. 219-241.
57. Priest G. The logic of paradox, revisited // Journal of Philosophical Logic. 1984. Vol. 13.
58. Rasiowa H. An Algebraic Approach to Non-classical Logics. Amsterdam: North-Holland. 1974.
59. Resher N. Many-valued logic. New York: McGraw-Hill. 1969. 60.Sette A. M. and Carnielli W. A. Maximal weakly-intuitionistic logics //
60. Studia Logica. 1995. Vol. 55. P.181-203. 61.Sette A. M. On propos itional calculus P \ 11 Mathematica Japonica. 1973. Vol. 18. №3. P. 173-180.
61. Slupecki E., Bryll J., Prucnal T. Some remarks on the three-valued logic of
Обратите внимание, представленные выше научные тексты размещены для ознакомления и получены посредством распознавания оригинальных текстов диссертаций (OCR). В связи с чем, в них могут содержаться ошибки, связанные с несовершенством алгоритмов распознавания. В PDF файлах диссертаций и авторефератов, которые мы доставляем, подобных ошибок нет.