Explorations in Subexponential Non-associative Non-commutative Linear Logic

Авторы: Blaisdell Eben, Kanovich Max, Kuznetsov Stepan L., Pimentel Elaine, Scedrov Andre
Сборник: Proceedings Modalities in substructural logics: Applications at the interfaces of logic, language and computation (AMSLO 2023)
Серия: Electronic Proceedings in Theoretical Computer Science
Том: 381
Год издания: 2023
Место издания: Open Publishing Association
Первая страница: 4
Последняя страница: 19
DOI: 10.4204/eptcs.381.3
Аннотация: In a previous work we introduced a non-associative non-commutative logic extended by multimodalities, called subexponentials, licensing local application of structural rules. Here, we further explore this system, exhibiting a classical one-sided multi-succedent classical analogue of our intuitionistic system, following the exponential-free calculi of Buszkowski, and de Groote, Lamarche. A large fragment of the intuitionistic calculus is shown to embed faithfully into the classical fragment.
Добавил в систему: Кузнецов Степан Львович

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

ИСТИНА