Поисковый запрос: (<.>K=модальная логика<.>) |
Общее количество найденных документов : 12
Показаны документы с 1 по 12 |
|
1. 
| 510.6
А 861
Артемов, С. Н.
Подход Колмогорова и Геделя к интуиционистской логике и работы последнего десятилетия в этом направлении [Текст] / С. Н. Артемов // Успехи математических наук. - 2004. - Т. 59, N 2. - Библиогр.: с. 33-36 (87 назв. ). - Подход Колмогорова-ГеделяЛогика доказательствДве модели доказуемостиДальнейшее развитие
. - ISSN 0042-1316ББК 22.12
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
подход Колмогорова-Геделя -- Геделя-Колмогорова подход -- интуиционистская логика -- доказуемостное исчисление -- полиномы доказательств -- язык логики доказательств -- модальная логика -- логика -- свидетельские функции -- рефлексивная комбинаторная логика -- системы верификации -- рефлексивная логика -- комбинаторная логика
Аннотация: Интуиционистская математика была создана Брауэром на основе конструктивных способов рассуждений, при которых критерием истинности является наличие доказательства. В работах Колмогорова и Геделя была предложена идея интерпретации интуиционистской логики на основе классических понятий задачи и ее решения и понятия доказуемости. В 1933 году Гедель сделал первое существенное продвижение в этом направлении. Несмотря на большие успехи в исследовании интуиционизма точной модели интуиционистской логики на основе этого подхода не было построено вплоть до работы автора 1995 года.
Найти похожие
|
2.
| 515.1
К 887
Кудинов, А. В.
О топологической модальной логике R с неравенством [Текст] / А. В. Кудинов // Успехи математических наук. - 2008. - Т. 63, Вып. 1. - С. 163-164. - Библиогр.: с. 164 (3 назв. )
. - ISSN 0042-1316ББК 22.152
Рубрики: Математика
Топология
Кл.слова (ненормированные):
модальная логика -- топологическая логика -- пропозициональная логика
Аннотация: В работе рассматриваются пропозициональные модальные логики с двумя модальностями.
Доп.точки доступа:
Бухштабер, В. М. \ред.\
Найти похожие
|
3.
|
Кравцов, А. Г.
Наследственная конечная аксиоматизируемость логики SL{n} [Текст] / А. Г. Кравцов // Доклады Академии наук. - 2003. - Т. 391, N 1. - С. 14-16
. - ISSN 0869-5652ББК 22.12
Рубрики: Математика
Математическая логика
Кл.слова (ненормированные):
аксиоматизируемость -- аксиоматизируемость логики SL{n} -- конечная аксиоматизируемость -- логика SL -- модальная логика
Аннотация: Рассматриваются расширения модальной логики SL{n}, представляющей собой многомерный аналог известной логики модальности "завтра" SL. Доказывается, что они обладают свойством конечной аксиоматизируемости.
Найти похожие
|
4.
|
Хомич, В. И.
О свойстве простой подстановки для суперинтуиционистских и модальных пропозициональных логик [Текст] / В. И. Хомич // Доклады Академии наук. - 2008. - Т. 423, N 6, декабрь. - С. 740-742. - Библиогр.: с. 742 (14 назв. )
. - ISSN 0869-5652ББК 22.12
Рубрики: Математика
Математическая логика
Кл.слова (ненормированные):
простая подстановка -- модальная логика -- модальное исчисление -- модальные пропозициональные формулы -- топологическая булева алгебра
Аннотация: Изучены свойства простой подстановки.
Найти похожие
|
5.
|
Симанов, А. Л.
Философия науки в Новосибирском научном центре [Текст] / А. Л. Симанов // Гуманитарные науки в Сибири. - 2007. - N 1. - С. 8-10
. - ISSN 0869-8651ББК 87.25
Рубрики: Философия--Россия--СССР--Сибирь; Новосибирск
Философия науки
Кл.слова (ненормированные):
философия естествознания -- детерминизм -- теория значения -- теория семантической информации -- модальная логика -- структурализм -- семиотика -- философия математики
Аннотация: Статья раскрывает значение деятельности члена-корреспондента РАН Г. А. Свечникова и его последователей в работе Института истории, филологии и философии СО РАН.
Доп.точки доступа:
Свечников (философ ; 1918-1974) \г. А.\; Сибирское отделение РАН \институт истории, филологии и философии\
Найти похожие
|
6.
| 510.6
И 371
Измайлов, М. М.
Континуальность решетки расширений модальной логики двух отношений эквивалентности [Текст] / М. М. Измайлов // Вестник Московского университета. Сер. 1. Математика. Механика. - 2011. - N 4. - С. 46-48. - Библиогр.: с. 48
. - ISSN 0201-7385ББК 22.12
Рубрики: Математика
Математическая логика
Кл.слова (ненормированные):
модальная логика -- соединение логик -- расширения логик -- логика отношения эквивалентности -- континуумы
Аннотация: Строится континуум различных логик, что доказывает тот факт, что мощность решетки расширений логики двух отношений эквивалентности Ext является континуумом.
Найти похожие
|
7.
| 1(100)(091)
Т 574
Тоноян, Лариса Грачиковна (кандидат философских наук).
Модальные аспекты в учении Боэция [Текст] / Л. Г. Тоноян // Вестник Санкт-Петербургского университета. Сер. 6. Философия, культурология, политология, право, международные отношения. - 2012. - Вып. 1. - С. 36-44. - Библиогр.: с. 43-44 (7 назв. )
. - ISSN 1995-0055ББК 87.3(0)
Рубрики: Философия
Всемирная история философии
Кл.слова (ненормированные):
философские трактаты -- древнеримские философы -- модальная логика -- история логики -- судьба -- случайность -- необходимость -- философские проблемы -- свобода воли -- божественное провидение
Аннотация: Философская проблема свободы воли в трактате Боэция "Утешение Философией".
Доп.точки доступа:
Боэций; Аристотель
Найти похожие
|
8.
| 11/12
К 280
Касаткин, Александр Валерьевич.
Два подхода к построению семантики возможных миров [Текст] / А. В. Касаткин // Известия Уральского федерального университета. Сер. 3. Общественные науки. - 2012. - № 1 (100). - С. 32-37. - Библиогр.: с. 36-37 (7 назв.)
. - ISSN 2227-2291ББК 87.21 + 87.41 + 81
Рубрики: Философия
Метафизика. Онтология
Логика
Логический синтаксис и логическая семантика
Языкознание
Теория и философия языка
Кл.слова (ненормированные):
возможные миры -- семантика возможных миров -- языковая система логики -- модальная логика -- жесткий десигнатор -- дескрипции -- логический атомизм -- тождество -- необходимость -- американские философы -- философские статьи -- семантика
Аннотация: В статье рассматриваются два вида семантики возможных миров для модальной логики, основываясь на работе Сола Крипке "Тождество и необходимость", где автор отвечает на критику его семантической системы Уиллардом Куайном.
Доп.точки доступа:
Крипке, Сол; Куайн, Уиллард (1908—2000)
Найти похожие
|
9.
| 11/12
Г 671
Горбатов, Виктор Викторович.
Логико-онтологические предпосылки двумерной семантики [Текст] / В. В. Горбатов // Известия Уральского федерального университета. Сер. 3. Общественные науки. - 2012. - № 1 (100). - С. 37-44. - Библиогр.: с. 44 (9 назв.)
. - ISSN 2227-2291ББК 87.21 + 87.41
Рубрики: Философия
Метафизика. Онтология
Логика
Логический синтаксис и логическая семантика
Кл.слова (ненормированные):
возможные миры -- семантика возможных миров -- модальная логика -- двумерная семантика -- метасемантика -- стандартная семантика
Аннотация: Работа посвящена анализу философских оснований двумерной семантики в целом и некоторых ее вариантов в частности. Показано, что двумерная семантика является естественным обобщением стандартной семантики возможных миров.
Найти похожие
|
10.
| 16
К 445
Кислов, Алексей Геннадьевич.
Возвращаясь к Францу Брентано из лабиринтов деонтической логики [Текст] / А. Г. Кислов // Известия Уральского федерального университета. Сер. 3. Общественные науки. - 2012. - № 1 (100). - С. 71-80. - Библиогр.: с. 79-80 (30 назв.)
. - ISSN 2227-2291ББК 87.42
Рубрики: Логика
Логические формы и законы
Кл.слова (ненормированные):
деонтическая логика -- модальная логика -- логика норм -- формальная логика -- нравственное познание -- деонтико-логические теории -- феномен предпочтения -- немецкие философы -- философские статьи -- логика и этика -- этика и логика
Аннотация: В статье обсуждаются философские основания современных систем деонтической логики. Рассматриваются положения, изложенные в работе немецкого философа Франца Брентано "О происхождении нравственного познания": параллелизм логики и этики, феномен предпочтения.
Доп.точки доступа:
Брентано, Франц (1838-1917)
Найти похожие
|
11.
| 621.398
Н 531
Непейвода, А. Н.
Верификация модели технической системы средствами линейной темпоральной логики [Текст] / А. Н. Непейвода // Автоматика и телемеханика. - 2012. - № 9. - С. 124-140 : ил. - Библиогр.: с. 140 (8 назв.)
. - ISSN 0005-2310ББК 32.96 + 22.18
Рубрики: Радиоэлектроника
Автоматика и телемеханика
Математика
Исследование операций
Кл.слова (ненормированные):
верификация моделей -- линейная темпоральная логика -- электромеханические устройства -- модальная логика -- технические средства -- технические системы -- Linear Temporal Logic -- LTL -- модели технических систем -- темпоральная логика
Аннотация: Решается задача верификации электромеханического устройства с переменным числом контактов с помощью модальной логики LTL (Linear Temporal Logic). В ходе анализа доказываются теоремы о непрерывности и однозначности работы устройства, а также уясняются ограничения, необходимые для того, чтобы алгоритм работы устройства мог считаться полностью корректным.
Найти похожие
|
12.
| 16
М 425
Медова, Анастасия Анатольевна (кандидат философских наук; доцент).
Модальная логика и модальная гармония: в поисках научной парадигмы / А. А. Медова // Обсерватория культуры: журнал-обозрение. - 2013. - № 2 (март-апрель). - С. 10-18 : табл. - Библиогр.: с. 17-18 (16 назв.)
. - ISSN 2072-3156ББК 87.4 + 85.310
Рубрики: Логика
Общие вопросы логики
Музыка и зрелищные искусства
Теория музыки
Кл.слова (ненормированные):
модальность -- модус -- модальная логика -- модальная гармония -- музыкальный лад
Аннотация: Выявлены точки пересечения значений "модальность" в логике и музыкальной теории; рассмотрены специфические черты модальных гармонических структур в музыке и модальных систем в логике; описаны отличия тональной и модальной гармонии, формальной и модальной логик. Показана общность содержания концепта "модальность" в двух областях: в музыке и в модальной логике, очерчено смысловое поле модальности как научной категории.
Найти похожие
|
|
|
|
Электронные ресурсы
Электронный каталог
Стандартный