Part 9. Knowledge representation and reasoning automation

Towards relevant multilatticce logic

O. M. Grigoriev^a, Ya. I. Peturkhin<sup>b

a</sup> Lomonosov Moscow State University, Faculty of Philosophy
^b Lodz University, Institute of Philosophy

Abstract: 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.

Keywords: relevant logic, multilattice logic, multilattice, multi-monoid, sequent calculus.

Language: English