Аннотация:
В докладе будет представлено естественное обобщение исчисления Ламбека на гиперграфы (изначально мотивированное желанием построить класс графовых грамматик, обобщающих грамматики Ламбека). Мы представим исчисление в гильбертовском виде и сформулируем его базовые структурные свойства. Будет рассмотрено вложение в него исчисления Ламбека и его различных модификаций (LP, NL, L с модальностями, L с единицей, L с операцией извлечения). Наконец, планируется показать, как рассмотрение гиперграфовых конструкций в гиперграфовом исчислении предоставляет интуицию, позволяющую разумным образом добавлять новые операции в обычное исчисление Ламбека.
Обратная связь: