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

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

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



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






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


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

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

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

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

Кафедра высшей математики и информатики, Удмуртский государственный университет, Россия, г. Ижевск

Аннотация: В статье рассматривается возможность и актуальность замены в классической логике и традиционной силлогистике многосмыслового базиса Аристотеля на односмысловой ортогональный базис, изоморфный отношениям «равносильно», «влечет», «независимы» между терминами рассуждений и случайными событиями в теории вероятностей. Обсуждаются теоретические результаты и приложения. Выявляются недостатки математической модели, лежащей в основе классической логики, и предлагается ее улучшенный вариант — логика $\mathbf{S}_{L_1}$, в основе которой уточненная математическая модель — невырожденная булева алгебра и сопряженная с ней алгебраическая система на основе множеств. В работе описываются неклассическая интерпретация умозаключений в ортогональном базисе и возможности эффективной компьютерной проверки логического следования в семантическом смысле, также обоснован новый метод решений логических уравнений. Приводятся примеры решения задач.

Ключевые слова: моделирование, силлогистика, ортогональный базис силлогистики, булева алгебра, исчисление конституент, изоморфизм и гомоморфизм алгебраических систем, логическое следование в семантическом смысле, вероятность, логические уравнения.

Полный текст: PDF файл (376 kB)
Список литературы: PDF файл   HTML файл
Тип публикации: Статья
УДК: 510.63
MSC: 03A10, 03G05, 06E30
Поступила в редакцию: 11.12.2012

Образец цитирования: Ю. М. Сметанин, “Логика высказываний на основе алгебраической системы, включающая традиционную силлогистику”, Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 2013, № 2, 127–146

Цитирование в формате AMSBIB
\RBibitem{Sme13}
\by Ю.~М.~Сметанин
\paper Логика высказываний на основе алгебраической системы, включающая традиционную силлогистику
\jour Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки
\yr 2013
\issue 2
\pages 127--146
\mathnet{http://mi.mathnet.ru/vuu384}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/vuu384
  • http://mi.mathnet.ru/rus/vuu/y2013/i2/p127

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Вестник Удмуртского университета. Математика. Механика. Компьютерные науки
    Просмотров:
    Эта страница:206
    Полный текст:107
    Литература:23
    Первая стр.:1
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020