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

Часть 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

Аннотация: 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.

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