Логика для кросс-мировой предикации: теория доказательства

Логика для кросс-мировой предикации: теория доказательства

В одной из недавних публикаций я представил синтаксис и семантику логики CWPL, решающей проблему кросс-мировой предикации. В данной статье описана упрощенная версия этой логики (CWPL0), предложена табличная теория доказательства для нее и показана корректность и полнота этой теории относительно соот...

Полное описание

Библиографическая информация
Опубликовано в: :	Вестник Томского государственного университета. Философия. Социология. Политология № 79. С. 5-16
Главный автор:	Борисов, Евгений Васильевич философ
Формат:	Статья в журнале
Язык:	Russian
Предметы:	модальная логика первого порядка кросс-мировая предикация семантика табличная теория доказательства статьи в журналах
Online-ссылка:	http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001143612

Похожие документы

Логики для кросс-мировой предикации на основе D, T, S4 и S5
по: Мухаметшина, Индира Искандаровна

Логика для кросс-мировой предикации
по: Борисов, Евгений Васильевич философ

Логика для кросс-мировой предикации
по: Борисов, Евгений Васильевич философ

К вопросу об особенностях CPL
по: Ламберов, Лев Дмитриевич

Кросс-мировое сравнение в расширенной логике сослагательного наклонения
по: Гавриков, Александр Романович

Varying domain first-oder modal logic
по: Gavrikov, A. R.

Релевантная логика (предпосылки, исчисления, семантика)
по: Сидоренко, Евгений Александрович 1940-
Публикация: (2000)

Семантика модальных и интенсиональных логик
Публикация: (1981)

Философские проблемы семантики возможных миров
по: Целищев, Виталий Валентинович
Публикация: (1977)

Логическая семантика и модальная логика Сборник статей
Публикация: (1967)

Математическая логика и теория алгоритмов [учебное пособие]
по: Хусаинов, Ахмет Аксанович
Публикация: (2005)

Первопорядковая модальная логика с 𝜆-оператором
по: Мухаметшина, Индира Искандаровна

Counterfactuals
по: Lewis, David K. 1941-
Публикация: (2005)

Possible worlds semantics
по: Dibrov, A. D.

Практическая логика: учебное пособие/
по: Ивин, А. А. Александр Архипович
Публикация: (2002)

Модальная логика оценок и норм с точки зрения содержательной этики и права
по: Лобовиков, Владимир Олегович
Публикация: (1984)

Логика. Теория и практика учебное пособие для бакалавров : [по дисциплине "Логика" для студентов гуманитарных и социально-экономических специальностей и направлений подготовки вузов]
по: Ивин, Александр Архипович 1939-
Публикация: (2014)

Философские проблемы логики (Семантические аспекты)
по: Целищев, Виталий Валентинович
Публикация: (1984)

Логика учебник и практикум для академического бакалавриата : [по экономическим направлениям и специальностям, по дисциплине "Логика" для студентов гуманитарных и социально-экономических специальностей и направлений подготовки вузов]
по: Ивин, Александр Архипович 1939-
Публикация: (2016)

Логика учебное пособие для бакалавров : [по дисциплине "Логика" для студентов гуманитарных и социально-экономических специальностей и направлений подготовки вузов]
по: Ивин, Александр Архипович 1939-
Публикация: (2011)

Реализация обратного метода для модальной логики КТ
по: Бурлуцкий, Владимир Владимирович

Теория доказательств
по: Такеути, Г.
Публикация: (1978)

Логика: пособие для учащихся/
по: Ивин, А. А. Александр Архипович
Публикация: (1996)

Значение и необходимость Исследование по семантике и модальной логике
по: Карнап, Рудольф
Публикация: (1959)

Эволюционная эпистемология и ненормальная модальная логика знания
по: Лобовиков, Владимир Олегович

Модальная логика
по: Ивлев, Юрий Васильевич 1936-
Публикация: (1991)

Логика Учебник для гуманитарных факультетов
по: Ивин, Александр Архипович 1939-
Публикация: (2002)

Проблемы предикации в теологии Августина Аврелия и Северина Боэция
по: Абилкаламова, Алина Булатовна

Математическая логика
по: Шенфилд, Джозеф Р.
Публикация: (1975)

Логика для юристов учебник и практикум для академического бакалавриата : [для студентов вузов по юридическим направлениям и специальностям]
по: Ивин, Александр Архипович 1939-
Публикация: (2016)

Логика учебник
Публикация: (2011)

Логические исследования
Публикация: (2002)

Логика учебник для бакалавров
Публикация: (2016)

Содержательные аспекты предложения-высказывания
по: Иванова, Валентина Ивановна
Публикация: (1997)

Von Wrights theory as the subsystem of the theory D
по: Gavrikov, A. R.

Содержательная семантика модальной логики
по: Ивлев, Юрий Васильевич 1936-
Публикация: (1985)

Упражнения по логике сборник
Публикация: (2014)

Интерпретация христианской догматики в теологических трактатах Северина Боэция
по: Абилкаламова, Алина Булатовна

Логика. Парадоксы. Возможные миры размышления о мышлении в девяти очерках
по: Сидоренко, Евгений Александрович 1940-
Публикация: (2002)

Современная модальная логика Развитие теории алетических модальностей (1920-1960гг. )
по: Слинин, Ярослав Анатольевич
Публикация: (1976)