Текущий выпуск Выпуск 1, 2025 Том 35

Все выпуски

Результыты поиска по 'логическое следование в семантическом смысле':

Найдено статей: 1

Сметанин Ю.М.
Логика высказываний на основе алгебраической системы, включающая традиционную силлогистику, с. 127-146

В статье рассматривается возможность и актуальность замены в классической логике и традиционной силлогистике многосмыслового базиса Аристотеля на односмысловой ортогональный базис, изоморфный отношениям «равносильно», «влечет», «независимы» между терминами рассуждений и случайными событиями в теории вероятностей. Обсуждаются теоретические результаты и приложения. Выявляются недостатки математической модели, лежащей в основе классической логики, и предлагается ее улучшенный вариант - логика S_L₁, в основе которой уточненная математическая модель - невырожденная булева алгебра и сопряженная с ней алгебраическая система на основе множеств. В работе описываются неклассическая интерпретация умозаключений в ортогональном базисе и возможности эффективной компьютерной проверки логического следования в семантическом смысле, также обоснован новый метод решений логических уравнений. Приводятся примеры решения задач.

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

Журнал индексируется в Web of Science (Emerging Sources Citation Index)

Журнал индексируется в

Журнал входит в базы данных zbMATH, MathSciNet

Журнал включен в базу данных Russian Science Citation Index (RSCI) на платформе Web of Science

Журнал входит в систему Российского индекса научного цитирования.

Журнал включен в перечень ВАК.

Электронная версия журнала на Общероссийском математическом портале Math-Net.Ru.

Журнал включен в