Шангин, Василий Олегович (кандидат философских наук; ассистент). Параполное модельное множество [Текст] / В. О. Шангин // Вестник Московского университета. Сер. 7, Философия. - 2013. - № 4. - С. 80-87. - Библиогр.: с. 87 . - ISSN 0201-7385
Рубрики: Логика Логический синтаксис и логическая семантика Кл.слова (ненормированные): модельное множество -- множество Хинтикки -- Хинтикки множество -- параполная логика -- паралогика -- семантика -- теория моделей -- параполное множество -- логика высказываний Аннотация: Построено оригинальное модельное множество для параполной логики, которое является обобщением модельного множества для классической логики высказываний. Нет сведений об экземплярах (Источник в БД не найден) |
Карягина, Татьяна Васильевна (кандидат технических наук; доцент). Метод резолюций в логике высказываний и предикатов [Текст] / Т. В. Карягина // Ученые записки Российского государственного социального университета. - 2012. - № 9 (109). - С. 37-42. - Библиогр.: с. 42 (6 назв.). - Аннот. на англ. яз.: с. 163 . - ISSN 2071-5323
Рубрики: Математика Вычислительная математика Кл.слова (ненормированные): метод резолюций -- предикаты -- логика предикатов -- логика высказываний -- хорновские дизъюнкты -- унификация предикатов Аннотация: Рассмотрен метод резолюций в применении к логике высказываний и логике предикатов. Нет сведений об экземплярах (Источник в БД не найден) |
Кислов, Алексей Геннадьевич (кандидат философских наук). Семантика позволенного: шероховатости деонтического ландшафта [Текст] / А. Г. Кислов // Известия Уральского федерального университета. Сер. 3, Общественные науки. - 2013. - № 5 (122). - С. 128-142. - Библиогр.: с. 141-142 (29 назв.). - Статья является докладом, представленным на конференции "Стыки модерности: постсоциалистические институты, субъективности и дискурсы в сравнительной перспективе", прошедшей в Екатеринбурге в 2013 г. . - ISSN 2227-2291
Рубрики: Логика Логический синтаксис и логическая семантика Кл.слова (ненормированные): деонтическая логика -- динамическая логика -- логика высказываний -- логическая семантика -- строгие операторы -- деонтические операторы -- конференции -- доклады Аннотация: Стандартная семантика деонтической логики, выполненная на основе динамической логики высказываний, дополняется "строгими" операторами. Нет сведений об экземплярах (Источник в БД не найден) |
Локшин, А. А. (доктор физико-математических наук; профессор). Конъюнкция объясняет импликацию [Текст] / Локшин А. А., Бахтина О. В. // Аспирант и соискатель. - 2015. - № 3. - С. 61-63 : 3 табл. - Библиогр.: с. 63 (1 назв. ) . - ISSN 1608-9014
Рубрики: Образование. Педагогика Теория и методика обучения Кл.слова (ненормированные): импликация -- конъюнкция -- логика высказываний -- математическая логика -- преподавание математики -- силлогизм -- формальная логика -- школьное образование Аннотация: Предложен метод объяснения свойств импликации в формальной логике. Доп.точки доступа: Бахтина, О. В. (кандидат педагогических наук; доцент) Нет сведений об экземплярах (Источник в БД не найден) |
Павлов, Сергей Афанасьевич (кандидат философских наук; старший научный сотрудник). Условия применимости классической логики к философским рассуждениям [Текст] / С. А. Павлов // Вестник Российского университета дружбы народов. Сер.: Философия. - 2018. - Т. 22, № 2. - С. 139-148. - Библиогр.: с. 146-147 (17 назв.). - полный текст статьи см. на сайте Научной электронной библиотеки https://elibrary.ru . - ISSN 2313-2302
Рубрики: Философия Теория познания Логика Логический синтаксис и логическая семантика Кл.слова (ненормированные): J-операторы -- классическая логика -- логика высказываний -- метатеории -- многозначные логики -- семантическое обоснование -- теории -- условия применимости -- философские рассуждения Аннотация: Рассмотрены условия применимости классической логики высказываний к философским рассуждениям. Проведено исследование в рамках различных семантик для многозначных логик: семантики многозначных логик, метатеории значений истинности Зиновьева, элементарной теории операторов истинности и ложности. Доп.точки доступа: Зиновьев, А. А. (философ; социолог ; 1922-2006) Нет сведений об экземплярах (Источник в БД не найден) |