|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Canonical extensions for the distributive full Lambek calculus with modal operators (short paper)статья
- Автор: Rogozin Daniel
- Сборник: Advances in Modal Logic
- Серия: Advances in Modal Logic
- Том: 13
- Год издания: 2020
- Место издания: College Publications London
- Первая страница: 81
- Последняя страница: 85
- Аннотация: In this paper, we investigate logic of bounded distributive residuated lattices with modal operators □ and ⋄. We introduce relational semantics for such substructural modal logics. We prove that any canonical logic is Kripke complete using discrete duality and canonical extensions.
- Добавил в систему: Золин Евгений Евгеньевич