半構造論理学における加法的な拡張

本研究は、半構造モノイド圏の証明理論に加法的な接続子を導入することで、より豊かな半構造論理学の構築を目指している。