+7(800)707-21-74
Бесплатно по России

Логические исследования. Выпуск 13

В наличии Цена за шт.

129

Количество
Купить

Акции и скидки Поделиться


  • Артикул:00203232
  • Автор: Карпенко А.С.
  • ISBN: 5-02-035152-0
  • Обложка: Твердый переплет
  • Издательство: Наука (все книги издательства)
  • Город: Москва
  • Страниц: 308
  • Год: 2006
Развернуть ▼

В данный сборник "Логических исследований" включены наиболее важные результаты, полученные в различных областях логики за последнее время. Основное внимание уделено развитию неклассических логик. В первую очередь это относится к интуиционистской логике, непрерывной логике, логике знаний, логике направленности и изменения, модальной логике, логике аргументации и таким новым направлениям, как логика альтернативного отношения следования и универсальная логика. Исследуется также агоритмическая проблематика.
Для логиков, философов, математиков и всех тех, кто интересуется ее различными приложениями
Введение
В настоящей статье мы предлагаем новый общий метод доказательства разрешимости интуиционистских модальных логик. Этот метод опирается на доказываемое в настоящей работе обобщение результата Ганцингера, Мейера и Вианеса (см. [10]) о том, что двухпеременный монадический защищенный фрагмент GF^n классической первопорядковой логики, в котором на некоторое отношение, встречающееся в защитниках, наложено условие, выразимое как условие замкнутости, определимое в монадической второпорядковой логике, разрешим. Мы обобщаем этот результат на случай, когда условия упомянутого вида накладываются на более, чем одно отношение. Такое обобщение позволяет нам доказать разрешимость широкого класса интуиционистских модальных систем путем их погружения в этот раз решимый фрагмент. Общие результаты о разрешимости и свойстве конечной модели интуиционистских модальных логик были доказаны в [23], [24] и [25] путем погружения интуиционистских модальных логик с п модальностями в классические модальные логики сп + 1 модальностями, называемые классическими напарниками интуиционистских логик. Однако эти результаты могут быть использованы только для доказательства разрешимости тех интуиционистских логик, разрешимость классических напарников которых уже установлена.

Оставьте отзыв о товаре
×

Журналы и бланки

БухгалтерияОхрана труда и техника безопасностиМЧСКадровая работа: Журналы, бланки, формыЖурналы, бланки, формы документов для органов прокуратуры и суда, минюста, пенитенциарной системыЖурналы, бланки, формы документов МВД РФКонструкторская, научно-техническая документацияЛесное хозяйствоПромышленностьГостиницы, общежития, хостелыСвязьЖурналы и бланки по экологииЖурналы и бланки, используемые в торговле, бытовом обслуживанииЖурналы по санитарии, проверкам СЭСЛифтыКомплекты журналовНефтебазыБассейныГазовое хозяйство, газораспределительные системы, ГАЗПРОМЖКХЭксплуатация зданий и сооруженийЖурналы и бланки для нотариусов, юристов, адвокатовЖурналы и бланки для организаций пищевого производства, общепита и пищевых блоковЖурналы и бланки для организаций, занимающихся охраной объектов и частных лицЖурналы и бланки для ФТС РФ (таможни)Журналы для образовательных учрежденийЖурналы и бланки для армии, вооруженных силБанкиГеодезия, геологияГрузоподъемные механизмыДокументы, относящиеся к нескольким отраслямНефтепромысел, нефтепроводыДелопроизводствоЖурналы для медицинских учрежденийАЗС и АЗГСЭлектроустановкиТепловые энергоустановки, котельныеЭнергетикаШахты, рудники, метрополитены, подземные сооруженияТуризмДрагметаллыУчреждения культуры, библиотеки, музеиПсихологияПроверки и контроль госорганами, контролирующими организациямиРаботы с повышенной опасностьюПожарная безопасностьОбложки для журналов и удостоверенийАптекиТранспортРегулирование алкогольного рынкаАвтодороги, дорожное хозяйствоСамокопирующиеся бланкиСельское хозяйство, ветеринарияСкладСнегоплавильные пунктыСтройка, строительствоМетрологияКанатные дороги, фуникулерыКладбищаАрхивыАттракционыЖурналы для парикмахерских, салонов красоты, маникюрных, педикюрных кабинетов

Охрана труда

Удостоверения, Свидетельства

Зачетные книжки, студенческие билетыУдостоверения рабочих различных строительных специальностей

Членские книжки

ГК, ГСК, членские книжки, пропуска и пр.Садоводческие книжки, членские книжки СНТ

Печати и штампы

Оснастки, самонаборные штампыШтампы по техническому контролю, учету и хранениюПечать фирмы (организации, компании, подразделения, отдела)Печати и штампы для бухгалтерии и делопроизводстваПечати и штампы для водителейМедицинские печати и штампы

Книги

Нормативные правовые актыОбщественные и гуманитарные наукиРелигия. Оккультизм. ЭзотерикаОхрана труда, обеспечение безопасностиСанПины, СП, МУ, МР, ГНПодарочные книгиПутешествия. Отдых. Хобби. СпортНаука. Техника. МедицинаКосмосРостехнадзорДругоеИскусство. Культура. ФилологияКниги издательства "Комсомольская правда"Книги в электронном видеКомпьютеры и интернетБукинистическая литератураСНиП, СП, СО,СТО, РД, НП, ПБ, МДК, МДС, ВСНГОСТы, ОСТыЭнциклопедии, справочники, словариДомашний кругДетская литератураУчебный годСборники рецептур блюд для предприятий общественного питанияЭкономическая литератураХудожественная литература

Знаки безопасности, таблички, стенды

Вспомогательные знаки, таблички-наклейкиЗапрещающие знакиЗнаки для инвалидовЗнаки пожарной безопасностиЗнаки электробезопасностиИнформационные знаки для строительных площадокМедицинские и санитарные знакиПредписывающие знакиПредупреждающие знакиСтендыЗнаки для уборки и сбора мусораУказательные знакиЭвакуационные знакиЮмористические знакиЗнаки на автомобильНаклейки

Диски

Плакаты

Металлические изделия (металлическая мебель, конструкции, навесы)

Металлическая мебельМеталлические изделия для дачи и дома

Подарки нашим покупателям

Портреты знаменитых людей

Сувениры

Кружки для термопереносаБрелокиГудки и Рожки охотничьиСувениры, подарки для мужчинПредметы интерьераЗажигалкиПоддарочные наборы игрБизнес сувениры, корпоративные подаркиГимн России. Эксклюзивное графическое оформление в багетном обрамлении

Товары для дома и офиса

Каски, защитные очки, маскиПланы эвакуацииСамоспасателиИндикаторы стерилизацииГрамоты и благодарностиСредства дезинфекцииФитолампы и прожекторыОгнетушителиКанцелярские товарыКухонные принадлежностиХозяйственные товарыЭлектроудлинители, тройники, катушкиКартонные коробкиЭлектроустановочные изделия

Товары для развития, игрушки

Бумажные модели

Юнармия

Погоны министерств и ведомств

Товары для здоровья, БАДы

Аюрведические товарыСредства гигиены, косметика из минералов Мертвого моря
;