Keyword:Grammar logic

Papers
A Framework for Intuitionistic Grammar Logics Tim Lyon EasyChair Preprint no. 7068