Вестник Удмуртского университета. Математика. Механика. Компьютерные науки
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Вестник Удмуртского университета. Математика. Механика. Компьютерные науки, 2013, выпуск 2, страницы 127–146 (Mi vuu384)  

КОМПЬЮТЕРНЫЕ НАУКИ

Логика высказываний на основе алгебраической системы, включающая традиционную силлогистику

Ю. М. Сметанин

Кафедра высшей математики и информатики, Удмуртский государственный университет, Россия, г. Ижевск
Список литературы:
Аннотация: В статье рассматривается возможность и актуальность замены в классической логике и традиционной силлогистике многосмыслового базиса Аристотеля на односмысловой ортогональный базис, изоморфный отношениям «равносильно», «влечет», «независимы» между терминами рассуждений и случайными событиями в теории вероятностей. Обсуждаются теоретические результаты и приложения. Выявляются недостатки математической модели, лежащей в основе классической логики, и предлагается ее улучшенный вариант — логика $\mathbf{S}_{L_1}$, в основе которой уточненная математическая модель — невырожденная булева алгебра и сопряженная с ней алгебраическая система на основе множеств. В работе описываются неклассическая интерпретация умозаключений в ортогональном базисе и возможности эффективной компьютерной проверки логического следования в семантическом смысле, также обоснован новый метод решений логических уравнений. Приводятся примеры решения задач.
Ключевые слова: моделирование, силлогистика, ортогональный базис силлогистики, булева алгебра, исчисление конституент, изоморфизм и гомоморфизм алгебраических систем, логическое следование в семантическом смысле, вероятность, логические уравнения.
Поступила в редакцию: 11.12.2012
Тип публикации: Статья
УДК: 510.63
MSC: 03A10, 03G05, 06E30
Образец цитирования: Ю. М. Сметанин, “Логика высказываний на основе алгебраической системы, включающая традиционную силлогистику”, Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 2013, № 2, 127–146
Цитирование в формате AMSBIB
\RBibitem{Sme13}
\by Ю.~М.~Сметанин
\paper Логика высказываний на основе алгебраической системы, включающая традиционную силлогистику
\jour Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки
\yr 2013
\issue 2
\pages 127--146
\mathnet{http://mi.mathnet.ru/vuu384}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/vuu384
  • https://www.mathnet.ru/rus/vuu/y2013/i2/p127
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Вестник Удмуртского университета. Математика. Механика. Компьютерные науки
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024