Parsing/Theorem-Proving for Logical Grammar CatLog3

Glyn Morrill. Parsing/Theorem-Proving for Logical Grammar CatLog3. Journal of Logic, Language and Information, 28(2):183-216, 2019. [doi]

Abstract

Abstract is missing.