O. M. Grigoriev, Ya. I. Peturkhin, “Towards relevant multilatticce logic”, Интеллектуальные системы. Теория и приложения, 26:1 (2022), 407

Интеллектуальные системы. Теория и приложения

RUS ENG

ЖУРНАЛЫ ПЕРСОНАЛИИ ОРГАНИЗАЦИИ КОНФЕРЕНЦИИ СЕМИНАРЫ ВИДЕОТЕКА ПАКЕТ AMSBIB

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

	Общая информация
	Последний выпуск
	Архив

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

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

Интеллектуальные системы. Теория и приложения:
Год:
Том:
Выпуск:
Страница:
	Найти

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

Интеллектуальные системы. Теория и приложения, 2022, том 26, выпуск 1, страницы 407–410 (Mi ista395)

Часть 9. Представление знаний и автоматизация рассуждений

Towards relevant multilatticce logic

O. M. Grigoriev^a, Ya. I. Peturkhin^b

^a Lomonosov Moscow State University, Faculty of Philosophy
^b Lodz University, Institute of Philosophy

PDF полного текста (321 kB)

Список литературы:

PDF

HTML

Аннотация: The paper introduces the concept of de Morgan multimonoid and considers the possibility of constructing a relevant multilattice logic on its basis. The problem of constructing a sequent calculus for it is discussed.

Ключевые слова: relevant logic, multilattice logic, multilattice, multi-monoid, sequent calculus.

Тип публикации: Статья

Язык публикации: английский

Образец цитирования: O. M. Grigoriev, Ya. I. Peturkhin, “Towards relevant multilatticce logic”, Интеллектуальные системы. Теория и приложения, 26:1 (2022), 407–410

Цитирование в формате AMSBIB

\RBibitem{GriPet22}

\by O.~M.~Grigoriev, Ya.~I.~Peturkhin

\paper Towards relevant multilatticce logic

\jour Интеллектуальные системы. Теория и приложения

\yr 2022

\vol 26

\issue 1

\pages 407--410

\mathnet{http://mi.mathnet.ru/ista395}

Образцы ссылок на эту страницу:

https://www.mathnet.ru/rus/ista395

https://www.mathnet.ru/rus/ista/v26/i1/p407

Citing articles in Google Scholar: Russian citations, English citations
Related articles in Google Scholar: Russian articles, English articles

Интеллектуальные системы. Теория и приложения

Что такое QR-код?

Обратная связь:

Пользовательское соглашение

Регистрация посетителей портала

Логотипы