Modal multilattice logics with Tarski, Kuratowski, and Halmos operators

Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 12 января 2022 г.

Авторы: Grigoriev Oleg, Petrukhin Yaroslav
Журнал: Logic and Logical Philosophy
Том: 30
Номер: 3
Год издания: 2021
Первая страница: 385
Последняя страница: 415
DOI: 10.12775/LLP.2021.003
Аннотация: In this paper, we consider modal multilattices with Tarski, Kuratowski, and Halmos closure and interior operators as well as the corresponding logics which are multilattice versions of the modal logics MNT4, S4, and S5, respectively. The former modal multilattice logic is a new one. The latter two modal multilattice logics have been already mentioned in the literature, but algebraic completeness results have not been established for them before. We present a multilattice version of MNT4 in a form of a sequent calculus and prove the algebraic and neighbourhood completeness theorems for it. We extend the algebraic completeness result for the multilattice versions of S4 and S5 as well.
Добавил в систему: Петрухин Ярослав Игоревич

	ИСТИНА	Войти в систему Регистрация
	ИПМех РАН
	Главная Поиск Статистика О проекте Помощь

ИСТИНА