Модели исчисления Ламбека с субэкпоненциалами

Мы рассмотрим исчисление Ламбека, расширенное аддитивными связками и субэкпоненциалами. Мы покажем, что оно корректно и полно относительно кванталов с единицей (то есть, полных решеток с ассоциативным умножением и единицей) с дополнительным семейством так называемых открытых модальностей, которые будут определены в докладе. После чего мы обобщим полученную семантику и получим теоретико-категорную модель данного расширения исчисления Ламбека.